Hi, I am very new to logic and would like to know the solutions for these problems
1. p -> (q -> p)
It seems that I should assume that q is true but not too sure what to do..
since this simple problem cannot be solved:
2. ((p v q) -> q)
( p -> (p /\ q) )
I want to know the answer for this too...
Thank you very much sir.
I want to answer to be in fitch style.