0

# Help solving this logic proof!

Fri 29 Apr, 2016 12:30 pm
(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
Type: Question • Score: 0 • Views: 1,270 • Replies: 2
No top replies

fresco

1
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
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
I need help or advice... something... - Discussion by DcMama
CPS Civil Rights Violations? - Question by CPSLink
help me in a job - Question by Gulia

1. Forums
2. » Help solving this logic proof!