Zeroth-order logic
Redirect to:
Propositional calculus