• Embed Doc
  • Copy Link
  • Readcast
  • Collections
  • CommentGo Back
Download
 
Principio de identidad A
→
A Principio de no contradicción¬(A
۸
¬A)
 
Principio del tercero excluidoA v ¬A
 
Ley de la doble negación¬¬A ↔ A Ley de la eliminación de la conjunción(A
۸
B)
→
A
 
Ley de conmutatividad de la conjunción(A
۸
B) ↔ (B
۸
A)
 
 
Ley de la introducción de la disyunciónA → (A v B) Ley de conmutabilidad de la disyunción(A v B) ↔ (B v A)
 
Modus ponens o eliminación del condicional(A → B)
۸
A) → B
 
Modus tollens ((A → B)
۸
¬B) → ¬A
 
Ley de contraposición(A →B) ↔ (¬B → ¬ A)
 
 
Primera Ley del dilema constructivo(((A v B)
۸
(A → C))
۸
(B → C)) → C Segunda ley del dilema constructivo (((A v B)
۸
(A →C))
۸
( B → D)) → (C v D) Silogismo hipotético((A → B)
۸
(B → C)) → ( A → C) Primera ley de De Morgan¬(A
۸
B) ↔ (¬A v ¬B) Segunda ley de De Morgan¬(A v B) ↔ (¬A
۸
¬B) Ley del Silogismo disyuntivo((A v B)
۸
¬A) → B
of 00

Leave a Comment

You must be to leave a comment.
Submit
Characters: ...
You must be to leave a comment.
Submit
Characters: ...