[Math] Logic: Tautologies and Contradictions

항상 참인 연산과 항상 거짓인 propositions (or operations)를 가리킴.

Tautologies

언제나 참인 propositions.

항진명제 라고도 불림.

• $q \lor \neg q$
• $[p \implies q] \land [q \implies r]$: 3단 논법(?)

Contradictions

언제나 거짓.

모순명제 라고 불림.

• $p \land \neg q$
• $(p \lor q)\land [(\neg p) \land (\neg q)]$

---

---

같이보면 좋은 자료들

• Week01