|Page 326 of 800||Search internet|
Recall that the most common lines in proofs are ones which argue in favor of a conclusion. The constructs
line L : A >> C ; N line L : A >> C ; line L : A >> C qed
use the argumentation A to prove the conclusion C. As an example, the constructs are used for expressing Line L02-L06 of the proof of Lemma 1.8 in Mendelson: 'Introduction to mathematical logic':
We use the word argumentation in place of argument to avoid confusion with arguments of a function.
Lemma , , , and so on all refer to Lemma 1.8 in Mendelson. That is a technicality. The proofs in the present notes are all checked by Logiweb. I have given , , and so on different names to make sure they are all checked.
|Page 326 of 800||Search logiweb.eu|