CSSE 413: Day 19
Outline
Inference
Reasoning
Rules of inference
Logic
Formalization
Syntax
and
semantics
Proofs
Proof systems
Knowledge representation
Materials
Slides
Narration of slides
Narration of proof
The software I used to give the proof is called "Fitch". It comes with the following, excellent textbook on logic
Language, Proof and Logic
by Barker-Plummer, Barwise and Etchemendy