Logic (audio W/ .pdfs)

Lecture 06: Audio

Informações:

Sinopsis

An introduction to the proof method in sentential logic, with examples using five inference rules (MP, MT, DS, HS, simp).