1. p는 ∃x《p》x와 논리적 동치
(~p는 ∀x(~《p》x)와 논리적 동치)
2. (∀x)(∀y)((《p》x&《p》y)→x=y)는 항진 명제
《》 기호 도입에 따른 논리학적 가설
익명(182.210)
2021-10-04 14:42
추천 0
댓글 2
다른 게시글
-
한정 기술구 [1]익명(182.210) | 21.10.04추천 0
-
아까 그 문제의 대안(?)을 찾음. [17]익명(117.111) | 21.10.03추천 2
-
수학기초론쪽으로 잘아는 사람있냐? [1]익명(39.7) | 21.10.03추천 0
-
궁금한게 있는데 모든 귀납은 연역이 될수 있지 않음? [4]익명(211.247) | 21.10.03추천 0
-
숙제를 안 한 것은 선생님한테 혼난 것의 이유이다. [36]익명(182.210) | 21.10.03추천 0
-
그는 나의 아들이다. 그것은 나의 펜이다. [11]익명(117.111) | 21.10.02추천 0
-
"B because A"가 함축하는 게 뭐임? [12]익명(117.111) | 21.10.02추천 1
-
'A하기 위하여(/통해) B한다' 의 관계가 어떻게 되나요? [11]ㅇ(39.117) | 21.10.02추천 1
-
양화논리 번역질문 [1]익명(45.33) | 21.09.25추천 0
-
p이면 q이다 부정이 머ㅔㅇ요 [5]익명(vkqrhs1212) | 21.09.22추천 0
병신
왜 욕질이야?