SOLUTION: do a proof for the following arguments:
1. XvY
2. ~F
3. D > X
4. ~Y&F /~D&F (conclusion)
1.x > ~D
2. XvC
3. C>F
4. KvP
5. ~D>B / (BvF)vD (conclusion)
>=
Algebra.Com
Question 808810: do a proof for the following arguments:
1. XvY
2. ~F
3. D > X
4. ~Y&F /~D&F (conclusion)
1.x > ~D
2. XvC
3. C>F
4. KvP
5. ~D>B / (BvF)vD (conclusion)
>= horshoe
v= wedge
~tilde
Answer by solver91311(24713) (Show Source): You can put this solution on YOUR website!
In the first one, it is not possible to conclude Not D And F because you are given that Not F is true, hence F is false, hence F And anything else is False.
For the second one, assume Not F, then from C => F, you get Not C by modus tollens. Not C together with X or C gives you X. X => Not D, and then Not D => B. B true makes B or F or D true. Assume Not D, then Not D => B, and B or F or D is true. Finally, assume Not B. Not B together with Not D => B gives you D by modus tollens, and D means B or F or D is true
John
Egw to Beta kai to Sigma
My calculator said it, I believe it, that settles it
RELATED QUESTIONS
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)
1. A -> ~(B v C)
2. ~D -> (~A -> ~E)
3. ~(~E v F)
4. ~F -> (A -> B) /D
I don't... (answered by Edwin McCravy)
I am having trouble solving the following propositional logic proofs.
1. Conclusion:... (answered by jim_thompson5910)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
Solve the following proof: 1. A -> B
2. B -> ~A
3. (A v D) v E
4. (D v E) -> F (answered by math_helper)
can i have help solving this proof please?
Construct a regular proof to derive the... (answered by jim_thompson5910)
Write a formal proof of validity for the given arguments
A)
1. (R>S)
2. V v~S
3.... (answered by jim_thompson5910)
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by solver91311)
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by Edwin McCravy)
