ㅈㄱㄴ
(Ax)(Ey)(y=x)는 항진명제임?
익명(117.111)
2021-09-01 16:47
추천 0
댓글 6
다른 게시글
-
이거 어떤게 맞는거임? [3]익명(125.190) | 21.08.31추천 0
-
"a는 존재하지 않다"랑 "a는 존재하지 않는 것이다" [6]익명(211.36) | 21.08.31추천 0
-
두보계 질문 올립니다 [6]익명(182.211) | 21.08.30추천 1
-
논리가 무엇인가요?? [10]논리왕전주..(222.99) | 21.08.27추천 0
-
A와 B의 여집합의 교집합이 공집합일 때 [2]익명(211.36) | 21.08.27추천 0
-
술어논리 양화논리에 쓰이는 용어 어떻게 읽음? [3]익명(175.208) | 21.08.25추천 0
-
4년 전쯤 <논리적 추론과 증명> 1회독했는데 [5]익명(223.38) | 21.08.22추천 0
-
제1 불완전성 정리 증명 스케치 및 마지막 핵심 아이디어 소개.익명(110.11) | 21.08.22추천 0
-
계산가능성과 논리-수리 논리학 입문 어디서 구할수 있음? [3]익명(112.170) | 21.08.22추천 0
-
님들 “대우”<<- 이거 논리학에서 적용가능한가요? [2]시아선(herrison8) | 21.08.20추천 0
이거 논리식이 맞긴함?
모든 x는 어떤 y와 동일한 대상이다 이런뜻임?
ㄴ ㅇㅇ
ㄱㅅㄱㅅ
논리적 참인 문장 맞음
x = x. (Axiom) => ∃y y = x. (∃I) => ∀x∃y y = x. (∀I)