This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: (There will be one section of definitions where I will ask you to define some or all of these terms.) Proofs: Be able to construct syntactic proofs demonstrating that the given sequents or theorems are valid, using all the rules we have learned in PL: -Premise Introduction-• I/•E-MP, MT, CP/A-↔I/↔E-DNI/DNE-vI/vE-RAA (You will have a couple proofs in which no assumptions are necessary – ie-you can derive the conclusion directly from the premises – and then a few medium difficulty proofs that will require one or more assumptions, and then a couple difficult proofs, combining assumption strategies, nesting assumptions, etc.)...
View Full Document
- Fall '06
- Logic, valid argument form, invalid argument form, couple difficult proofs, medium difficulty proofs