P ∨ Q, ¬P Q

[Maureen K Clifford]

you think?????

If I am the axe murderer, then I used an axe.
If I used a chainsaw to cut up and hack
I would be a chainsaw murderer or worse
I could kill off my victims with my poison verse.

I cannot use an axe. Therefore logically I am not the axe murderer.

[Stephen Whiteside]

Brain fever,
modus tollens.
Hayfever,
modus pollens.

[manfredvijars]

... the equivelant in first-order predicate logic:

\forall x.~P(x) \to Q(x)
\exists x.~\neg Q(x)
\therefore \exists x.~\neg P(x)

[Dave Smith]

Oh Right!

[Zondrae]

you've lost me.

[Bob Pacey]

Today I will either play golf

Or I will mow the yard.

I will not play golf

Therefore I will mow the yard.

Robert

[Kym]

Uh huh ...

All I understood in the above, is that someone is having ice cream and it's not me!

[Glenny Palmer]

...... ............

Nothing is heavier than an elephant.
A feather is heavier than nothing.
Therefore...a feather is heavier than an elephant.........

[Kym]

Ooohhhh, good one Glenny!!!!!

Gold star for you m'lady.

[Maureen K Clifford]

Make that two gold stars - that is very good Glenny