mklink
논리회로,logic_gate
진리표,truth_table
수리논리,mathematical_logic
불_식,Boolean_expression
논리연산,logical_operation 논리연산자,logical_operator
명제논리,propositional_logic (≃
영차논리,zeroth-order_logic ≃
문장논리,sentential_logic)
술어논리,predicate_logic (≃
일차논리,first-order_logic)
이차논리,second-order_logic
고차논리,higher-order_logic (HOL)