프로그래밍과 논리

 

 

p --> q

에서, p가 거짓이면 명제는 무조건 참이다.

에서, q가 참이면 명제는 무조건 참이다.

즉, p가 참이고, q가 거짓일 경우에만 명제는 거짓이다.

 

역: q --> p

이: ~p --> ~q

대우: ~q --> ~p

 

수학적 귀납법: P(1)이 참이고, P(n) --> P(n + 1)이 참이면 P(n)은 모든 자연수 n에 대하여 참이다.

 

항상 P(x) --> Q(x) 임을 증명할 때, Q(x)가 항상 참이라면, 항상 P(x) --> Q(x) 임이 사실이다.

그리고 P(x)가 항상 참이라면, 항상 P(x) --> Q(x) 임이 사실이다.