一章习题讲解.pptVIP

3. P(x) ∧ ?x Q (x) ? ? x ( P(x) ∧ Q (x) ) P(x) ∧ ?x Q (x) ? P(x) ∧ Q (x) Q1, I8 ? ?x ( P(x) ∧ Q (x) ) Q2 * 第一章 数理逻辑 2012-2013-2 鲁东大学 数学与统计科学学院 鲍永平 主讲：鲍永平 数学与统计科学学院 作业讲解 习题1.1 1. 设 P 是命题“天下雪”； Q 是命题“我去镇上”； R 是命题“我有时间”。 （1）用逻辑符号写出以下命题： （i）如果天不下雪和我有时间，那么我去镇上。 P ∧ R → Q （i i ）我去镇上，仅当我有时间。 Q → R 1. 设 P 是命题“天下雪”； Q 是命题“我去镇上”； R 是命题“我有时间”。 （2）对下命题用中文写出语句： 我去镇上当且仅当我有时间且天不下雪。 P Q ? （R ∧ ） 说我有时间或我去镇上是不对的 （i） （i v） （R ∨ Q ） 2. 否定下列命题 （1）上海处处清洁 上海并非处处清洁 给 P 和 Q 指派真值 T，给 R 和 S 指派真值 F，求出下列命题的真值 P ∧ Q ∧ R ∨ ((P ∨Q) ∧ ( R ∨S )) T 习题1.2 2. 对下述每一表达式，找出仅用 ∧和 的等价表达形式，并尽可能简单 （2） Q P ∨（ ∧ R → P） ? P ∨ （ ∧ R ）∨ P Q ? P ∨ Q ∨ R ∨ P ? P ∨ Q ∨ R ? （ P ∧ Q ∧ R） 2. 对下述每一表达式，找出仅用 ∨和 的等价表达形式，并尽可能简单 习题1.2 （5） ( P → (Q ∨ )) ∧ ∧ Q R P ?( ∨ (Q ∨ )) ∧ ∧ Q R P P ? ∧ Q P ? ∨ Q ) ( P 3. 求下列各式的主析取范式和主合取范式： 习题1.3 （1） P ∨ Q → ( P ? Q ) ) ( P ∨ Q ) ? ( ∨ (( P → ∧( → P ) Q ) Q ∨ (( ∨ ∧(Q ∨ P )) P ( P ∧ Q ) ? Q ) ∨ (( ∨ ∧Q ) ∨( ∨ ∧ P )) P ?( P ∧ Q ) Q ) P Q ) ∨ (( ∧Q ∨ ∧Q ) ∨ ∧ P ∨ ∧ P )) P ?( P ∧ Q ) Q P Q ?( P ∧ Q ) ∨ ( ∧Q )∨( ∧ P ) P Q ?( P ∧ Q ) ∨ ( ∧Q )∨(P ∧ ) P Q ?? (1 , 2 , 3 ) ?? ( 0 ) ?( P ∨ Q ) （3） ( P → Q ∧ R ) ∧ ( → ( ∧ ) P Q R ? ( ∨Q ∧ R ) ∧ (P ∨ ∧ ) P Q R ? ( ∨Q ) ∧ ( ∨R ) ∧ ( P ∨ ) ∧ (P ∨ ) P P Q R ? ( ∨Q ∨ R ∧ ) ∧ ( ∨R ∨ Q ∧ ) ∧ ( P ∨ ∨ R ∧ ) ∧ (P ∨ ∨ Q ∧ ) P P R Q Q R R Q ?( ∨Q∨R)∧( ∨Q∨ )∧( ∨R ∨ Q )∧( ∨R ∨ ) ∧ (P ∨ ∨R )∧(P ∨ ∨ ) ∧ (P ∨ ∨Q)∧( P ∨ ∨ ) P P R P P Q Q Q R R R Q ?( ∨Q∨R)∧( ∨Q∨ )∧( ∨ ∨ R) ∧ (P ∨ ∨R )∧ (P ∨ ∨ ) ∧