日課：論理

今日は『論理学をつくる』第５章「論理学の対象言語を拡張する」。
述語論理への旅、ステップ1/3。

■メモ

• 命題関数は個体の集合から命題の集合への関数

■リンク

• LaTeX に含まれる記号一覧[pdf] The Not So Short Introduction to LATEX2
• http://www.maths.tcd.ie/~dwilkins/LaTeXPrimer/MathSymb.html（画像ファイル！コピペできない！！）
  • tex記法、mimeTexの書き方、記法(数式表示) - 吉野情報技研")
  • LaTeXコマンドシート一覧：http://www002.upp.so-net.ne.jp/latex/
  • wikimedia:ヘルプ:数式の書き方

せっかくなのでド・モルガン則を書いてみる。

　　（\forall x \neg Px \Leftrightarrow \neg \exists xPx）
　　（\neg \forall xPx \Leftrightarrow \exists x \neg Px）

「Turnstile」は無いのかな？

画像のURIはこんなことになってるんだね：http://d.hatena.ne.jp/cgi-bin/mimetex.cgi?\forall~x~\neg~Px~\Leftrightarrow~\neg~\exists~xPx