1命题逻辑A解说.pptVIP

针对条件和结论分别进行分解，将陈述分为条件和结论两部分。然后分解后，条件和结论各自包括1个或多个命题。 这是第1步，第二步： 利用数学符号系统将分解后的命题进行形式化表示，并根据命题之间的关系，采用公式的形式表示命题之间的关系。 最后，经过计算和推导，得出最后的结论。 * 命题公式不是惟一的。 * * * 真值表构成方法： 将分量（命题变元）按字典顺序排列； 对公式的每一个指派，以二进制数的从小到大或者从大到小顺序列出；一般是采用由大到小排序。 若公式复杂，可先列出各子公式的真值，最后列出所给公式的真值。 * * 例如上页例中P ? Q与? P ? Q等价，记为P ? Q ? ? P ? Q。 要判断两个公式是否等价，根据定义，只需将两个公式的真值表列出，判断两个真值表是否相同即可。 * 利用分配率展开 当命题变元比较多时，用真值表法证明等价式比较麻烦，且易出错，效率低，有无更好的证明方法呢？ * 满足本定理条件的置换称为等价置换（等价代换），利用本定理可以证明等价式。 * （比用真值表方便） * 应记住的等价公式 8 同一律 P ∧ T ? P P ? F ? P 9 零律 P ? T ? T P ∧ F ? F 10 否定律 P ? ?P ? T P ∧ ?P ? F 补充： 11 蕴含表达式 P ? Q ? ? P ? Q ? ? Q ? ? P 12 等价表达式 P ? Q ?(P ? Q) ∧(Q ? P) ?(? P ? Q) ∧(? Q ? P) ?(P ∧ Q) ?(? P ∧ ? Q) 定义：如果A1是公式A的一部分，且A1是一个公式，称A1是A的子公式。 A：(P?Q) ?(Q ? R)，P?Q，Q ? R， (P?Q) ?(Q ? R)都是A的子公式。 定理：设X是合式公式A的子公式，若X?Y，如果将A中的X用Y来置换，则所得的公式B与公式A等价，即A ? B。 证明：因为在相应变元任一种指派下，X与Y的真值相同，故以Y取代X后，公式B与A在相应指派下，真值必然相同，故A ? B。 4. 等价置换 A: P ? Q ? ( R ? S - - - P ? - - - C- - - - ? Z Y: ( A ? Q ) ? ( S - - - D- ) X B: P ? Q ? ( R ? S - - - Y- - - - ? Z X ? Y A ? B A: P ? Q ? ( R ? S - - - X- - - - ? Z 设：A： Q ?(P ?(P ∧ Q) ) 由于：P ?(P ∧ Q) ? P 所以，根据等价置换，得出： A： Q ?(P ?(P ∧ Q) ) ? Q ? P 例：证明：Q ?(P ?(P ∧ Q) ) ? Q? P 证明：左 ? P ∧(Q ? ?Q) ? P∧ T ? P 例：证明(A ∧ B) ? A ? A ?B 证明：左 ? ((A∧B)?A)∧(A?(A∧B)) ? (?(A∧B) ?A)∧(?A?(A∧B)) ? (?A ? ?B ?A) ∧((?A?A) ∧(?A?B)) ? T ∧(T ∧(?A?B))? (?A?B) ? A ?B? 右 例：证明(P ∧ Q) ? (P ∧ ?Q) ? P 根据等价表达式： P ? Q ?(P ? Q) ∧(Q ? P) 证明： P?(Q?R) ? ?P ? (?Q ? R) ? ?Q ? (?P ? R) ? Q ? (P ? R) P?(Q?R) ? ?P ? (?Q ? R) ? ?Q ? ?P ? R ? R ? (?Q ? ?P) ? ?R ?(Q ? ?P) 例：证明P?(Q?R)?Q?(P?R)? ?R?(Q??P)) 本次作业 P19 (7) a), c), f)，g) (8) a), b) * * * * * 例如：说某人得出的结论是正确的，可以认为是，这个人是根据已有的条件，借助正确的推导过程，得出了符合逻辑的结论。 如果结论不正确，也可以说该结论是不符合逻辑的。 解决这个问题又很多种方法，其中，如果采用离散数学解决此类问题 的方法的话，则会按照如下的方法解决： 不正确. 将前提与结论可以分别表示如下: A: ?x(bird(x) → fly(x)) B: ?x(duck(x) → ?bird(x))