formal proof
/F AO1 R M AH0 L P R UW0 F/N
- 1
In logic and mathematics, a formal proof or derivation is a finite sequence of sentences (known as well-formed formulas when relating to formal language), each of which is an axiom, an assumption, or follows from the preceding sentences in the sequence, according to the rule of inference.
Translate “formal proof” into another language
Choose a language below to open the translator with English selected as the source language.