数学的論理の証明

質問

日常にあることを命題にあげ、それを数学的論理で証明してみて欲しいのですが？例えば強盗犯が自白することの証明．.ｅｔｃ

回答No.1

yanasawa

「しかられない」ならば「勉強しない」
の待遇は
「勉強する」ならば「しかられる」
でもこれはおかしい。

これは時間が関係しているからです。因と果を逆にするとおかしくなります。
日常のことの多くは時間が関係しています。推移律、三段論法を使って証明する以上、無理なことです。残念でした。