TPPmark-11th.docx

第11回TPP (Theorem Proving amd Provers) 研究集会 TPPmark11 命題論理式の標準形を定義し、それがいわゆる正規形とよぶに十分な要求を満たしていることを証明するのが今回の問題です。 問題 命題論理式の全体が作る集合(あるいは型)を定義してください。 二つの命題論理式が同値である、という関係を定義してください…