open.conted.ox.ac.uk (beta)

Open Educational Resources

Handout 7: Propositional Logic IV

Document

PDF icon LOG_HO7.pdf

Testing validity with the syntactical method; natural deduction.

People: 
Peter Wyss
Date created: 
Thursday, February 7, 2013
License: 
Creative Commons Attribution-NonCommercial-ShareAlike
Attribution for this resource:
Handout 7: Propositional Logic IV, © Peter Wyss, licensed under CC BY-NC-SA.
Subjects: 
Philosophy
Keywords: 
Formal logic, Validity
Courses using this resource: