論理学の話を簡単にするスレ

[0053 考える名無しさん 2021/07/15(木) 15:40:30.34 0]

恒真式
(P→Q)∧(R→S)
=(P→S)∨(R→Q)
の良い解釈ってないかな

結論が入れ替わって∧をフリップする、と覚えやすいのはいいんだが
口語でそのまま述べても変数4つが独立なので助けにならん…