1001コメント257KB

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

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

0070１３２人目の素数さん

2006/06/16(金) 00:05:18

すいません。第一階述語論理でなぜＡ→Ｂ|-Ａ→ＣのときＢ|-Ｃが成り立つのかわかりません。
よろしくお願いします

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