「恒真式」の版間の差分
削除された内容 追加された内容
→恒真式である確認: 述語論理 タグ: モバイル編集 モバイルウェブ編集 改良版モバイル編集 |
→述語論理: 誤字修正 タグ: モバイル編集 モバイルウェブ編集 改良版モバイル編集 |
||
72行目:
∀<Math>x_iAx_i</math>から<math>At</math>を導き出す事ができる。ただし、<math>t</math>は項であり、<math>Ax_i</math>の<Math>x_i</math>に対して自由であること。
*'''UG''' (全称汎化)
<math>Ax_i</math>から∀<math>x_iAx_i</math>を導き出す事ができる。ただし、<math>x_i</math>が前
*'''EI''' (存在例化)
∃<Math>x_iAx_i</math>から<Math>A{\alpha}_j</math>を導き出す事ができる。ただし、<math>A{\alpha}_j</math>は不確定名であること。
| |||