귀류법으로 증명가능한 모든 명제는 직접증명법으로 증명가능한가요??
[일반] 귀류법 의문 알려주실분
익명(183.100)
2024-01-30 20:22
추천 0
댓글 6
다른 게시글
-
멍커스 한국어판 ㄱㅊ음? [3][일반] 익명(ugartevalverde) | 24.01.30추천 0
-
도집합이 뭔가요? [6][일반] 익명(ugartevalverde) | 24.01.30추천 0
-
오일러공식 언제 배움? [4][일반] 익명(14.37) | 24.01.30추천 0
-
통계학 전공인데 [4][대학교이상] 익명(121.159) | 24.01.30추천 0
-
중등 및 고등 수학 재미있게 풀 수 있게 할지에 대한 질문입니다 [7][일반] 제발 좀 자..(118.235) | 24.01.30추천 0
-
kirti joshi <- 이 사람이 IUT쪽으로 뭐 했나보네 [1][일반] 익명(115.69) | 24.01.30추천 1
-
케일리 정리, 왜 a가 H에 포함되어야하나요? [7][일반] 익명(155.230) | 24.01.29추천 0
-
ab=h 일수있나 [7][일반] 익명(155.230) | 24.01.29추천 0
-
n계도함수랑 n번합성한 함수랑 기호가 같음? [5][중고딩문제] Cornbloom(jagiwoo) | 24.01.29추천 0
-
여기서 형광펜 친 부분에서 [2][일반] 익명(ugartevalverde) | 24.01.29추천 0
안 될거 같은데. '소수는 무한히 많다'라는 명제를 직접증명법으로 풀 수 있으려나.
아 되는구나
보통 이런거 구글에다 영어로 검색하면 stackexchange 같은 데에 답변되어 있을 가능성이 큼
안됨
예를 들어서 "임의의 실수 x, y에 대해 x = y 이거나 x /= y 이다" 같은거
찾아보니까 Peirce's law 는 귀류법없이 증명이 안된대