←【情報学基礎Ａ】シラバスへ

第２４回講義内容へ→

←講義のツボメニューへ

情報学基礎Ａ

【第２２／２３回】【2001.1.18,23】【三鍋洋司】

関数モデル
（１０）（１１）
導出原理

導出原理

• 素式
  t₁,t₂,...,t_nが項で、Ａがn引数の述語記号であるとき、Ａ(t₁,t₂,...,t_n)を素論理式（素式）という。
• リテラル
  Ａを素式としたとき、Ａ、¬Ａをリテラルという。
  Ａ・・・正リテラル、¬Ａ・・・負リテラル
• 節（せつ）
  Ｐ₁,Ｐ₂,...,Ｐ_nをリテラルとしたとき、Ｐ₁∨Ｐ₂∨...∨Ｐ_nを節という。

←【情報学基礎Ａ】シラバスへ

第２４回講義内容へ→