論理学/全称記号と存在記号
提供: Internet Web School
(版間での差分)
| 18 行: | 18 行: | ||
*<span class="pops"> [[cai_ja:EDULOG00010012|CAIテストのページへ（新しいWindowが開きます）]] </span> | *<span class="pops"> [[cai_ja:EDULOG00010012|CAIテストのページへ（新しいWindowが開きます）]] </span> | ||
| + | |||
| + | |||
| + | |||
| + | [[en:Logic/Universal quantifier and Existential quantifier]] | ||
| + | [[ja:論理学/全称記号と存在記号]] | ||
2014年5月23日 (金) 04:58 時点における最新版
論理学 ＞ 全称記号と存在記号
目次
説明
- 量化記号
- 全称（量化）記号
- 存在（量化）記号
- 自由変数
- 束縛変数
