2011-06-17から1日間の記事一覧
今回は,CAD は一回お休みして,いきなり始まった「 maxima で QE 」シリーズの1をお送りします. 以下では,∀x P(x) や ∃x P(x) (x∈R^N) のような量化子の種類が 1 で,しかも,自由変数を含まない論理式(閉論理式)を扱います. 閉論理式の真偽を判定す…
今回は,CAD は一回お休みして,いきなり始まった「 maxima で QE 」シリーズの1をお送りします. 以下では,∀x P(x) や ∃x P(x) (x∈R^N) のような量化子の種類が 1 で,しかも,自由変数を含まない論理式(閉論理式)を扱います. 閉論理式の真偽を判定す…