SOLUTION: I don't know how to solve this two logic proofs, please help!
(A→B)→A ├ A
and
├ (A→B) v (A→ ¬B)
Algebra.Com
Question 18663: I don't know how to solve this two logic proofs, please help!
(A→B)→A ├ A
and
├ (A→B) v (A→ ¬B)
Answer by khwang(438) (Show Source): You can put this solution on YOUR website!
(A→B)→A ├ A
and
├ (A→B) v (A→ ¬B)
Since not everybody are siiting in the same class and using the same
book as you,you should clarify the meaning of your notations and
repost here.
Kenny
RELATED QUESTIONS
What are the proofs?
(A → B) & (A → C) ├ A→ (B & C) (answered by Edwin McCravy)
Are these the correct steps to construct formal proof for the following valid... (answered by Edwin McCravy)
I AM STUCK NOW.
12. (A → B) & (A → C) ├ A→ (B & C)
1) (A... (answered by jim_thompson5910)
Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)
How do I solve ~Q → (L → F), Q → ~A, F → B, L, therefore, ~A v B... (answered by jim_thompson5910)
Construct Conditional Proofs
1. (A v B) → (C • D) / A → C
(answered by jim_thompson5910)
I need to help on the following proofs
Proof 1
B ∧ F
¬(B ∧ G)... (answered by Edwin McCravy)
I need help with proofs. Thank you!
D →(B→C), B & −C ├ −D (answered by jim_thompson5910)
how do you construct a proof for the following arguments? Help on homework
s V p
p... (answered by solver91311)