ホーム
おまかせ表示
ログイン
設定
寄付
ウィキブックスについて
免責事項
検索
「数理論理学/述語論理」の版間の差分
言語
ウォッチリストに追加
編集
履歴の双方向閲覧
次の差分 →
削除された内容
追加された内容
ビジュアル
ウィキテキスト
2010年3月22日 (月) 18:29時点における版
編集
Yamazzaki
(
トーク
|
投稿記録
)
34
回編集
ページの作成:
数学
>
数理論理学
>述語論理 量化理論 ∀:全ての ∃:存在する ∀x 「あらゆるxについて~」 普遍量化子、または全称量...
2010年3月22日 (月) 18:50時点における版
編集
取り消し
Yamazzaki
(
トーク
|
投稿記録
)
34
回編集
編集の要約なし
次の差分 →
1 行
[[数学]] > [[数理論理学]] >述語論理
量化理論