디시인사이드 갤러리

마이너 갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

이 두 문장 동치인거 맞나요??

ㅇㅇ(58.234) 2023.01.30 21:56:09
조회 152 추천 0 댓글 5
														



1 (∀x)(Cx→~(∃y)(Ly&Dyx))

2 ~(∃x)(Lx&(∀y)(Cy→Dxy))



Cx:x는 고양이이다, Lx:x는 논리학자이다, Dxy:x는 y를 싫어한다


동치 맞는거 같은데 자연연역으로 증명 못하겠어요 ㅠ



a15528aa2527b356a680fdb41dd02b09ceddcd9dc94eaaa244185de2723fdb3e31f0f002e842f5fd9a8dbaf0f5a42197216b6c2a88fcea07cc


추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
등록순정렬 기준선택
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 어떤 상황이 닥쳐도 지갑 절대 안 열 것 같은 스타는? 운영자 24/05/20 - -
1945 코어논리학 질문 ㅇㅇ(112.154) 23.03.13 80 0
1943 연역적으로 타당한 논증에 새로운 전제를 추가할 경우 [7] ㅇㅇ(203.230) 23.03.11 154 0
1942 립젠에 computability and logic 답지 있네 인스트럭터용 [2] ㅇㅇ(223.62) 23.03.09 104 4
1941 코논, 비판적사고, 두보계100 순서 [3] ㅇㅇ(222.232) 23.03.09 220 0
1940 키보드 배틀 오래 했는데 존나 허탈하네 [1] ㅇㅇ(222.238) 23.03.08 106 0
1939 비형식적 논리 질문입니다. [2] ㅇㅇ(210.94) 23.03.08 90 0
1938 논리게임바이블 질문 [1] ㅇㅇ갤로그로 이동합니다. 23.03.08 94 0
1937 메이츠 기호논리학 pdf 있나여 [3] ㅇㅇ(113.198) 23.03.07 246 0
1935 논리학 공부시작하고 싶은데 도움좀 [3] ㅇㅇ(211.234) 23.03.03 237 0
1934 나무위키에서 이글이 순환논법이라는데 왠지 모르겠음 [1] ㅇㅇ(211.197) 23.03.02 128 0
1933 보편양화사 이런 추론도 가능한가요? [8] ㅇㅇ(39.7) 23.03.01 122 0
1932 조건증명법 (함축 도입 ) 질문 [3] ㅇㅇ(114.205) 23.03.01 98 1
1931 이문제에 대한 명확한 답을 할 수 있을까요? [28] ㅇㅇ(110.70) 23.02.28 286 0
1930 벤슨메이츠 교재로 논리학 강의하는 곳 좀 알려줘요 [3] ㅇㅇ(118.235) 23.02.27 224 0
1929 기호논리학 증명이 아니라 추론을 다루는책은 [3] ㅇㅇ(121.138) 23.02.27 212 0
1928 명제논리 completeness 관련 질문입니다. [9] ㅇㅇ(121.160) 23.02.27 136 0
1927 논리학책들이 추론과정을 다루지는 않네요? [2] ㅇㅇ(121.138) 23.02.26 199 0
1926 논린이 질문좀 [3] ㅇㅇ(39.7) 23.02.26 109 0
1924 코어논리학 드뎌 완주 [5] ㅇㅇ(58.234) 23.02.24 225 0
1923 두뇌보완계획 100 내용인데 이거 질문좀 [4] ㅇㅇ(114.205) 23.02.23 224 0
1922 누가 잘못 되었을까요? [1] ㅋㄴㅇ(182.225) 23.02.23 51 0
1921 명제 질문드립니다. [1] 유누갤로그로 이동합니다. 23.02.22 51 0
1920 양상논리 soundness 증명하는 책 같은 거 있음? [14] ㅇㅇ(210.94) 23.02.21 165 0
1919 확정 기술어구 문장 질문있어요 [2] ㅇㅇ(58.234) 23.02.18 62 0
1918 논린이 코어 논리학 이해 안 가는거 질문 [2] 마유미갤로그로 이동합니다. 23.02.15 229 0
1917 심심해서 오늘부터는 고정닉으로 활동해보려 합니다 [6] 두꺼비등핥개갤로그로 이동합니다. 23.02.15 121 3
1916 조건문 관련질문 [1] 멸공의촛불(118.235) 23.02.15 51 0
1915 이런 논리적오류 투성인가요? [2] ㅇㅇ(121.84) 23.02.14 129 0
1914 양화사와 추론 [9] ㅇㅇ(180.83) 23.02.10 212 2
1913 보편예화 질문입니다 [3] 1234(121.160) 23.02.10 79 0
1912 코논 동일성 문장 파트 질문 또 드릴게요 [4] ㅇㅇ(58.234) 23.02.09 139 0
1911 코논 동일성 문장 파트 질문 드려요 ㅠ [2] ㅇㅇ(58.234) 23.02.08 64 0
1910 보편예화에 대해 궁금한 점. [5] ㅇㅇ(118.235) 23.02.06 121 0
1908 명제결합자 기호의 유래 [3] ㅇㅇ(180.83) 23.02.03 182 2
1907 연언 기호는 왜 이렇게 다양한가요? [3] ㅇㅇ(59.10) 23.02.02 100 0
1906 그렇게 따지면은 논리적오류임? [2] ㅇㅇ(121.82) 23.02.02 94 0
1905 가정과 결론이 서로 무관하면서 참인 문장에 대해 [5] ㅇㅇ(58.234) 23.02.02 84 0
1904 ~하면 안하면 되잔아 논리 [7] ㅇㅇ(125.128) 23.02.01 164 0
1903 층위논리 논리는 타당함에 대한 부여다 ㅇㅇ(175.197) 23.02.01 53 0
1902 약화 관련한 질문 [6] 00(106.102) 23.01.31 108 0
이 두 문장 동치인거 맞나요?? [5] ㅇㅇ(58.234) 23.01.30 152 0
1900 논리를 배우는건 지식의 범위를 확장시키는게 아니라 ㅇㅇ(175.197) 23.01.30 125 0
1899 머릿 속에 있는 생각을 논리정연하게 글로 서술하는 능력을 키우려면 [4] ㅇㅇ(221.139) 23.01.30 155 0
1898 논리의 의미함 ㅇㅇ(175.197) 23.01.30 65 0
1897 accessibility relation에 대해 알고 싶습니당 [9] ㅇㅇ(58.234) 23.01.26 109 0
1896 진리나무와 태블로라는 명칭에 관해 [4] ㅇㅇ(117.111) 23.01.23 96 1
1895 피장파장의 오류에선 문제점이 없나요? [2] ㅇㅇ(183.108) 23.01.20 92 0
1894 코어논리학 입문자용이라더니 ㅠ [2] ㅇㅇ(58.234) 23.01.19 421 0
1893 논리학 짱 재밌다 [1] 마유미갤로그로 이동합니다. 23.01.17 173 1
1892 이거좀 한번만 봐주라 [2] ㅇㅇ(203.253) 23.01.16 88 0
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2