766コメント655KB

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

■ このスレッドは過去ログ倉庫に格納されています

0173１３２人目の素数さん

2012/04/14(土) 00:21:16.87

二重否定除去　￢￢A　→　A　も結合記号￢→のみで表せますよね？

■ このスレッドは過去ログ倉庫に格納されています