Classical first-order logic
= Classical first-order logic
<Classical first-order logic> has the quantifier and <logical equality> rules of <natural deduction> together with unrestricted <double-negation elimination>, or equivalently the <law of excluded middle>. It is interpreted in ordinary two-valued <first-order structures>.