2008-08-14から1日間の記事一覧
形式論理学では、命題の真理値を用いてそれで数の計算に似たような論理の計算を考える。論理として正しいかどうかを、真理値を割り当てて、その値によって評価しようとするものだ。その命題が正しいとき、すなわち真であると判断されると真理値として1を与…
形式論理学では、命題の真理値を用いてそれで数の計算に似たような論理の計算を考える。論理として正しいかどうかを、真理値を割り当てて、その値によって評価しようとするものだ。その命題が正しいとき、すなわち真であると判断されると真理値として1を与…