I am stuck in this question. Please help.
Last edited by mr fantastic; August 21st 2011 at 01:30 PM. Reason: Re-titled.
Follow Math Help Forum on Facebook and Google+
We have to deduce , which is equivalent to , from: Hence, it's a valid argument. Hope this helps you.
Last edited by MATHNEM; August 21st 2011 at 01:02 PM. Reason: Corrected negation symbol
How do you get (9) from 8? Truth table gives F T F F which is something different.
Originally Posted by terrorsquid How do you get (9) from 8? Truth table gives F T F F which is something different. and, Edit: Proof: true only when and are both true. Therefor, if true at particular reference, so are and are true in that particular reference. And we can write, and
Last edited by Also sprach Zarathustra; August 21st 2011 at 03:15 AM.
Originally Posted by Also sprach Zarathustra and, Is there somewhere I can read more about that? is it a law of logic? I don't understand.
Originally Posted by Also sprach Zarathustra Proof: true only when and are both true. Therefor, if true at particular reference, so are and are true in that particular reference. And we can write, and How do we know that r is true and that s is false though? such that Not following sry :S
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.
A word about not and LaTeX. [tex]\neg P[/tex] gives
Last edited by mr fantastic; August 21st 2011 at 01:32 PM. Reason: Fixed [tex] and [noparse] tags.
View Tag Cloud