논리 명제와 대우 영어로

명제는 뜻이 분명한 문장으로 참과 거짓을 검증할 수 있는 문장이다.

 

명제는 영어로 Proposition이다. (p → q)

 

대우는 영어로 Contraposition이다. (~q → ~p)

 

역은 영어로 Conversion이다. (q → p)

 

이는 영어로 Inversion이다. (~p → ~q)

 

부정은 영어로 Negation이다. (~p)