2021-06-14から1日間の記事一覧

(925)『「焼酎割(焼酎&お湯)」を飲むと「気分が良く」なる。』の「命題論理」。

―「今日(令和03年06月14日)の記事」を書き直します。―(01)(ⅰ)1 (1) (P&Q)⇔R A1 (2){(P&Q)→R}&{R→(P&Q)} 1Df.⇔1 (3){(P&Q)→R} 2&E1 (4) R→(P&Q) 2&E 5(5) ~P∨~Q A 5(…