목록2025/03/21 (1)

넘치게 채우기

[BOJ] 2224 - 명제 증명

https://www.acmicpc.net/problem/2224BOJ - 명제 증명문제 유형: 플로이드-워셜, 문자열 처리문제 난이도: Gold IV시간 제한: 2초메모리 제한: 128MB 문제수학, 혹은 논리학에서 만약 무엇 이라면 뭣 일 것이다 하는 식의 명제가 널리 쓰인다. 예를 들어 "P이면 Q일 것이다." 라는 명제는 “P => Q” 라는 기호로 표현된다. 이때의 P를 전건, Q를 후건이라고 한다.논리학에서 어떤 명제를 증명할 때 가장 널리 쓰이는 방법 중 한 가지가 바로 삼단 논법이다. 만약 두 명제 “P => Q", "Q => R" 가 모두 참이면, 명제 "P => R"이 역시 참이 된다. 이러한 방법을 사용했을 때 명제 ”P => R"이 증명되었다고 한다.어떤 참인 명제가 주어졌을 때, ..
PS/BOJ 2025. 3. 21. 10:23
이전 Prev 1 Next 다음