日課:論理

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


■メモ

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