离散数学定义(必须背)方案.docx

命题逻辑(论域)定义：论域是一个数学系统，记为D。它由三部分组成：(1)一个非空对象集合S，每个对象也称为个体；(2) 一个关于D的函数集合F；(3)一个关于D的关系集合R。（逻辑连接词）定义设n0,称为{0,1}n到{0,1}的函数为n元函数，真值函数也称为联结词。若n =0，则称为0元函数。（命题合式公式）定义：(1).常元0和1是合式公式；(2).命题变元是合式公式；(3).若Q,R是合式公式，则(Q)、(QR) 、(QR) 、(QR) 、(QR) 、(QR)是合式公式；(4).只有有限次应用(1)—(3)构成的公式是合式公式。（生成公式）定义1.5 设S是联结词的集合。由S生成的公式定义如下：⑴若c是S中的0元联结词，则c是由S生成的公式。⑵原子公式是由S生成的公式。⑶若n≥1，F是S中的n元联结词，A1,…,An是由S生成的公式，则FA1…An是由S生成的公式。（复杂度）公式A的复杂度表示为FC(A)常元复杂度为0。命题变元复杂度为0，如果P是命题变元，则FC (P)=0。如果公式A=B，则FC (A)=FC(B)+1。如果公式A=B1 B2，或A=B1 B2，或 A=B1B2，或 A=B1 B2，或 A=B1 B2，或则FC (A)=max{FC(B1), FC(B2)}+1。命题合式公式语义论域：研究对象的集合。解释：用论域的