0
   

Help solving this logic proof!

 
 
Reply Fri 29 Apr, 2016 12:30 pm
I have no idea how to solve this logic proof, please help!
(1)(I&E)>~F
(2)Fv(G&H)
(3)I=E /(conclusion) I>G


Any help would be greatly appreciated! (Key: "&"= and, ">"= if_then_, "~"= not, "v"= or, "="= if and only if
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 0 • Views: 1,609 • Replies: 2
No top replies

 
fresco
 
  1  
Reply Fri 29 Apr, 2016 01:04 pm
@kludewig,
method of BACKWARD FELL SWOOP

The only values which make the conclusion false, are I is true and G is false. Put those into the conjunction of the premises and show that that conjunction turns out to be false using those values. This would prove the argument valid since only a conjunction of false premises gives a false conclusion. Conversely if the conjunction of premises was true using those values for the conclusion to be false, the argument would be invalid.
0 Replies
 
fresco
 
  1  
Reply Fri 29 Apr, 2016 01:32 pm
@kludewig,
Note that if you do that, premise 2 will be false, making the conjunction of 1 & 2 & 3 false.
0 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. » Help solving this logic proof!
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.07 seconds on 11/16/2024 at 09:49:04