Lógica Proposiciones

De que ley se trata: p → p p ↔ p. Ley de identidad. Ley del silogismo. Ley del dilema constructivo:. Ley del tercio excluso:.

De que ley se trata: p ↔ ¬¬p. Ley de la doble negación. Ley de identidad:. Ley del tercio excluso. Modus ponendo ponens.

De que ley se trata: p ∨ ¬p. Ley de la doble negación. Ley del tercio excluso. Ley de contradicción. Ley de reducción al absurdo.

De que ley se trata: ( p ∧ ¬p ). Ley de contradicción. Leyes de conmutación. Ley de exportación. Ley de resolución.

De que ley se trata: ¬( p ∧ q ) ↔ (¬p ∨ ¬q ). Leyes de De Morgan. Leyes de conmutación. Ley de exportación. Ley del bicondicional.

De que ley se trata: ¬( p ∨ q ) ↔ (¬p ∧ ¬q ). Leyes de De Morgan. Leyes de conmutación. Ley de exportación. Ley del bicondicional.

De que ley se trata: ( p ∧ q ) ↔ ( q ∧ p ). Ley de reducción al absurdo. Leyes de conmutación. Leyes de simplificación. Modus tollendo tollens.

De que ley se trata: ( p ∨ q ) ↔ ( q ∨ p ). Ley de reducción al absurdo. Leyes de conmutación. Leyes de simplificación. Modus tollendo tollens.

De que ley se trata: ( p ↔ q ) ↔ ( q ↔ p ). Ley de reducción al absurdo. Leyes de conmutación. Leyes de simplificación. Modus tollendo tollens.

De que ley se trata: ( ( p ∧ q ) ∧ r ) ↔ ( p ∧ ( q ∧ r ) ). Leyes de trasposición. Leyes de asociación. Leyes de expansión. Condicional-disyunción.

De que ley se trata: ( ( p ∨ q ) ∨ r ) ↔ ( p ∨ ( q ∨ r ) ). Leyes de trasposición. Leyes de asociación. Leyes de expansión. Condicional-disyunción.

De que ley se trata: ( ( p ↔ q ) ↔ r ) ↔ ( p ↔ ( q ↔ r ) ). Leyes de trasposición. Leyes de asociación. Leyes de expansión. Condicional-disyunción.

De que ley se trata: ( p → q ) ↔ ( ¬q → ¬p). Leyes de trasposición. Leyes de asociación. Leyes de expansión. Condicional-disyunción.

De que ley se trata: ( p ↔ q ) ↔ ( ¬q ↔ ¬p). Leyes de trasposición. Leyes de asociación. Leyes de expansión. Condicional-disyunción.

De que ley se trata: ( p ∧ ( q ∨ r ) ) ↔ ( ( p ∧ q ) ∨ ( p ∧ r ) ). Leyes distributivas. Ley de permutación. Silogismo hipotético o transitividad. Leyes de inferencia de la alternativa o de los silogismos disyuntivos.

De que ley se trata: ( p ∨ ( q ∧ r ) ) ↔ ( ( p ∨ q ) ∧ ( p ∨ r ) ). Leyes distributivas. Ley de permutación. Silogismo hipotético o transitividad. Leyes de inferencia de la alternativa o de los silogismos disyuntivos.

De que ley se trata: ( p → ( q ∧ r ) ) ↔ ( ( p → q ) ∧ ( p → r ) ). Leyes distributivas. Ley de permutación. Silogismo hipotético o transitividad. Leyes de inferencia de la alternativa o de los silogismos disyuntivos.

De que ley se trata: ( p → ( q ∨ r ) ) ↔ ( ( p → q ) ∨ ( p → r ) ). Leyes distributivas. Ley de permutación. Silogismo hipotético o transitividad. Leyes de inferencia de la alternativa o de los silogismos disyuntivos.

De que ley se trata: ( p → ( q ∨ r ) ) ↔ ( ( p → q ) ∨ ( p → r ) ). Ley de permutación. Ley del silogismo:. Segunda ley del dilema constructivo. Ley de exportación.