연결사,connective

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


부정 negation ¬pnot
논리곱 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: 명제 논리 3. 명제논리 연결사
논리 연결사 논리적 기능 종류 일상적 표현
부정 부정문 ~이 아니다 not ~
연언 연언문 그리고, 그러나, 그럼에도 불구하고 and
선언 선언문 또는 or
단순함축 조건문 만일 A 이라면 Bif 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의 적형식의 구성에서 마지막으로 사용된 논리적 연결사다.


}