[일반] 기호논리학 잘하는사람 있냐

[ㅏㅡㄱ(106.101)]

술어논리로 표현못하는 문장이없다고생각했는데
(양상명제 제외하고)
요즘 생각해보니까
모든 이차방정식의 복소근의 갯수는 2개이다  얘는 술어논리로표현못하지않나???

인체의의 70프로는 물이다 이런것도 술어논리로 표현못하지??

[익명(218.232)]

가능한데

[ㅏㅡㄱ(106.101)]

헐 어떻게

[익명(218.232)]

forall a. forall b. forall c. ((not (a = 0)) implies (exists x. exists y. (((a * x * x + b * x + c = 0) and (a * y * y + b * y + c = 0)) and (not (x = y)))))

[ㅏㅡㄱ(106.101)]

ㄱㅅㄱㅅ 복받을꺼야 형 밑에문장도가능해??

[익명(218.232)]

밑엣건 힘들 듯

[ㅏㅡㄱ(106.101)]

ㅇㅋㅇㅋ 그면 모든문장을 술어논리로 표현못하는거지??

[이 댓글은 게시물 작성자가 삭제하였습니다.]

이 댓글은 게시물 작성자가 삭제하였습니다.

[기괴공학도(mecheng98)]

https://gall.dcinside.com/mgallery/board/view/?id=math&no=18086