「論理式の付値」「命題変数の真理値割り当て」「充足・モデル」

命題論理の意味論～真理値・真理関数・真理値表～についてのノートを、加筆修正。

・ 項目「論理式の付値」を修正
・ 項目「論理式の付値」から項目 「命題変数の真理値割り当て」を独立
・新たに項目「充足・モデル」を追加