- 823 名前：１３２人目の素数さん [2006/02/23(木) 12:59:14 ]
- ∃導入則の説明に、
導出される∃ｘAxはAtという式の中にあらわれるｔの１つないしそれ以上をｘで置き換え、その上で∃ｘを頭につけてできる式である
ということが書いてあったのですが、
例えば、
Ha∧Raが導出できるときに、∃ｘ（Hｘ∧Ra）が導出できるということですか？
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論の質問スレッド
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef