see also 논리연결사,logical_connective. MERGE?
부정 | negation | ¬p | not |
논리곱 | conjunction | p∧q | and |
논리합 | disjunction | p∨q | or |
배타적 논리합 | exclusive disjunction | p $\displaystyle \oplus$ q | xor |
조건, 함의 | conditional, implication | p→q | 기호 p: 전건, q: 후건 |
동치, 쌍조건 | equivalent, biconditional | p↔q | p iff q |
// tmp from https://brunch.co.kr/@texto/62 "술어 논리 체계가 문장을 쓰는 법"
명제 논리 체계에 등장했던 다섯 가지 연결사는
술어 논리 체계에서도 그대로 used:
부정 연결사 | ~ |
연언 연결사 | & |
선언 연결사 | ∨ |
조건문 연결사 | → |
쌍조건문 연결사 | ⟺ |
//tmp fro Namu: 명제 논리 3. 명제논리 연결사
논리 연결사 | 논리적 기능 | 종류 | 일상적 표현 | |
¬ | 부정 | 부정문 | ~이 아니다 | not ~ |
∧ | 연언 | 연언문 | 그리고, 그러나, 그럼에도 불구하고 | and |
∨ | 선언 | 선언문 | 또는 | or |
→ | 단순함축 | 조건문 | 만일 A 이라면 B | if A then B |
↔ | 단순동치 | 쌍조건문 | ~일 경우 그리고 그 경우에만 | if and only if, iff |