Descripción: laboratorio de fisica basica leyes de kirchhof
Descripción completa
Descripción completa
Tabla de Equivalencia de Materiales
Leyes Mendel y DeDescripción completa
Descripción completa
Diferencias y Similitudes en Leyes de Gases
fisica 3
Descripción: fisica 3
Descripción completa
libro de superación personal.Full description
libro de superación personal.Descripción completa
Demostración Clases de Equivalencia para conjuntosDescripción completa
Descripción completa
Jerarquía de Leyes en GuatemalaDescripción completa
Leyes de equivalencia lógica Héctor Ponce
Presentamos unas cuantas leyes de equivalencia lógica las de mayor uso.
LEY DE LA DOBLE NEGACIÓN ( p) ≡ p a) ~
~
LEYES LEYE S CONMUTA CONM UTATIV TIVAS AS a) p ∧ q ≡ q ∧ p b) p ∨ q ≡ q ∨ p c) p ↔ q ≡ q ↔ p LEYES LEYE S ASOCI AS OCIA ATIVAS TIVAS a) ( p ∧ q) ∧ r ≡ p ∧ ( q ∧ r) b) ( p ∨ q) ∨ r ≡ p ∨ ( q ∨ r) c) ( p ↔ q) ↔ r ≡ p ↔ ( q ↔ r) LEYES DISTRIBUTIVAS a) p ∧ ( q ∨ r) ≡ ( p ∧ q)
( p ∧ r) r) ≡ ( p ∨ q) ∧ ( p ∨ r)
( q∧
b)
p∨
c) d)
p→
( q ∧ r) p → ( q ∨ r)
( ≡(
≡
∨
) q)
( ∨(
) r)
p→ q ∧
p→ r
p→
p→
LEYES TRANSITIVAS ( Silogismo Hipotético) a) [ ( p → q) ∧ ( q → r) ] → ( p → r) b)
[(
)
p↔ q ∧
( q ↔ r) ] → (
)
p↔ r
LEYES DE LA BICONDICIONAL a) p ↔ q ≡ ( p → q) ∧ ( q → p) b) c) d)
~
p
(
)
p↔ q ≡
↔
q
≡ ¬
p ↔ q ≡
(
~
)
p↔ q ≡
(
p↔
( p ∨ q ) ∨ ( p ∧ q )
( ¬ p ∧ ¬ q ) ∨ ( p ∧ q )
1
~
)
q
LEYES DE ABSORCIÓN a) p ∧ ( p ∨ q) ≡ p
(
b)
p∨
c)
p∧
)
p∧ q ≡ p
( p∨ (
d)
) q)
~
p∨ q ≡ p∧ q
~
p∧
≡
p∨ q
LEYES DE MORGAN
( ~(
a) b)
) q) ≡ ~
p∧ q ≡
~
p∨
~
p∨
p∧
q
negación de la conjunción
q
negación de la disyunción
~
~
LEY DE LA CONDICIONAL: p→ q ≡
~
p∨ q
NEGACIÓN DE LA CONDICIONAL ~
(
)
p → q ≡ p∧
~
q
LEY DE EXPORTACIÓN
( p ∧ q ) → r ≡ p → ( q → r ) LEY DE LA TRANSPOSICIÓN p
→
q
≡ ¬
q
→ ¬
p
↔
q
≡ ¬
q
↔ ¬
p p
LEY DE LA EXPANSIÓN
( ) p ≡ p ∧ ( q ∨ ¬ q ) p ≡ p ∨ q ∧ ¬ q
LEY DE IDEMPOTENCIA p ∨ p
≡
p
∧
≡
p
p
p
2
Ley de la negación de la bicondicional ( p ↔ q ) ≡ ( ¬ p ↔ q )
¬
≡
p ↔ ¬ q
Implicaciones notables Reglas de inferencia Modus ponendo ponens
Modus tollendo tollens
A → B
A → B
A
¬B
-----
-----
B
¬A
Silogismo Disyuntivo
Silogismo Disyuntivo
A ∨ B
A ∨ B
¬A
¬B
-----
-----
B
A
Silogismo hipotético
Ley de simplificación
A → B
A ∧ B
B→C
-----
-----
A
A → C
Ley de simplificación A ∧ B ----B
Ley de adición
Ley de conjunción
A
A
-----
B
A ∨ B
---- A Λ B
Ley de adición B ---- A ∨ B
3
Dilema Constructivo
Dilema Destructivo
(A → B ) Λ ( C → D)
(A → B ) Λ ( C → D)
A v C
~B v ~ D
-----
-----
B
~ A v ~ C
v
D
Otras reglas prácticas de inferencia: Modus ponendo ponens *
