논리연결사,logical_connective

Difference between r1.16 and the current

@@ -6,6 +6,8 @@
----
Moved to [[연결사,connective]].
하지만 [[Date(2021-07-06T12:35:08)]]부터 여기도 내용 적기로 함.
 
([[Date(2024-02-24T04:18:33)]]) 저쪽에 통합하는게 나을 듯? 페이지명이 길어서... 굳이 자연어의 연결사들에 대한 내용을 내가 적을 필요는 없을 듯 한데.
----
[[Date(2023-01-09T16:41:27)]]
[[논리연산자,logical_operator]]와 완전히 같은 뜻인듯? chk



Moved to 연결사,connective.
하지만 2021-07-06부터 여기도 내용 적기로 함.

(2024-02-24) 저쪽에 통합하는게 나을 듯? 페이지명이 길어서... 굳이 자연어의 연결사들에 대한 내용을 내가 적을 필요는 없을 듯 한데.

2023-01-10
논리연산자,logical_operator와 완전히 같은 뜻인듯? chk

// 여기는 [https]Namu: 명제 논리 참조함.
항수 C Cb A
부정=negation 1 NOT ! ~ - P가 아니다
선언=논리합=disjunction 2 OR ||+ P또는 Q가 성립, 둘 다도 ok
배타적선언=배타논리합=exclusive_or 2 XOR ^ P또는 Q가 성립, 둘 중 하나만
연언=conjunction=논리곱 2 AND && & ·, ­× P이고 Q
조건문=conditional 2 if P then Q
쌍조건문=biconditional 2 오직 P인 경우에만 Q이다, iff

(맨 윗줄에 대해)
항수: 1이면 P, 2이면 P, Q를 가정
논: 논리 기호
C: C style? 기호
Cb: C bitwise operator 기호 (논리 기호는 아니지만 참고로)
A: 수식 유래 기호? .. arithmetical? (이 둘은 명칭 정확히 모르겠음)

disjunction에서, P와 Q를 선언지,disjunct라고 함. //(operator - operand 같은?)
conjunction에서, P와 Q는 연언지,conjunct.