2021-06-14から1日間の記事一覧
―「今日(令和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(…
―「今日(令和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(…