だるろぐ

明日できることは、今日しない。

2012-12-25から1日間の記事一覧

論理演算子

ちなみに、 や は特定のできごとや主張を表しており、命題変数と呼ばれる。論理演算子は複数の命題変数を接続し、論理式を作る。論理演算子の基本は以下の4つで、これに矛盾()を加えた5つに命題変数を組み合わせたものをとくに命題論理と呼ぶ。 論理積:p …