「一階述語論理」の版間の差分
削除された内容 追加された内容
編集の要約なし |
編集の要約なし |
||
195行目:
:#''z'' が ''x'' と異なる変数ならば、''z'' ≈ ''u'' ⇔ ''u'' = ''z'' 。
:#''c'' 定数記号ならば、''c'' ≈ ''u'' ⇔ ''u'' = ''c'' 。
:#''t''<sub>1</sub> , ..., ''t''<sub>''n''</sub> が項で、''f'' がアリティ ''n'' の関数記号ならば、''f t''<sub>1</sub> … ''t''<sub>''n''</sub> ≈ ''u'' ⇔ ''t''<sub>1</sub> ≈ ''u''<sub>1</sub> , ..., ''t''<sub>''n''</sub> ≈ ''u''<sub>''n''</sub> であるような ''u''<sub>1</sub> , ..., ''u''<sub>''n''</sub> が存在して ''u'' = ''f u''<sub>1</sub> … ''u''<sub>''n''</sub> 。
''t'' ≈ ''u'' であるとき、''u'' は ''t'' における ''x'' のいくつかを ''y'' で置き換えて得られる項であるという。
| |||