나보다 더 개소리를 정성스럽게 하는사람이 있을까?
게시글 주소: https://orbi.kr/00071953261
1. (A가 거짓->모순)->(A가 증명있음)
1번은 귀류법이고 참
1번의 대우명제는 2번
2. (A가 증명없음)->(A가 거짓 and 무모순)
2번이 참이니 3번이 참
3. (A가 증명없음)->(A가 거짓) 이 참이고
3번의 대우는
4. (A가 참)->(A가 증명있음)
그리고 원래 참으로 여기고 있는것들이
5. (A가 증명있음)->(A가 참)
6. (A가 거짓)->(A가 증명없음)
임
3번과 6번을 연결하고
4번과 5번을 연결하면
7. (A가 거짓)<->(A가 증명없음)
8. (A가 참)<->(A가 증명있음)
또
9. (A가 공리)->(A가 증명없음)
7번을 연결하면
10. (A가 공리)->(A가 거짓)
(A가 공리) and (A가 거짓)이라고 할때,
"A->(모든명제)"=참 이므로
모든명제는 A를 이용해 증명이 되었음
즉, (모든명제)는 증명있음
8번을 연결시키면
((모든명제)가 증명있음)<->((모든명제)가 참)
물론 있겠지..
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
현재 성균관대 화학공학과 24학번입니다. 방금 성대 전전에 3차추합이 되습니다....
-
걍 의대도 그러려니 하는데 서울대 공대 << 이새끼들은 진짜 뭔가 다름
-
진짜 막 어둠의 스킬같은게 있나요.? 체화 다 하면 현정훈 안듣는 사람하고 듣는...
-
점수는 전자가 높긴 함 근데 다군이라
-
가고 싶은데가 약간 상향이고 그래도 합격 가능성이 없다까진 아닌데 난 이라인 밑이면...
-
쓰기 귀찮다.. 대수학의 기본 정리 임뇨
-
개강 첫날에 과방 들어가서 식물 좋아할거같이 생긴 사람 납치해서 매일 식물샵 데리고 다닐거임 후후
-
10년 전의 1년과 지금의 1년이 너무다름
-
과 수능점수 수석? 뭐 이런거로 학업장려금 줬었는데 개빡쳐서 수능학업에 써버림
-
내 레어 어디감 2
돌려도…
-
휴식없이 걸어봐야겠다
-
왜냐면 이제부터 기다림이 24시간이 넘을 때마다대가리를 존나 쎄게 쳐서 제 머릿속을...
-
배터리 개에반데 요금제는 바꿀듯 한달 700메가는 에바야
-
9모 D-200 3
-
메모 2
내일까지 어삼쉬사 짝기출 10문제 끝내기 (드디어 공통 어삼쉬사 끝) 일요일은...
-
그럼 죽어야하는데
-
하누구렁결혼해야하지..
-
여기저기 빵 나는거보고 느낌
-
ㄹㅇㅋㅋㅋㅋㅋㅋㅋ
-
대체어딜갈려고
알고있음..
개소리 아님