불_논리,Boolean_logic

Difference between r1.10 and the current

@@ -16,13 +16,17 @@
[[진리표,truth_table]]
[[수리논리,mathematical_logic]]
[[불_식,Boolean_expression]]
논리연산
논리연산자
논리곱
논리합
[[논리연산,logical_operation]] [[논리연산자,logical_operator]]
논리곱 logical_conjunction or conjunction
논리합 [[논리합,logical_disjunction]] or disjunction
etc
[[명제논리,propositional_logic]]
[[명제논리,propositional_logic]] (≃ [[영차논리,zeroth-order_logic]] ≃ [[문장논리,sentential_logic]])
[[술어논리,predicate_logic]] (≃ [[일차논리,first-order_logic]])
[[이차논리,second-order_logic]]
[[고차논리,higher-order_logic]] (HOL)
[[WpKo:고차_논리]]
[[WpEn:Higher-order_logic]]
https://ncatlab.org/nlab/show/higher-order+logic

= Non-Boolean Logic =
Partial order and non-Boolean logic
@@ -39,5 +43,4 @@
[[WpKo:불_논리]]

Up: [[논리,logic]]


불_대수,Boolean_algebra와 어떤관계??
boolean logic과 boolean algebra의 차이??
difference between boolean logic and boolean algebra ? Ggl:difference between boolean logic and boolean algebra
foldoc: "A logic based on Boolean algebra."

boolean logic과 digital logic의 차이?
기반이론이 boolean logic이고
실제로 circuit_design, 논리게이트,logic_gate, 이런거 만드는데 응용되고 Karnaugh_map 나오고 그러면 digital logic 이런거??

명제논리,propositional_logic와?
상당히 비슷한 듯. 정확한 관계 study and tbw. Google:propositional.logic boolean.logic

[edit]

Non-Boolean Logic

[edit]

tmp bmks