PHIL 12 Ohio State University How to Create a Proof in Msword Tutorial Questions

PHIL 12 Ohio State University How to Create a Proof in Msword Tutorial Questions

How to Create a Proof in Msword Tutorial Questions

  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.

( ∨ )→ , → , ⊢

 

 

  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.

∧( ∧( ∧¬ )), →(( → )→ )⊢

 

  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.

⊢( ∧ )→( → )

 

  1. 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)?

 

Do you need a similar assignment written for you from scratch? We have qualified writers to help you. You can rest assured of an A+ quality paper that is plagiarism free. Order now for a FREE first Assignment! Use Discount Code "FREE" for a 100% Discount!

NB: We do not resell papers. Upon ordering, we write an original paper exclusively for you.

Order New Solution