I am stuck in this question. Please help.

Attachment 22097

Printable View

- Aug 21st 2011, 12:16 AMMathsNewbie0811Determine whether he following logic argument is valid.
I am stuck in this question. Please help.

Attachment 22097 - Aug 21st 2011, 12:50 AMMATHNEMRe: Need help in solving this question
We have to deduce , which is equivalent to , from:

Hence, it's a valid argument. Hope this helps you. - Aug 21st 2011, 01:36 AMterrorsquidRe: Need help in solving this question
How do you get (9) from 8? Truth table gives F T F F which is something different.

- Aug 21st 2011, 01:53 AMAlso sprach ZarathustraRe: Need help in solving this question
- Aug 21st 2011, 02:03 AMterrorsquidRe: Need help in solving this question
- Aug 21st 2011, 02:42 AMterrorsquidRe: Need help in solving this question
- Aug 21st 2011, 11:43 AMMATHNEMRe: Need help in solving this question
We have correctly inferred that is true, but this implies that is true and so is .

Simplification - Wikipedia, the free encyclopedia

I'm sorry I couldn't find something else. - Aug 21st 2011, 11:47 AMPlatoRe: Need help in solving this question
A word about not and LaTeX.

[tex]\neg P[/tex] gives