19/10/11 21:28:43.03 yc/OWJGy.net
いきなり、突然ですが、
p→q と p∧q は等価と仮定する★
で
p∧qとq∧pは、等価 ∵神が決めた
q∧p と q→pは等価 ∵★より自明
∴まっそっすると、
p→qが真ならば、q→pも必ずや真
おっと、そんなはずはない。矛盾だろ
だから背理法で★を否定
p→q と p∧q は等価でない。
でも、ナイーブに、よく吟味
p→qとp∧q は等価でない可能性あり
だな。 怪しいけど。
以上 ナンセンスの極みのお話でした
19/10/11 21:28:43.03 yc/OWJGy.net
いきなり、突然ですが、
p→q と p∧q は等価と仮定する★
で
p∧qとq∧pは、等価 ∵神が決めた
q∧p と q→pは等価 ∵★より自明
∴まっそっすると、
p→qが真ならば、q→pも必ずや真
おっと、そんなはずはない。矛盾だろ
だから背理法で★を否定
p→q と p∧q は等価でない。
でも、ナイーブに、よく吟味
p→qとp∧q は等価でない可能性あり
だな。 怪しいけど。
以上 ナンセンスの極みのお話でした