ノート:恒真式

• 命題論理の恒真の説明しかしてないので、述語論理の場合の説明を足したいところですね。 --しんのすけ代表（会話） 2020年1月30日 (木) 05:28 (UTC)