Difference between r1.8 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,10 +39,10 @@

//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 ||

|| 명칭 || 기호 ||읽는 법 ||

@@ -53,5 +72,7 @@

tmp
https://encyclopediaofmath.org/wiki/Propositional_connective

rel ...[[문장,sentence]]/[[명제,proposition]]에서, ([[텀,term]]=[[항,term]]들을) [[연결,connection]]하는 역할, hence the name?

----
Up: [[논리학,logic]]

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). 그럼 연산자,operator의 일종?

see also 논리연결사,logical_connective. MERGE?

// 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