TBD sub pagename scheme ....
그리고,and - conjunction
또는,or - disjunction
그리고,and - conjunction
또는,or - disjunction
inclusive_disjunction OR
?0 0 0
0 1 1
1 0 1
1 1 1
exclusive_disjunction XOR0 1 1
1 0 1
1 1 1
0 0 0
0 1 1
1 0 1
1 1 0 ? chk
0 1 1
1 0 1
1 1 0 ? chk
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. 명제논리 연결사
논리 연결사 | 논리적 기능 | 종류 | 일상적 표현 | |
¬ | 부정 // 부정,negation | 부정문 부정문 | ~이 아니다 | not ~ |
∧ | 연언 | 연언문 | 그리고, 그러나, 그럼에도 불구하고 | and |
∨ | 선언 | 선언문 | 또는 | or |
→ | 단순함축 // 함축,implication앞에 단순이 붙으면 정확히? | 조건문 | 만일 A 이라면 B | if A then B |
↔ | 단순동치 | 쌍조건문 | ~일 경우 그리고 그 경우에만 | if and only if, iff |
명칭 | 기호 | 읽는 법 |
부정 | ~p | not p |
논리곱 | p∧q | p and q |
논리합 | p∨q | p or q |
조건 | p→q | if p, then q |
쌍조건 | p↔q | p if and only if q |
주연결사 ¶
Sub: 주 연결사(main connective)
{
Def.
표현 ○를 포함하는 임의의 적형식,wff A에 대해,
○가 A의 주 연결사(main connective)이다
{
Def.
표현 ○를 포함하는 임의의 적형식,wff A에 대해,
○가 A의 주 연결사(main connective)이다
iff
○가 A의 적형식의 구성에서 마지막으로 사용된 논리적 연결사다.}