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: 1,323 • 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
Please read - Question by no2rbo
Where should we help? - Question by ghuriani
How do i deal with this - Question by no2rbo
Why? - Discussion by CandleCutter77
 
  1. Forums
  2. » Need help with a logic proof
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.06 seconds on 11/16/2024 at 12:35:23