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
|
|
|
