1001コメント297KB

◆ わからない問題はここに書いてね２０５ ◆

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

0719１３２人目の素数さん

2006/12/01(金) 18:53:44

├（p→q）∨（q→r）を LEMで導く。
前に聞いたけどよくわかりませんでした。詳しく教えてください

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

◆ わからない問題はここに書いてね ２０５ ◆