TBD sub pagename scheme ....
[[그리고,and]] - [[conjunction]]
[[또는,or]] - [[disjunction]]
?


AKA '''논리연결사 logical connective, 논리연산자'''(logical operator). ''그럼 [[VG:연산자,operator]]의 일종?''

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

||부정       ||negation    ||￢p||not ||
||논리곱     ||conjunction ||p∧q ||and ||
||논리합     ||disjunction ||p∨q ||or ||
||배타적 논리합 ||exclusive disjunction ||p $\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 [[https://namu.wiki/w/%EB%AA%85%EC%A0%9C%20%EB%85%BC%EB%A6%AC Namu: 명제 논리]] 3. 명제논리 연결사
||논리 연결사 ||논리적 기능 ||종류 ||일상적 표현 || ||
||￢ ||부정 // [[부정,negation]] ||부정문 Ndict:부정문  ||~이 아니다 ||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)이다
 iff
○가 A의 적형식의 구성에서 마지막으로 사용된 논리적 연결사다.


}

= Ref =
Ref:
http://www.aistudy.co.kr/logic/connective.htm
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]]