已经证明-advance steel 2017入门手册

证明：显然由(2)已经证明 (4) (( ) ) ( ( )) ( ( ))Q R S R P S R P Q S∧ → ∧ → ∨ ⇔ ∧ → → 证明：右边 ( ( )) ( ( )) (( ) ( )) (( ) ( )) (( )) ( )) (( ) ) (( ) ) (( ) ) ( ( )) R P Q S R P Q S R P R Q S R P R Q S R P R Q S R P S R Q S Q R S R P S ∧ → → ⇔ ∧ ¬ ∨ → ⇔ ∧¬ ∨ ∧ → ⇔¬ ∧¬ ∨ ∧ ∨ ⇔ ¬ ∨ ∧ ¬ ∨¬ ∨ ⇔ ¬ ∨ ∨ ∧ ¬ ∨¬ ∨ ⇔ ∧ → ∧ → ∨ (5) ( ( )) ( ) ( )P Q R P Q P R→ → ⇔ →¬ ∨ → 证明： ( ( )) ( ( )) ( )P Q R P Q R P Q R→ → ⇔ → ¬ ∨ ⇔ ¬ ∨¬ ∨ ( ) ( ) ( ) ( ) ( ) P Q P R P Q P R P Q R →¬ ∨ → ⇔ ¬ ∨¬ ∨ ¬ ∨ ⇔ ¬ ∨¬ ∨ 得证。 8、证明下列命题公式的蕴含关系 (1) ( ) ( ) ( )P Q R P Q P R→ → ⇒ → → → 证明：左边 ( ) ( ) ( ) P Q R P Q R P Q R ⇔ → → ⇔ → ¬ ∨ ⇔¬ ∨ ¬ ∨