0
   

Need help with a logic proof

 
 
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)
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 0 • Views: 925 • Replies: 0
No top replies

 
 

Related Topics

 
  1. Forums
  2. » Need help with a logic proof
Copyright © 2019 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 10/18/2019 at 10:30:17