◆ わからない問題はここに書いてね 218 ◆
■ このスレッドは過去ログ倉庫に格納されています
0256132人目の素数さん
2007/05/29(火) 22:43:23日本語の解答でもいいらしいので誰かおしえてくれまいか。
(1)Let "r" be thr rank function
(a)Show that r(φ)≦number of occurrences of connectives of φ.
(b)Give examples of φ such that < or = holds in (a).
(c)Show that r(φ) < r(ψ) if φ is a proper subformula of ψ.
Hint : For (a) and (c) , use induction
(2) Using natural deduction show that
(a)├(φ→ψ)→{(φ→(ψ→σ))→(φ→σ)}
(b)├(φ∧¬(φ∧¬ψ))→ψ
Note. You are asked to give a purely syntactical proof. This means that you are Not allowed to give
a semantival argument ( using for examle a truth table) and then appeal to the completeness theorem.
■ このスレッドは過去ログ倉庫に格納されています