数学基礎論・数理論理学　その19

数学基礎論・数理論理 ..

106:１３２人目の素数さん
24/03/28 09:18:56.66 108wWvy/.net
背理法的には、A∧￢A⇒¬A だよな❓
ていうか、¬A⇔B なら、
¬B∧B⇒¬B となり、Bに¬Pを代入すると
P∧¬P ⇒ P となり、これは、背理法を否定するな🤔
変なの。背理法ってヘンです。