Difference between r1.6 and the current
@@ -1,4 +1,23 @@
AKA '''논리연결사 logical connective, 논리연산자'''(logical operator). [[VG:연산자,operator]]?
Sub:
[[명제연결사,propositional_connective]]
----
TBD sub pagename scheme ....
[[그리고,and]] - [[conjunction]]
[[또는,or]] - [[disjunction]]
inclusive_disjunction OR
0 0 0
0 1 1
1 0 1
1 1 1
exclusive_disjunction XOR
0 0 0
0 1 1
1 0 1
1 1 0 ? chk
?
AKA '''논리연결사 logical connective, 논리연산자'''(logical operator). ''그럼 [[VG:연산자,operator]]의 일종?''
'''''see also [[논리연결사,logical_connective]]. MERGE?'''''
@@ -20,12 +39,19 @@
//tmp fro [[https://namu.wiki/w/%EB%AA%85%EC%A0%9C%20%EB%85%BC%EB%A6%AC Namu: 명제 논리]] 3. 명제논리 연결사
||논리 연결사 ||논리적 기능 ||종류 ||일상적 표현 || ||
||¬ ||부정 ||부정문 ||~이 아니다 ||not ~ ||
||¬ ||부정 // [[부정,negation]] ||부정문 Ndict:부정문 ||~이 아니다 ||not ~ ||
||∧ ||연언 ||연언문 ||그리고, 그러나, 그럼에도 불구하고 ||and ||||∨ ||선언 ||선언문 ||또는 ||or ||
||→ ||단순함축 ||조건문 ||만일 A 이라면 B||if A then B ||
||→ ||단순함축 // [[함축,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)
{
@@ -43,5 +69,10 @@
http://www.aistudy.co.kr/logic/connective.htm
http://www.aistudy.co.kr/logic/implication.htm
----
Up: [[논리학,logic]]
http://www.aistudy.co.kr/logic/implication.htm
tmp
https://encyclopediaofmath.org/wiki/Propositional_connective
rel ...[[문장,sentence]]/[[명제,proposition]]에서, ([[텀,term]]=[[항,term]]들을) [[연결,connection]]하는 역할, hence the name?
Up: [[논리학,logic]]
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의 적형식의 구성에서 마지막으로 사용된 논리적 연결사다.}