2010-08-30から1日間の記事一覧

もうすぐPならばQ

公開羞恥プレイを兼ねた論理学講座は開講した途端に頓挫したわけではありません。まだ細々とやっています。前回、命題とは真偽が一つに決まるもの、言い換えれば入力に対して真(しん)か偽(ぎ)かのどちらかの出力を返してくれる関数だという話をしました…