1001コメント367KB

高校生のための数学の質問スレPART336

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

0660１３２人目の素数さん

2012/07/29(日) 17:09:12.59

そういえば「P→Qかつ￢Q」からPを導くのは別にモーダストレンスという名前がついていた
まあ、どちらにせよ(1)も(3)も三段論法でないことは確か

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