◆ わからない問題はここに書いてね 189 ◆
■ このスレッドは過去ログ倉庫に格納されています
0752132人目の素数さん
2006/04/15(土) 20:09:40(a)任意の構造Aと任意の付値ρに対して,A,ρ|=φならばA,ρ|=Ψである
(b)|=φならば|=Ψである
という問題で,
(a)⇒(b)は自力で示せた(と思う)のですが,
(b)⇒(a)も¬((b)⇒(a))も自力で示すことができません.
どのようにすれば良いのでしょうか?
(論理学の質問スレが見つからなかったのでここで質問しました)
(もしもっと相応しいスレがあるなら,誘導して頂けると幸いです)
■ このスレッドは過去ログ倉庫に格納されています