Sound and Fury

Signifying nothing

My favourite tautologies

leave a comment »

So today I was reading Artificial Intelligence and Scientific Method and Gillies mentions that (p \rightarrow q) \vee (q \rightarrow p) is a logical truth; a tautology in classical logic (but not in intuitionistic logic). I was interested by that and check that it is indeed the case by writing out the truth table. I didn’t bother to actually find a proof, but contented myself with the fact that the truth table + the fact that the propositional calculus is sound and complete is kind of a proof. Then I thought what are some other cool tautologies. Here are a couple I remembered.

  • \neg p \rightarrow (p \rightarrow q)
  • ( ( p \rightarrow q) \wedge (\neg p \rightarrow q ) ) \rightarrow q

Then I thought. Hmm. I’m a geek. But I’m still enamoured of this ability to put \LaTeX code in my wordpress posts so I thought I’d write about it…

Advertisements

Written by Seamus

March 7, 2008 at 3:20 pm

Posted in LaTeX, maths, philosophy

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: