수식은 연결사로 어떻게 표현하냐?

[익명(180.134)]

가령 1+1=2 를 자연어로 번역하면 1 더하기 1이면 2이다 잖아

이걸 논리상항으로 표현하려면 어떻게 함?

이면 2이다는 조건문으로 표현 가능한데 1 더하기 1 부분에서 더하기를 무슨 연결사로 바꿔야되는지 모르겠음

[익명(122.38)]

술어

[익명(122.38)]

명제논리로는 걍 p라해야됨

[익명(106.101)]

술어 머로함?

[익명(125.190)]

1차 술어 에선 _더하기_는 A(대문자면 됨) 1은 a(소문자 변수임) 그래서 Aaa이런식으로

[익명(125.190)]

1차 술어 논리보다 확장된 논리체계에서는 좀더 자세히 표기하기도함

[익명(220.79)]

등호는 그냥 도입하기도 함 - dc App