2008-11-21から1日間の記事一覧
命題論理LPの公理系は次の3つが立てられていた。公理 1 A→(B→A) 2 (A→(B→C))→((A→B)→(A→C)) 3 (〜B→〜A)→(A→B) これに次の推論規則 mp AとA→Bが成立しているとき、Bの成立をいうことが出来る。 を使って命題を生…
命題論理LPの公理系は次の3つが立てられていた。公理 1 A→(B→A) 2 (A→(B→C))→((A→B)→(A→C)) 3 (〜B→〜A)→(A→B) これに次の推論規則 mp AとA→Bが成立しているとき、Bの成立をいうことが出来る。 を使って命題を生…