이차논리 증명? 해주실분! - 논리학 마이너 갤러리

논리학은 올바른 추론에 대한 학문입니다. 철학, 컴퓨터 과학, 그리고 수학과 연관되어 있습니다.

매니저

없음

부매니저

없음

개설일

2016-01-15

이차논리 증명? 해주실분!모바일에서 작성

ㅇㅇ(115.145) 2021.01.28 16:48:46

조회 111 추천 0 댓글 2

viewimage.php?no=24b0d769e1d32ca73cec82fa11d02831da48f5f7e7e334e6e7e5e9c8f8d462f2b0ed521178678e6baad7416e52aa6bc77fc9c57c296dd3f6a87edc46fab6a9fb5a48fc939f0798b213f2986b89fa85ba

집합 원소에 대한 직관적인 정의같은거 다 배제하고, 제시된 공리1,2와 정의로부터 정리를 증명할 수 있는건가요?

고정닉 0

원본 첨부파일 1

20210128_164639_196.jpg

전체 댓글 0개

등록순

본문 보기

타인의 권리를 침해하거나 명예를 훼손하는 댓글은 운영원칙 및 관련 법률에 제재를 받을 수 있습니다.
Shift+Enter 키를 동시에 누르면 줄바꿈이 됩니다.

갤러리 리스트
번호	제목	글쓴이	작성일	조회	추천
설문	연예인 안됐으면 어쩔 뻔, 누가 봐도 천상 연예인은?	운영자	24/06/17	-	-
1132	논증7. [2]	Mischief	21.03.06	79	0
1131	선언적 삼단논법 [1]	ㅇㅇ(223.38)	21.03.05	142	0
1130	이거 무슨 오륜지 알려줄사람.. [1]	ㅇㅇ(106.101)	21.03.05	69	0
1129	이게 왜 후건부정인가요 [10]	ㅇㅇ(223.38)	21.03.04	185	0
1128	이거 무슨말인지 ㅜㅜ	ㅇㅇ(223.38)	21.03.04	54	0
1127	진리치가 뭔가요 [3]	ㅇㅇ(223.38)	21.03.03	101	0
1126	전칭명제 특칭명제 단칭명제가 뭔가요 [6]	ㅇㅇ(223.38)	21.03.02	115	0
1125	문과 고졸 8등급인데 나도 논리학할수있음? [5]	ㅇㅇ(222.235)	21.03.01	211	1
1123	컴공충의 헛소리	유사수학자(223.39)	21.02.27	171	1
1122	2nd order logic 살짝 찾아 봤는데,	ㅇㅇ(110.11)	21.02.27	138	3
1121	술어논리 한계?? [34]	1223(106.101)	21.02.26	630	2
1119	참도 거짓도 아닌 명제가 존재하는 건 [8]	ㅇㅇ(223.39)	21.02.24	622	0
1118	동생한테 어케 설명하면 좋을지 조언 좀... [17]	ㅇㅇ(39.7)	21.02.22	242	0
1116	코어논리학의 술어논리 구문론 파트 질문 [2]	ㅇㅇ(180.64)	21.02.20	154	0
1115	논리학 자연연역 파생규칙 문제!! 찐고수님들이 없나 보네요..ㅠㅠ [3]	논리학..(212.201)	21.02.19	200	0
1114	논알못이긴 한데 호기심에 질문해봅니다... [1]	ㅇㅇ(61.42)	21.02.18	366	2
1113	모순관련 질문입니다 [6]	궁금해요(125.133)	21.02.17	106	0
1112	고딩 설득의 논리학 샀는데 [1]	ㅇㅇ(223.39)	21.02.17	204	0
1111	논리학 입문자용 추천 좀 [2]	ㅇㅇ(118.235)	21.02.15	634	0
1110	에전글을 읽고 궁금한게 있는데 [2]	ㅇㅇ(118.235)	21.02.14	125	1
1109	이거 맞는 말임? [4]	ㅇㅇ(118.235)	21.02.13	120	0
1107	코어논리학 리뷰 및 괴델/탈스키/ 처치 정리 국문 서적 추천 [3]	ㅎㅎ(61.72)	21.02.13	3913	32
1106	이거왜이런건가요? [1]	ㅇㅇ(124.50)	21.02.10	90	0
1104	∝ <<<--- 이 기호는 뭐임? [2]	ㅇㅇ(223.131)	21.02.09	126	0
1103	논리는 나의힘 한문제더 [1]	짬설(211.51)	21.02.08	141	0
1102	형들 논리는 나의힘 읽다가 이해안되는거 설명좀 [12]	짬설(211.51)	21.02.08	353	0
1101	스멀리언 책 번역하는 논붕이가 있다고? [1]	ㅇㅇ(76.114)	21.02.08	139	0
1098	우리 모두 논리학 공부 열심히 해 봐요. [6]	ㅇㅇ(110.11)	21.02.06	325	3
1096	밑에 문제(유한집합 공리화) 해결한 것 같아요! [1]	ㅇㅇ(110.11)	21.02.04	88	0
1095	여기 살아있는 갤인가요?? [4]	Lmm	21.02.04	146	0
1094	(1차 술어 논리) 유한 집합 관련 질문이요! [13]	ㅇㅇ(110.11)	21.02.04	143	0
1093	영어 원서 말고 논리학 소개 부탁합니다 [1]	ㅇㅇ(223.131)	21.02.04	108	0
1091	기초적인 양화논리 질문 [8]	ㅇㅇ(211.195)	21.02.03	117	0
1090	기초적인 명제논리 질문 [22]	ㅇㅇ(211.195)	21.02.03	175	0
1089	질문2 [2]	ㅇㅇ(223.131)	21.02.03	52	0
1088	질문 [2]	ㅇㅇ(223.131)	21.02.03	77	0
1087	코어 논리학이 괜찮은 책인가요? [4]	ㅇㅇ(210.95)	21.02.02	614	0
1086	입문잔데 코어논리학 다음엔 책 뭐보는게 좋음? [5]	ㅇㅇ(223.39)	21.02.01	428	0
1085	뉴비를 위한 괴델의 불완전성 정리에 대한 개요. [13]	ㅇㅇ(110.11)	21.01.31	435	1
1084	확률도 논리기호로 나타낼 수 있을까요? [4]	ㅇㅇ(223.131)	21.01.31	120	0
1083	일상 언어를 논리기호로 만드는 방법 문의 [3]	ㅇㅇ(223.131)	21.01.30	139	0
	이차논리 증명? 해주실분! [2]	ㅇㅇ(115.145)	21.01.28	111	0
1080	이거 안되는 이유좀요 [2]	ㅇㅇ(124.50)	21.01.28	82	0
1079	공대인데 교양으로 논리학 수강완료하고 관심있어서 왔는네	ㅇㅇ(119.203)	21.01.27	101	1
1078	기호논리학 문제 [6]	ㅇㅇ(210.178)	21.01.27	197	0
1077	자유의지와 기독교 [2]	dd(211.244)	21.01.26	114	1
1076	이차논리?식 질문 [2]	ㅇㅇ(49.1)	21.01.26	118	1
1074	오직 그런 한에서 이거 뜻풀이좀요 [2]	ㅇㅇ(124.50)	21.01.26	57	0
1073	취미 논린이 질문 좀 받아주시면 감사하겠습니다. [1]	ㅇㅇ(113.30)	21.01.26	92	0
1069	논리적으로 서로 일치하는지 질문 좀 드립니다ㅎ;;; [7]	dlswkzhd(182.31)	21.01.22	230	0