논리 연결사
논리 연결사(logical connective)는 논리식을 결합해 새로운 논리식을 만들어내는 문장 구성요소이다.
목록
각 연결사에 대한 추론 규칙이나 의미에 대해서는 명제 논리, 자연 연역 등을 참고하라.
| 국문 | 영문 | 표기법 | 다른 표기법 |
|---|---|---|---|
| 연언1 | conjunction | \(\phi \wedge \psi\) | \(\phi \mathbin{\&} \psi\) |
| 선언2 | disjunction | \(\phi \vee \psi\) | |
| 함언 | implication | \(\phi \to \psi\) | \(\phi \supset \psi\) |
| 동치 | biconditional, equivalence | \(\phi \leftrightarrow \psi\) | \(\phi \equiv \psi\) |
| 부정 | negation | \(\neg \phi\) | \(\sim\phi, -\phi\) |
| 참 연결사 | verum | \(\top\) | |
| 거짓 연결사 | falsum | \(\bot\) |