플로이드 워셜 주의해야할 점(k > i > j 순서로 돌기)

2224번: 명제 증명 명제가 주어질때 참으로 가능한 명제들을 모두 출력하는 문제 p => p같은 전건과 후건이 같은 명제는 출력하지 말고 삼단논법에 의해서만 참이 될 수 있는 명제만 출력하는 문제 전건 후건으로 가능한 것은 알파벳 대소문자이고 총 52개여서 이를 노드 번호로 바꿔주고 from sys import stdinn = int(stdin.readline())node = {chr(i+65):i for i in range(26)}for i in range(26,52): node[chr(i+71)] = ichange = {v:k for k,v in node.items()}  A => b,  b => C이면 A노드에서 b노드로 갈 수 있다는 의미이고, b노드에서 C노드로 갈 수 있다는 의미..

• format_list_bulleted 최단거리 알고리즘
• · 2025. 1. 11.
• textsms

귀류법과 수학적 귀납법 정확히 알기

1. 증명 19세기 말부터 증명이 무엇인지 많은 연구가 있었다 증명은 글로 쓰는 것이 아니라 '정확한 명제로 표현할 수 있는 것'이라는 것이 확립된 상태 보통 정확한 명제식으로 쓰지는 않지만 근본적으로는 명제식으로 바꿀 수 있는 것이 증명이다 증명에 대한 수많은 오해는 p ↔ q 와 p → q를 혼동하는 것에서 시작함 2. 당구공 paradox '모든 당구공은 색이 같다'에 대한 증명 당연히 색이 같을리 없지만 논리적으로 증명하고자 함 ------------------------------------------------------------------------------------------------------------ 수학적 귀납법) 모든 자연수 n에 대해 명제 P(n)이 참이라는 것을 증명하기..

• format_list_bulleted 프로그래밍 개론
• · 2022. 7. 13.
• textsms

논리학 연습문제1

1. 문제1 1) p: 0이 홀수이다, q: 미국에서 2080년 월드컵이 열린다. 명제식: p → q 참,거짓: '미국에서 2080년 월드컵이 열린다'라는 사실은 아무도 알 수없다 하지만 '미국에서 2080년 월드컵이 열린다'가 사실인지 몰라도 전체 p → q가 사실인지 아닌지는 알 수 있다 왜냐하면 p: 0이 홀수이다에서 0은 홀수가 아니므로 p는 반드시 거짓이다 가정인 p가 거짓이면 전체 p → q는 q의 참,거짓 여부에 관계없이 반드시 참이다 이를 많은 사람들이 받아들이지 못하지만 p → q가 참이어야 제대로 된 논리학을 만들 수 있다 https://deepdata.tistory.com/331 반드시 알아야하는 기초 논리학 - p가 거짓이면 'p이면 q이다'는 왜 참인가? 1. 공허한 참 'p이면 ..

• format_list_bulleted 프로그래밍 개론
• · 2022. 7. 12.
• textsms