## 8.5.1 Argumentation proof lines

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 |

Copyright © 2010
Klaus Grue,
GRD-2010-01-05