- 642 名前：１３２人目の素数さん mailto:sage [2013/09/17(火) 22:10:24.31 ]
- >>635
時間が反転する理由は>>638が説明してくれていることに尽きている
時間を含む含まない以前に、元の命題とその対偶命題の真偽が一致することを正確に理解してないんでは？
まず 命題：A⇒B と 命題：¬A∨B が同値であることに注意する すると
「A⇒B」 ⇔ 「¬A∨B」 ⇔ 「¬¬B∨¬A」 ⇔ 「¬B⇒¬A」 となる
時刻ｔを含む命題A(t)、B(t)について 命題：A(a)⇒B(b) （a<b) が成り立っているとすると
「A(a)⇒B(b)」 ⇔ 「¬A(a)∨B(b)」 ⇔ 「¬¬B(b)∨¬A(a)」 ⇔ 「¬B(b)⇒¬A(a)」 となる
