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,264 • 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
How do i deal with this - Question by no2rbo
Why? - Discussion by CandleCutter77
Micro-economics exercise (I need help please) - Question by economicsforever
Helpful - Question by Yalow
What does she means with that? - Question by someonerandom
 
  1. Forums
  2. » Need help with a logic proof
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 04/24/2024 at 05:59:57