1离散数学.pptVIP

* 例题选讲 a)直接证法： P → （Q → R）的真值为T， 其对应指派下（P → Q） → （P → R）的真值均为T。 b)反证法： （P → Q） → （P → R）的真值为F， 其对应指派下P → （Q → R）的真值为F。 c)条件永真式： （P → （Q?R）） → （（P → Q） → （P → R））的真值都为T，即为永真式。 * 例题选讲 （2）逻辑推证 a)直接证法： 设P → （Q → R）为T，则 ① P为T， Q → R为T，有三种情况： P为T，Q为T，R为T，则（P → Q） → （P → R）为T。 P为T，Q为F，R为T，则（P → Q） → （P → R）为T。 P为T，Q为F，R为F，则（P → Q） → （P → R）为T。 ②P为F， Q → R为F，则： P为F，Q为T，R为F，所以P → Q为T， P → R为T，得（P → Q） → （P → R）为T。 * 例题选讲 ③P为F， Q → R为T，则： P为F，Q为T，R为T，则（P→Q）→（P → R）为T。 P为F，Q为F，R为F，则（P→Q）→（P → R）为T。 P为F，Q为F，R为T，则（P→Q）→ （P → R）为T。 综上各点： 当P→（Q→R）为T时，必有（P→Q）→（P→R）为T