This preview shows pages 1–2. Sign up to view the full content.
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
This note was uploaded on 06/23/2011 for the course PHIL 110 taught by Professor ? during the Fall '06 term at South Carolina.
- Fall '06