SOLUTION: Please help me solve this proof: ~C⇔A, (F^H)∨~C, ~(A∨B) /(therefore) F^~B. Thank you!
Algebra.Com
Question 361802: Please help me solve this proof: ~C⇔A, (F^H)∨~C, ~(A∨B) /(therefore) F^~B. Thank you!
Answer by solver91311(24713) (Show Source): You can put this solution on YOUR website!
Start with:
\ \Rightarrow\ \neg A \large{\wedge}\LARGE\ \neg B)
From which we can deduce both:
and
But since:
we know that:
And since:
\ \large{\vee}\LARGE\ \neg C)
we are certain
)
From which we can deduce
But we already demonstrated
Therefore
John
My calculator said it, I believe it, that settles it
RELATED QUESTIONS
Please help me solve this logic proof:
1. E→H
2. (E ∨ F) • (E ∨ G)
(answered by jim_thompson5910)
Can you please help me solve this proof? I am stuck at line six.
1. (A → E)... (answered by jim_thompson5910)
Please help me create this proof using the 18 rules of inference. I have been working on... (answered by jim_thompson5910)
Could you please help me? Im sick with a bug and cant think straight :/
A)
1. A ⊃ (answered by solver91311)
Hello I stuck on this question can you please help?
INSTRUCTIONS: Use natural deduction... (answered by Edwin McCravy)
I need to help on the following proofs
Proof 1
B ∧ F
¬(B ∧ G)... (answered by Edwin McCravy)
Prove This:
1. B∨~C
2. B→E
3. ~~C... (answered by jim_thompson5910)
Please help me with this proof! thank you in advance.
A -> (C \/ B)
~(D \/ C)
~(E \/ (answered by Edwin McCravy)
Please help me solve this proof!
Premises:
1. (A⊃B)&(C⊃D)
2.... (answered by Edwin McCravy)
