日課：論理

『論理学をつくる』第６章。
述語論理の意味論。

■メモ

• 「モデル」とは「論議領域D と 付値関数V」のペア 〈D,V〉 のこと。
  • 言葉づかいのお約束：
    　「モデル M=〈D,V〉のもとで 論理式A が真」　 V_M(A) = 1
    　「モデルM は アサインメントσ によって 論理式A を満たす」　V_M,σ(A) = 1