1001コメント291KB

分からない問題はここに書いてね２６６

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

0554１３２人目の素数さん

2006/11/29(水) 01:47:34

論理学の問題です。
├（p→q）∨（q→r）を LEMで導く

教えてください

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