Tag Archives: 選言

KAOS (82) 文を形式化する基礎としての論理:命題論理 (4.4.1-6)

次は選言がある場合の推論規則である. これは,見るからに興味深い.前提が真であれば,結論が真であることは見て取れる(もちろん前提は,Ψでも同じである).従って妥当な推論であるが,違和感が残る. いま,Φ「雨が降っている」 […]