第1章 节 习题讲解 离散数学.pptVIP

第一章 数理逻辑 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 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 ∨ ∨ ) ∧ (P ∨ Q ∨ ) P Q P P R Q Q R R ? ? (1 , 2 , 3 , 4 , 5 , 6 ) ? ?( 0 , 7 ) ?(P∧Q ∧R) ∨ ( ∧ ∧ ) P R Q 习题1.4 1. 仅用 ? 表达 P?Q ；再用 ? 表达它。 P? Q ? P ∨ Q ? （P ∧ Q ） ? P ? Q ? P ? （Q ∧ Q） ? P ?（Q ? Q） ? （Q ? Q）? P P? Q ? P ∨ Q ? （ P ∨ Q ）∧ （ P ∨ P ） ? P ∨（Q ∧ P ） ? （P ∧ （Q ∧ P ） ? P ? （Q ? P ） 1. 仅用 ? 表达 P?Q ；再用 ? 表达它。 P? Q ? P ∨ Q P? Q ? P ∨ Q ? （ P ∨ Q ）∧ （ Q ∨ Q ） ? （P ∨ P） ∨ Q ? （ P ? P） ∨ Q ? （（ P ? P） ∨ Q） ? （