Formal Proof

From GM-RKB
Jump to navigation Jump to search

A Formal Proof is a finite sequence of sentences (called well-formed formulas in the case of a formal language) each of which is an axiom or follows from the preceding sentences in the sequence by a rule of inference.



References

2013

  1. The Cambridge Dictionary of Philosophy, deduction