Leyes de inferencia s/r

MODUS PONENS (MP)[pic 1]

1. ( A ∨ B ) ⇒ [ ~ ( C ∨ D ) ⇒ ~ A]

2. __________________∴ ~ ( C ∨ D ) ⇒ ~ A

1. ( ~ M ∨ ~ S) ⇒ ( ~ T∧ ~ D )

2. _________________ ∴ _________________

1. M ⇒ ( ~ C ⇒ R )

2. M ∴ ________________

1. ______________________

2. C ∧ ( D ∨ E )∴ A ⇒ C

1. ________________________

2. C ∨ T ∴ _________________________

MODUS TOLLENS (MT)[pic 2]

1. ___________________________

2. ~ A ∧ ~ B ∴~ ( C ⇔ A)

1. C ⇒ ~ ( C ∧ ~ C )

2. ____________________ ∴~ C

1. B ∨ D

2. T ⇒ ~ ( B ∨ D ) ∴ _______________

1. ______________________

2. ~ ( D ∧ E ) ∴ ___________________

1. ( T ∨ B ) ⇒ [ ( C ∧ E ) ∧ ~ E]

2. _________________∴________________

SILOGISMO DISYUNTIVO (SD)

[pic 3]

1. B ∨ ~ C

2. ___________________∴ B

1. A ∧ T

2. _____________________ ∴ ~ X ∨ ~ Y

1. ( B ∧ A ) ∨ ( ~ C ∧ ~ D )

2. ____________________∴ ~ C ∧ ~ D

1.( T ⇒ R ) ∨ ( ~ B ∨ ~ D )

2. ___________________∴ T ⇒ R

1. ____________________

2.  ~ R ∨ ~ S ∴ B ⇔ A

SILOGISMO HIPOTÉTICO (SH)

[pic 4]

1. R ⇒ ( A ⇒ C )

2. ( ~ D ⇔ C ) ⇒ R ∴ _________________

1. ( B ∧ A ) ⇒ ~ C

2. ( R ∨ S ) ⇒ ( B ∧ A )∴________________

1. __________________

2. C ⇒ ~ ( A ∨ S )∴ ( B ∨ T ) ⇒ ~ ( A ∨ S )

1. ( M ∨ N ) ⇒ ( D ∧ E )

2. __________________∴ ( M ∨ N ) ⇒ B

1. ( ~ E ∧ ~ T ) ⇒ ( ~ C ∨ ~ E )

2. __________________________

                      ∴( B ∨ C ) ⇒ ( ~ C∨ ~ E )

ADICIÓN (Ad.)[pic 5]

1. M ∧ P

 ∴ ____________________________

1. __________________ ∴A ∨ [(B ⇒ ~ G) ⇒ F]

1. _______________________ ∴ (N ⇔ C) ∨ O

1. B ⇒ ( Z ∧ T) ∴ ________________________

1. ~ F ∨ ~ (L ∧ ~ Ñ) ∴ ______________________

SIMPLIFICACIÓN (Simp.)[pic 6]

1. [B ⇔ (D ∨ ~ M)] ∧ (~ S ∧ ~ K)

      ∴ _____________________

1. (S ⇒ B) ∧ [R ∨ (E ⇒A)]

   ∴_____________________________

1. A ∧ ( W ∧ G) ∴________________________

1. ________________________ ∴ (K ⇒ F) ∨ T  

1. ___________________ ∴ A ∨ ~ J