論理式が恒真式あるいは矛盾であるかどうかを判定するためのメソッドは、次のように実装できます。いうライブラリとして公開しています。インストールできます。ライブラリを使ってみるさて、このライブラリを利用すると、命題論理に関する定理を証明できるようになります。実際にいくつかやってみましょう。次のようなコードを記述します。恒真式であるということは、その論理式がつねに成り立つということです。次回は、このライブラリを利用してもう少し高度な問題を解いてみます。使用に同意したとみなされます。