디시인사이드 갤러리

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

갤러리 본문 영역

조건문화(Conditionalization) 추론 규칙 질문

ㅇㅇ(182.228) 2022.11.30 21:49:44
조회 84 추천 0 댓글 4
														

지금껏 별 생각없이 쓰고 있었는데

왜 Q에서 P->Q를 꺼낼 수 있는걸까

전건이 뭐가 됐던 후건에는 영향이 없으니까 된다는 건 암

근데 구문론적으로는 알겠는데 의미론적으로는 잘 모르겠음

가령 조건문화 규칙을 사용하면서 꺼낸 P->Q의 P를 다른 전제와 엮으면서 쓰는 경우도 있잖아?

갑자기 튀어나왔는데 과연 의미론적으로 어떻게 봐야할까 싶음

가령 존재예화 규칙에서는 예화시킬 a가 결론에 나타나서는 안 된다는 규칙이 있는데 조건문화는 그런 거 상관없이 왜 가능한지 모르겠음

아 이걸 뭐라고 설명해야되지 말로 풀어쓰니까 좀 이상하네; 생각이 잘 정리가 안된듯 미안

추천 비추천

0

고정닉 0

0

댓글 영역

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

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 어떤 상황이 닥쳐도 지갑 절대 안 열 것 같은 스타는? 운영자 24/05/20 - -
공지 논리학 정보 1.0.3 [15] 톱니까막갤로그로 이동합니다. 16.01.31 8075 37
2182 코어논리학풀다 생긴 의문 [2] 논갤러(118.235) 14:50 16 0
2180 하그냥 내혼자 자위하는게 낫겠수다 논갤러 여러분 바이 [2] Moriae갤로그로 이동합니다. 05.20 74 0
2178 모든것이 존재하는 원인이 없는 이유 그림설명 [1] Moriae갤로그로 이동합니다. 05.17 76 0
2177 제가 눈쌀찌푸려지시겠지만 양해바랍니다 Moriae갤로그로 이동합니다. 05.17 39 0
2176 진짜 논리의 기초중의 기초는 뭐임? [7] Moriae갤로그로 이동합니다. 05.17 72 0
2175 이말도 문제있는지 봐주세요3 [8] NEMO갤로그로 이동합니다. 05.17 55 0
2174 난 모든학문의 본질이 논리학이라고 생각함 NEMO갤로그로 이동합니다. 05.17 35 0
2173 다른세계 증명 문제있는지 봐주세요 [1] NEMO갤로그로 이동합니다. 05.17 37 0
2172 이말도 문제있는지 봐주세요2 [3] NEMO갤로그로 이동합니다. 05.17 54 0
2171 이말도 문제있는지 봐주세요 NEMO갤로그로 이동합니다. 05.17 24 0
2170 두 명제가 둘다 참이기만 하면 동치인가요? [24] NEMO갤로그로 이동합니다. 05.17 79 0
2169 이거 논리적으로 문제있는 말임? [14] NEMO갤로그로 이동합니다. 05.16 162 0
2168 중고등헉생 토론 및 토론수업 도움 될만한 책 있을까...? [14] ㅇㅇ(110.70) 05.16 64 0
2167 조건삼단논법 이거 전건진술을 부정하는 예임? [2] ㅇㅇ(110.70) 05.16 32 0
2166 논리력 이용하는게임인데 풀이방법 의견좀 [2] ㅇㅇ(115.41) 05.13 59 0
2164 언어도 수학처럼 공리화? 비슷하게는 못함? [1] 논갤러(39.7) 05.08 56 0
2163 코어논리학 5장 이거 잘 모르겠는데 해설좀 부탁해도 될까? [9] 이얼싼(61.35) 05.02 102 0
2162 지금 코어 논리학 사서 공부하는 중인데 그 다음 책 추천좀 [2] 이얼싼(106.101) 04.26 150 0
2161 대우를 귀류법 없이 증명 ㄱㄴ? [3] 논갤러(175.193) 04.21 89 0
2160 선언 간단한 질문좀요 [4] 논갤러(106.101) 04.20 65 0
2159 님들 이문제 답좀여 급해요 [4] 논갤러(121.65) 04.17 101 0
2158 여초딩 파이즈리 논갤러(58.29) 04.14 117 1
2157 코어논리학 다음 뭐 해야 하냐 ㅇㅇ(175.113) 04.12 62 0
2156 충분조건과 필요조건에 대해 궁금한 점이 있습니다 [2] 논갤러(14.39) 04.11 156 0
2155 논리학, 수학의 기초에 관심 생겨서 공부중인데 [3] 논갤러(118.235) 04.11 121 0
2154 괴델-튜링 정리 이해하는 사람 있음? [5] oo(121.183) 04.11 180 0
2153 고견 구합니다. [10] 논갤러(118.235) 04.09 123 1
2152 도와주세요 형님들 논갤러(49.165) 04.08 46 0
2151 술어논리 존잼이네 ㅇㅇ(220.120) 04.07 60 0
2150 대우는 정당화가 가능함 아니면 묻고 따지지도 않고 쓸 수 있다고 한거임? [3] 논갤러(39.112) 04.06 88 0
2149 진짜 도움이 필요해요 님들 ㅠㅠ 논갤러(125.242) 04.03 31 0
2148 이거 정답이 뭔가요? [4] ㅇㅇ(118.235) 04.02 108 0
2147 두뇌보안계획 100 관련 질문 ㅠㅠㅜㅜ [6] 논갤러(61.82) 04.01 118 0
2146 논린이 질문있음 ㅠ [1] 논갤러(106.101) 03.28 59 0
2145 인과관계를 조건관계만으로는 설명 못하는 이유 ㅇㅇ(106.101) 03.27 54 0
2144 왜 논리학을 공부하시나요? [3] 논갤러(14.47) 03.25 206 0
2143 이거 중괄호 잘못 묶인 거 아님? ㅇㅇ(106.101) 03.24 57 0
2142 부정문 질문 [3] 논갤러(106.101) 03.24 57 0
2141 172.226님 감사합니다 덕분에 이해했네요 논갤러(118.235) 03.20 60 0
2140 A&~B 의 진리표에 대한 질문 [3] 논갤러(175.195) 03.20 102 0
2139 논린이 질문좀요.. [3] 논갤러(106.101) 03.19 65 0
2138 "A인 한에서 B이다"를 Sl언어로 어떻게 표기하나요? [3] 논갤러(121.173) 03.17 90 0
2137 논증의 정의 이정도만 알아도 ㄱㅊ음? 논갤러(106.101) 03.17 67 0
2135 입문 서적 질문 논갤러(175.195) 03.14 72 1
2134 자연 연역 문제 푸는데, 이거 되나요? [2] 논갤러(121.125) 03.12 94 0
2133 정언 명제 조작 질문 [3] 논갤러(58.236) 03.09 70 0
2130 (22시간째 고민 중)논린이 궁금한거 질문좀 2탄 [8] 논갤러(116.32) 03.05 130 0
2129 (40시간째 고민중)논린이 궁금한 것좀 알려줘 [3] 논갤러(61.84) 03.03 94 0
2128 코논 다음 책 논갤러(211.36) 03.02 63 0
2127 안녕하세요 논리학을 배워보려는 고등학생 논린이입니다. [15] 논갤러(180.70) 02.29 228 3
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2