위키 홈 Edit Propositional logic (in Logic) 명제 논리 또는 “zeroth-order logic” See also First-order logic plato.stanford.edu/entries/logic-propositional/