Reply
Tue 3 Mar, 2015 01:38 pm
This is the first problem that I haven't been able to figure out (it just keeps growing). For the purpose of this, = will represent the bicondtional, "if and only if"/triple bar, symbol. We just learned conditional and indirect proofs so there is the possibility that I am missing something.
Please help!
Premises:
1. A = (~B v (C & D))
2. ~(A = (D & F))
3. F v (C = G)
Conclusion:
/A -> (B -> G)