5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

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

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

146 :132人目の素数さん:2006/11/19(日) 15:18:49
自然演繹法の推論規則を用いて、以下の定理を証明せよ。
(a) (P⊃(Q⊃R))⊃((P⊃Q)⊃(P⊃R))
(b) P⊃Q├¬Q⊃¬P
(c) ├∃y∀xP(x,y)⊃∀x∃yP(x,y)
(d) ├¬∃xA(x)⊃∀x¬A(x)



234 KB
★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)