日記の練習です。
x.com今週は論理学、全然ダメだったので、今日は論理学をやりました。
— twwp™ (@taizooo) 2024年6月15日
x.comやっている『記号論理入門』は放って置いて、ド・モルガンの法則を解いてました(自然演繹の導入則と除去則だけで)
— twwp™ (@taizooo) 2024年6月15日
x.comド・モルガンの法則「連言の否定⇒否定の選言」が証明出来(たっぽく)て、なんか急に理解が進んだ(気がする) pic.twitter.com/RSMftaVUn1
— twwp™ (@taizooo) 2024年6月15日
x.com最後の2行、間違ってたので直した。二重否定除去則だった pic.twitter.com/si1EVrDwkk
— twwp™ (@taizooo) 2024年6月16日
