A deduction from a set is a sequence of well-formed formulas with each element being justified as a tautology or the result of a rule of inference. A deduction from the empty set is a proof.
A deduction from a set is a sequence of well-formed formulas with each element being justified as a tautology or the result of a rule of inference. A deduction from the empty set is a proof.