命題と証明
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
2007/03/31(土) 03:57:370002132人目の素数さん
2007/03/31(土) 04:36:320003132人目の素数さん
2007/03/31(土) 08:10:150004132人目の素数さん
2007/03/31(土) 09:29:52「全称命題∀x,(p(x)→q(x))をp(x)⇒q(x)と書く」と説明されているんだけど
これは数学記号的に正しい表記法?
0005132人目の素数さん
2007/03/31(土) 09:45:54一般的に、自由変数の含まれる論理式を主張として述べた場合、
その普遍閉包を主張したものと解釈される。
0006にょにょ ◆yxpks8XH5Y
2007/03/31(土) 10:21:520007132人目の素数さん
2007/03/31(土) 10:48:540008モリン゙ー ◆AcSt49DSmc
2007/03/31(土) 19:21:288ゲット
■ このスレッドは過去ログ倉庫に格納されています