university / Logic / Logical System / First Order Predicate Logic First Order Predicate Logic 15 items First-Order Natural Deduction/ First-Order Unification/ Alphabetical Variant Bound Variable Closed Formula Existential Quantifier First-Order Predicate Logic First-Order Signature Free Variable Free Variable Tableau Calculus Proposition Sentence Standard Tableau Calculus Terms Universal Quantifier