0

# Need help with a logic proof

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.

Premises:
1. A = (~B v (C & D))
2. ~(A = (D & F))
3. F v (C = G)

Conclusion:
/A -> (B -> G)
• Topic Stats
• Top Replies
Type: Question • Score: 0 • Views: 984 • Replies: 0
No top replies

### Related Topics

Secrets of the New A2K - Discussion by jespah
Malformed Topics! - Discussion by jespah
Why do guys with girlfriends look at me? - Question by jibberjabber
Cycloptichorn is getting married - Discussion by Cycloptichorn
How you can help us with the new site - Discussion by Craven de Kere
Am I bisexual? - Question by Zenny0
Should I move out? - Question by cinnamxn
What's wrong with my appearance ? - Question by kuzmenkoss90

1. Forums
2. » Need help with a logic proof