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,270 • 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

 
  1. Forums
  2. » Help solving this logic proof!
Copyright © 2021 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 05/09/2021 at 08:52:07