About this document
Extended Formal Proof Techniques by ariel lapira is a document available to read on EtoBox.
This document discusses formal proofs of validity. It begins by defining formal proof as a sequence of statements where each statement is either a premise or follows from a preceding statement using a valid argument form. It then reviews truth-functional connectives like conjunction, disjunction, conditional, biconditional. Next, it lists 9 elementary valid argument forms that serve as rules of inference for formal proofs, such as modus ponens, modus tollens, hypothetical syllogism. It provides strategies f
- Author
- ariel lapira
- Language
- EN