lecture 2 命题公式和其赋值.pptVIP

由于简单命题是真值唯一确定的命题逻辑中最基本的研究单位，所以也称简单命题为命题常项或命题常元。从本节开始对命题进一步抽象，首先称真值可以变化的陈述句为命题变项或命题变元。;????为描述公式构造的复杂性，引入下列“层次”定义。; ????对含n个命题变项的公式A的赋值情况做如下规定： ????1．若A中出现的命题符号为p1,p2,…,pn，给定A的赋值α1,α2,…,αn 是指p1＝α1，p2＝α2,…，pn＝αn。????2．若A中出现的命题符号为p，q，r...,给定A的赋值α1,α2,…,αn是指p＝α1，q＝α2,…，最后一个字母赋值αn。 ;????为看清公式在赋值下的取值，通常构造下面的“真值表”。 定义1.9 将命题公式A在所有赋值下取值情况列成表，称作A的真值表。 ???? 构造真值表的具体步骤如下： ????(1) 找出公式中所含的全体命题变项p1,p2,…,pn (若无下角标就按字典顺序排列)，列出2n个赋值。本课件规定，赋值从00…0开始，然后按二进制加法依次写出各赋值，直到11…1为止。 ????(2) 按从低到高的顺序写出公式的各个层次。????(3) 对应各个赋值计算出各层次的真值，直到最后计算出公式的真值。;???解 公式(1)是含3个命题变项的3层合式公式。它的真值表如表1.2所示。 表1.2 (┐p∧q)→┐r的真值表 ;定义1.10 设A为任一命题公式。 ????(1) 若A在它的各种赋值下取值均为真,则称A是重言式或永真式。????(2) 若A在它的各种赋值下取值均为假,则称A是矛盾式或永假式。????(3) 若A不是矛盾式,则称A是可满足式。 ????从定义不难看出以下几点： ????1. A是可满足式的等价定义是：A至少存在一个成真赋值。 ????2. 重言式一定是可满足式，但反之不真。因而，若公式A是可满足式，且它至少存在一个成假赋值，则称A为非重言式的可满足式。 ????3. 真值表可用来判断公式的类型: ;????问：关于n个命题变元P1,P2,…,Pn,可以构造多少个真值表呢? ;主要内容 1、命题与真值（或真假值）。? 2、简单命题与复合命题。? 3、联结词：否定联结词┐，合取联结词∧，析取联结词∨，蕴涵联结词→，等价联结词。? 4、命题公式（简称公式）。? 5、命题公式??层次和公式的赋值。 6、真值表。 7、公式的类型（重言式（或永真式），矛盾式（或永假式），可满足式）。 ;学习要求 1、在5种联结词中，要特别注意蕴涵联结的应用，要弄清三个问题：? ① p→q的逻辑关系② p→q的真值③ p→q的灵活的叙述方法? 2、写真值表要特别仔细认真，否则会出错误。? ? 3、深刻理解各联结词的逻辑含义。? 4、熟练地将复合命题符号化。? 5、会用真值表求公式的成真赋值和成假赋值。