Unidad Iii - C

Principio de identidad A→A Principio de no contradicción ¬(A ۸ ¬A) Principio del tercero excluido A 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ón A → (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

Ley de la carga de la premisa A → (B → A) Ley del absurdo (A → ( B ۸ ¬B)) → ¬ A Ley de Duns Scoto (A → ¬A ) → B Interdefiniciones de conectivos (A ↔ B) ↔ ((A → B ) ۸ (B → A)) (A → B) ↔ ¬(A ۸ ¬B) (A → B) ↔ (¬A v B) (A → B) ↔ ¬(A ۸ ¬B) ↔ (¬A v B) ¬(A → B) ↔ (A ۸ ¬B) ↔ ¬(¬A v B)