university / Logic / Logical System / First Order Predicate Logic / First-Order Natural Deduction First-Order Natural Deduction 4 items First-Order Natural Deduction First-Order Natural Deduction in Sequent Formulation First-Order Natural Deduction with Equality First-Order Predicate Logic with Equality