重言蕴涵的几个结果 (1)如果A→B,A是重言式，则B也是重言式。 年 (2)如果A→B同时B→A,必有A=B。 (3)如果A→B同时B→C,那么A→C。 4/100 (4)如果A→B同时A→C,那么A→B∧C。 D Back Close
4/100 JJ II J I Back Close 重言蕴涵的几个结果 (1) 如果A ⇒ B，A是重言式，则B也是重言式。 (2) 如果A ⇒ B同时B ⇒ A，必有A = B。 (3) 如果A ⇒ B同时B ⇒ C，那么A ⇒ C。 (4) 如果A ⇒ B同时A ⇒ C，那么A ⇒ B ∧ C
重言蕴涵的几个结果 (1)如果A→B,A是重言式，则B也是重言式。 年 (2)如果A→B同时B→A,必有A=B。 (3)如果A→B同时B→C,那么A→C。 4/100 (4)如果A→B同时A→C,那么A→B∧C。 (5)如果A→C同时B→C,那么AVB→C。 D Back Close
4/100 JJ II J I Back Close 重言蕴涵的几个结果 (1) 如果A ⇒ B，A是重言式，则B也是重言式。 (2) 如果A ⇒ B同时B ⇒ A，必有A = B。 (3) 如果A ⇒ B同时B ⇒ C，那么A ⇒ C。 (4) 如果A ⇒ B同时A ⇒ C，那么A ⇒ B ∧ C。 (5) 如果A ⇒ C同时B ⇒ C，那么A ∨ B ⇒ C
2.8基本的推理公式 (1)P∧Q→P; 5/100 ( Back Close
5/100 JJ II J I Back Close 2.8 基本的推理公式 (1) P ∧ Q ⇒ P；
2.8基本的推理公式 (1)P∧Q→P; 5/100 (2)(P→Q)→P; ( D) Back Close
5/100 JJ II J I Back Close 2.8 基本的推理公式 (1) P ∧ Q ⇒ P； (2) ¬(P → Q) ⇒ P；
2.8基本的推理公式 (1)P∧Q→P; 5/100 (2)(P→Q)→P; (3)(P→Q)→Q; D) Back Close
5/100 JJ II J I Back Close 2.8 基本的推理公式 (1) P ∧ Q ⇒ P； (2) ¬(P → Q) ⇒ P； (3) ¬(P → Q) ⇒ ¬Q；