아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이제 고2 올라가고 정시로 약대 간다면 표점 제일 높은 생지가 나을까요 아님 관련...
-
이거 뭐임뇨 4
???
-
얼버기 4
-
출시 당시 메인 작곡가가 만 나이로 28살이었고 메인 캐릭터 디자이너는 29살이었음...
-
올해 통계 많이 바꼈나요?
-
어지러우니까 일단 운동이라도..
-
내가 고딩시절의 영광에 자사고 2점대에서 상위권 목 따버리고 최종 전교1등...
-
1. 개념량이 적다 2. 과목명이 개밥처럼 보인다 3. 허수담요단들이 많다 뭐같음요?
-
신입생 말규요!
-
전담은 한번 해보고 싶음 먼 맛일지 궁금하네
-
뭔가 화날때마다 술한번씩 하니까 뇌 회로가 타버리는 것 같아 10
이으으ㅏ아아가
-
1학기 내신으로 화학, 생명 듣게 된 예비고2입니다. 방학 땐 학원에서...
-
흐흐
-
공통 미적 둘 다 단과 다니면서 다른 엔제도 풀려고 하는데 3모 보기 전까지 단과...
-
90일 이상 재원인데 80일밖에 안다녔뇨
-
그런건가
-
망했네요 5
홍대 전전 예비 현재 28번인데 3차에서 4차넘어갈때 9명빠졌네요 하 수요일까지...
-
과선택에 도움주신 많은 분들께 진심으로 감사드립니다!! 열심히 대학생활 하겠습니다!!
-
진짜죄다담배쳐핌씨발쉬는시간에도그걸못참고나가서쳐피고썩은내풀풀풍기며들어옴
-
수특,최적 개념-> 윤성훈 도표 복습(작년 수강) -> 불후의 기출(윤성훈 독학기출...
-
이미 과탐(물화)의 쥐똥만한 개념 날먹에 뇌가 절여졌음
-
시대 샐러드는 나도 몇번 먹어봐서 알긴 아는데 한식이 너무 댕기더라; 샐러드/쉐이크...
-
학교다님의행위그자체보다거기서생기는귀찮은일들과의미없는연락이너무너무싫음
-
안그래도 경제 풀게없는데 사설경제는 하나같이 난이도가 괴랄함 근데 더풀 경제 < 얜...
-
-
세지로 런 칠까
-
정병훈 샘 1
인간 아니네 진짜
-
[사설]“52시간제로 R&D 성과 줄어”… 그런데도 예외조항 뺀다는 野 0
‘주 52시간 근무제’가 도입된 후 기업들이 운영하는 연구조직 4곳 중 3곳은...
-
수특 기출만으로 ㄱㄴ??
-
[사설]유명 재수학원 1년 비용이 의대 6년 등록금… 웃지 못할 현실 1
서울 강남의 유명 재수학원이 이달 말 경기 용인에 대형 재수 기숙학원을 열기로 해...
-
승급전에 무슨 인도인 형님 만났는데 1000점 찍으라고 패작해줘서 이김
-
ㅋㅋ
-
어느정도려나
-
-
수능날 타임어택 괜찮으셨나요 평소 실모(평가원, 교육청, 실모 등등)와 비교해서도 궁금합니다
-
술이 아직 덜 깼네 12
뭐하려고 했는지 자꾸 까머금
-
영어 노베인데 주혜연 해석공식듣고 유베가는길 듣고 있습니다 해석이 매끄럽게 안되는...
-
...
-
자라 4
거북
-
사문 경제 어떰? 11
물1화1 했었는데 타임어택 심함??
-
이거 개 좋네 0
존나 내 취향임
-
잔다 5
ㅇㅇ
-
기만할 수 있는 게 없는 나
-
국어 주간지 0
본인이 듣는강사꺼 말고 타 강사꺼 풀어도 괜찮죠? 돈 없는데 피뎁도 안올라와서ㅠ
-
수능영어1이긴한데 할수잇으까
-
요즘 제주도민들은 어리면 어릴수록 막 뉴스에 나온 어르신처럼 아무도 못알아듣게...
-
D-268 0
영어단어 120개 단어/모르는 단어 35개 암기 외우면서 단어가 비슷비슷하게 보이는...
-
티 ㅈㄴ안나네
-
무지개는몬참지ㅋㅋ
-
도파민이 좀 부족하지만 즐거움
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다