「命題論理」の変更履歴

ナビゲーションに移動 検索に移動

差分の選択: 比較したい版のラジオボタンを選択し、Enterキーを押すか、下部のボタンを押します。
凡例: (最新)＝最新版との比較、(前)＝直前の版との比較、細＝細部の編集

2024年2月26日 (月)

  • 最新前 15:492024年2月26日 (月) 15:49 imported>Merliborn 21,721バイト +21,721 →推論規則: さらに説明文を簡潔に。導入ー消去則の組とMP（⇒の除去則と考えられる）はともかく、二重否定除去をして定義とはあまり言わないように思います。
「https://ja.wiki.beta.math.wmflabs.org/wiki/命題論理」から取得