トップページ⇒math

766コメント655KB

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

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

0534１３２人目の素数さん

2012/05/20(日) 23:48:22.90

>>532
証明図中に登場する論理式について、仮定と結論の部分論理式以外のものは登場しない
ということでした

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