Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Administrativa
Ley de De Morgan
¬(AvB) ↔ (¬A)^(¬B)
Esta Ley nos dice que la negación global de dos o mas premisas
unidas, es equivalente a la negación de dichas premisas en forma
individual y viceversa…
Ej.:
“Si disponemos de dos premisas que corresponden a dos implicaciones con el mismo
consecuente, y sus antecedentes se corresponden con los dos miembros de una
disyunción, podemos concluir con el consecuente de ambas implicaciones…”
PvQ
P→R
Q→R
.·. R
Dos premisas que se corresponden en forma disyuntiva (v), donde
ambas continúan con una implicación donde el consecuente es el
mismo. Podemos concluir con el consecuente de ambos.
Ej.:
Proposiciones Bicondicionales
P ↔Q
Q↔P
Esta ley nos menciona que dos premisas con el mismo valor de
verdad, donde la segunda es consecuente si la primera cumple una
condición, y viceversa.
Ej.: