- 490 名前：１３２人目の素数さん [2005/06/03(金) 07:38:14 ]
- このスレッド向きかどうかわからないのですが、質問です。
Ｐ＝∀Ｑ．（Ｐ→Ｑ）→Ｑ
という論理式は成り立っていますか？
これは、三段論法Ｐ∧(Ｐ→Ｑ)⊃Ｑを正当化する論理式で、
成立しそうに思えます。
真理値表で考えます。
Ｐが偽、Ｑが真のとき、
Ｐ→Ｑは真、(Ｐ→Ｑ)→Ｑは真
一方、Ｐは偽。成り立たないように思えます。
なぜでしょう？どこがおかしいのでしょうか？
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論の質問スレッド
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef