La mémoire de mathématiques

数学めも by Müde

記号論理のページ@静岡理工科大学

静岡理工科大学のページが役立ちます。

http://www.sist.ac.jp/~kanakubo/research/reasoning.html

命題論理においては、真か偽かというall or nothingでしたが、それを拡張し、真・偽・分からないの3値ある三値論理や、[0,1]の実数をとるファジィ論理などあるのですね。