A. Directions.​ Prove the following argument to be valid using the method of Natural Deduction. Show your proofs clearly. Note that ‘/’ is used as the conclusion indicator. You may use any of the rules outlined in sections 7.1-7.3 of the Hurley book. Do not use Conditional Proof and do not use Indirect Proof. ​ Translations: “&” for all conjunctions (not the dot); “->” for all conditionals (not the horseshoe); “” for all biconditionals (not the 3 lines); “~” for all negations; “v” for all disjunctions. We will use the following groupers: ‘( )” parentheses, “[ ]” brackets, “{ }” braces, and if needed “< >” angle brackets. Use parentheses first, then brackets, then braces… A.2. 1. (O v S) 2. ~(B & O) 3. ~(S & B) / ~(B & P)
Purchase answer to see full attachment