논리연산자,logical_operator in RRWiki

Difference between r1.2 and the current

@@ -2,16 +2,44 @@

[[논리연결사,logical_connective]]와 완전히 같은 뜻인듯?

논리([[논리학,logic]])쪽에선 그럼 [[연산자,operator]]와 [[연결사,connective]]가 완전 동일?

[[논리연결사,logical_connective]]

AKA Boolean_operator ?

연산의 [[정의역,domain]]은 Boolean_domain ? { F, T } ?

연산의 [[정의역,domain]]은 [[Boolean_domain]] ? { F, T } ?

table
||그리고 ||AND ||∧ ||논리곱 ||logical_product ||logical_conjunction ||
||또는 ||OR ||∨ ||논리합 ||logical_sum ||logical_disjunction ||
|| ||NOT ||￢ ||논리부정 ||logical_negation [[부정,negation]] || ||

[[함의,implication]]

[[그리고,and]] [[또는,or]] [[아니오,not]] page mk? 이상한데.

[[Date(2023-06-29T01:46:28)]]

|| ||logical- ,logic ||set, set theory ||

||AND ||논리곱,logical_conjunction ... [[WpKo:논리곱]] [[WpEn:Logical_conjunction]] ||교집합,set_intersection or 교집합,intersection ... [[WpKo:교집합]] [[WpEn:Intersection_(set_theory)]] ||

||OR ||논리합,logical_disjunction ... [[WpEn:Disjunction_(logical_connective)]] ||합집합,set_union or 합집합,union ... [[WpKo:합집합]] [[WpEn:Union_(set_theory)]] ||

||NOT ||[[부정,negation]] ||여집합 complement or set_complement or set_complementation ... [[WpKo:여집합]] [[WpEn:Complement_(set_theory)]] ||

||NOR ||부정논리합 ... [[WpKo:부정논리합]] [[WpEn:Logical_NOR]] || ||

||NAND ||부정논리곱 ... [[WpKo:부정논리곱]] [[WpEn:Sheffer_stroke]] || ||

||XOR || || ||

NOTSURE, CHK

그리고 해당하는 gates - [[논리게이트,logic_gate]](curr. [[논리게이트logic_gate]]) - 위 순서대로 하지 않았음, 나중에 정렬.

[[WpKo:OR_게이트]] [[WpEn:OR_gate]] 0111

[[WpKo:NAND_게이트]] [[WpEn:NAND_gate]] 1110

[[WpKo:XNOR_게이트]] [[WpEn:XNOR_gate]] 1001

[[WpKo:XOR_게이트]] [[WpEn:XOR_gate]] 0110

[[WpKo:NOT_게이트]] [[WpEn:Inverter_(logic_gate)]]

[[WpKo:NOR_게이트]] [[WpEn:NOR_gate]] 1000

[[WpKo:AND_게이트]] [[WpEn:AND_gate]] 0001

(no wpko) [[WpEn:IMPLY_gate]] 1101

(no wpko) [[WpEn:NIMPLY_gate]] 0010

NAND_logic ... WpEn:NAND_logic

NOR_logic ... WpEn:NOR_logic

conjunction의 [[피연산자,operand]]는 conjunct.[* WpEn:Logical_conjunction "An operand of a conjunction is a conjunct."] QQQ 번역은? Naver:conjunct

MKLINK
[[참,true]]

@@ -21,5 +49,7 @@

[[진리값,truth_value]] - [[VG:진리값,truth_value]]
[[명제,proposition]]
[[진리집합]]

de_Morgan_law

Venn_diagram

Up: [[연산자,operator]]

논리연산,logical_operation을 나타내는 연산자,operator?
논리연결사,logical_connective와 완전히 같은 뜻인듯?

논리(논리학,logic)쪽에선 그럼 연산자,operator와 연결사,connective가 완전 동일?

논리연결사,logical_connective

AKA Boolean_operator ?

연산의 정의역,domain은 Boolean_domain ? { F, T } ?

table

그리고	AND	∧	논리곱	logical_product	logical_conjunction
또는	OR	∨	논리합	logical_sum	logical_disjunction
	NOT	￢	논리부정	logical_negation 부정,negation

함의,implication

그리고,and 또는,or 아니오,not page mk? 이상한데.

2023-06-29

	logical- ,logic	set, set theory
AND	논리곱,logical_conjunction ... 논리곱 Logical_conjunction	교집합,set_intersection or 교집합,intersection ... 교집합 Intersection_(set_theory)
OR	논리합,logical_disjunction ... Disjunction_(logical_connective)	합집합,set_union or 합집합,union ... 합집합 Union_(set_theory)
NOT	부정,negation	여집합 complement or set_complement or set_complementation ... 여집합 Complement_(set_theory)
NOR	부정논리합 ... 부정논리합 Logical_NOR
NAND	부정논리곱 ... 부정논리곱 Sheffer_stroke
XOR