Derivation rules
1. Using the table and symbol functions in MSWORD, solve the following proof, making sure to number and justify each line of the proof (including listing premises). If you are unsure about how to do this, please consult the “How to Create a Proof in MSWORD Tutorial.” Once you have completed the proof, upload the file as a PDF.
(𝑀∨𝑇)→𝑄,𝑄→𝐿,𝑇⊢𝐿
2. Using the table and symbol functions in MSWORD, solve the following proof, making sure to number and justify each line of the proof (including listing premises). If you are unsure about how to do this, please consult the “How to Create a Proof in MSWORD Tutorial.” Once you have completed the proof, upload the file as a .pdf.
𝑃∧(𝑆∧(𝑅∧¬𝑃)),𝑅→((𝑀→𝑇)→𝑊)⊢𝑊
3. Using the table and symbol functions in MSWORD, solve the following proof, making sure to number and justify each line of the proof (including listing premises). If you are unsure about how to do this, please consult the “How to Create a Proof in MSWORD Tutorial.” Once you have completed the proof, upload the file as a PDF.
⊢(𝑆∧𝑇)→(𝑀→𝑇)
4. Answer the following question with one of the following abbreviations for the PL derivation rules: ^E, ^I, ->E, ->I, ~I, ~E, vI, vE, <->I, <->E, R, IMP, DEM, HS, DN. (NOTE: Type the abbreviation exactly as it appears (with no spaces) OR copy-and-paste it from the question). What PL derivation rule that allows you to derive 𝑃∨(𝑆→¬¬𝑀)P∨(S→¬¬M) from 𝑃∨(𝑆→𝑀)P∨(S→M)?
