About this document
Formal Proofs in Natural Deduction by andrea is a document available to read on EtoBox.
The document discusses the rules of conjunction elimination and conjunction introduction in the formal deductive system F. Conjunction elimination allows asserting any conjunct of a conjunctive sentence that has been derived. Conjunction introduction allows asserting a conjunction if each constituent conjunct has been established. The program Fitch implements these rules, allowing proofs to be constructed more easily than by hand. Fitch
- Author
- andrea
- Language
- EN