It looks like you're new here. If you want to get involved, click one of these buttons!
Hi Guys,
I was trying to prove the following statement, please help to see if it is correct:
(A-->B)-->C
not (A-->B) or C
(A some/and B) or C
C->(A some/and B)
is there more step to go below this?
So all I can get to is that, if C fails, then some A are not B.
Comments
The solution seems about right ...