SOLUTION: Construct proofs to show the following are valid: 1. ~E 2. F->(DvE) 3. ~D :. ~F ALSO 1. Z->(U*X) 2. ~[(U*W)] 3. W :. ~Z

Algebra.Com
Question 1005915: Construct proofs to show the following are valid:
1. ~E
2. F->(DvE)
3. ~D :. ~F

ALSO
1. Z->(U*X)
2. ~[(U*W)]
3. W :. ~Z
Answer by Edwin McCravy(20055)   (Show Source): You can put this solution on YOUR website!
Construct proofs to show the following are valid:
1. ~E
2. F->(DvE)
3. ~D                :. ~F

4. ~D*~E             3,1, Conjunction
5. ~(DvE)              4, DeMorgan
6. ~(DvE)->~F          2, Transposition
7. ~F                6,5, Modus ponens
 


ALSO

 1. Z->(U*X)
 2. ~[(U*W)]
 3. W                 :. ~Z

 4. ~Uv~W               2, DeMorgan
 5. ~Wv~U               4, commutativity
 6. ~~W                 3, double negation
 7. ~U                5,6, disjunctive syllogism
 8. ~Uv~X               7, addition
 9. ~(U*X)->~Z          1, transposition
10. (~Uv~X)->~Z         9, DeMorgan
11. ~Z               10,8, modus ponens

Edwin
RELATED QUESTIONS

Construct proofs to show that the following arguments are valid. 1.(AvG)>K 2.K>(B>F)... (answered by Edwin McCravy)
x=2,y=3,z=4,u=-1,v=2/3,w=5 (answered by jim_thompson5910)
It is known that the following is true. |x y z| |u v w| = 13 |1 2 3| Use properties (answered by richard1234)
Solve the following proof: 1. A⊃B 2. B⊃~A 3. (AvD)vE 4. (DvE)->F /... (answered by Edwin McCravy)
1. A > [B>(C*~D)] 2. (BvE)>(DvE) Therefore, 3. (A*B) > (C*E) Using conditional... (answered by jim_thompson5910)
Example: 1. A 2. A>B / B 3. B 1,2 MP ←You add this line 1. G > H 2. ~H /... (answered by ikleyn)
If U equals the Universal set which is equal to {1,2,3,4} and if X = {2,4}, Y = {2,3,4}... (answered by Fombitz)
use properties of determinants to find the value of each determinant if it is know that (answered by jim_thompson5910)
Consider the following simplex tableau. x y z u v w P Constants 0 1/2 0 1 −1/2 (answered by Edwin McCravy)