SOLUTION: 1. use the proof method (M9) to construct a formal proof to demonstrate that the following argument is valid:
~(T v U), S, R ≡ ~S /.: ~(U v R)
2. use the proof method (M9)
Question 1210239: 1. use the proof method (M9) to construct a formal proof to demonstrate that the following argument is valid:
~(T v U), S, R ≡ ~S /.: ~(U v R)
2. use the proof method (M9) to construct a formal proof to demonstrate that the following argument is valid:
S v (~R • T), R ⊃ ~S /.: ~R
3. use the proof method (M9) to construct a formal proof to demonstrate that the following argument is valid:
S v (T ⊃ R), S ⊃ T, ~(T ⊃ R) /.: T
First, copy the argument above and paste it into the text box. Second, using the spacebar, set up your proof into two columns. Third, type or copy and paste symbols as required to complete your proof. For an assumed premise, use '→' before the line number. For the vertical line of a subproof, use '|' before the line number. For the horizontal line of a subproof, simply use the underline edit button (click on the "Show more buttons" button to see it). You can use the spacebar to align everything near perfectly. Don't worry about the double space between lines