Wikilibros

Diferencia entre revisiones de «Matemáticas/Lógica/Leyes»

Explorar historial interactivamente
Edición siguiente →
Contenido eliminado Contenido añadido
VisualWikitexto
comienzo del artículo
 
Línea 8:
!'''<font color="#FF0000">Leyes</font>'''!!'''<font color="#FF0000">Nombre</font>'''
|-----------------
|P∨p∨-P≡Vp≡V || Ley de medio Excluido
|-----------------
|P∧p∧-P≡Fp≡F || Ley de Contradicción
|-----------------
|P∨F≡Pp∨F≡p || Leyes de Indentidad
|-----------------
|P∧V≡Pp∧V≡p || Leyes de Indentidad
|-----------------
|P∨V≡Vp∨V≡V || Leyes de Dominación
|-----------------
|P∧F≡Fp∧F≡F || Leyes de Dominación
|-----------------
|P∨P≡Pp∨p≡p || Leyes de Idempotencia
|-----------------
|P∧P≡Pp∧p≡p || Leyes de Idempotencia
|-----------------
|P∨P≡Pp∨p≡p || Leyes de Idempotencia
|-----------------
|P∧P≡Pp∧p≡p || Leyes de Idempotencia
|-----------------
|-(-Pp)≡P≡p || Ley de Doble Negación
|-----------------
|P∨Q≡Q∨Pp∨q≡q∨p || Leyes Conmutativas
|-----------------
|P∧Q≡Q∧Pp∧q≡q∧p || Leyes Conmutativas
|-----------------
|(P∨Qp∨q)∨R≡P∨∨r≡p∨(Q∨Rq∨r) || Leyes Asociativas
|-----------------
|(P∧Qp∧q)∧R≡P∧∧r≡p∧(Q∧Rq∧r) || Leyes Asociativas
|-----------------
|(P∨Qp∨q)∧(P∨Rp∨r)≡P∨≡p∨(Q∧Rq∧r) ||Leyes Distributivas
|-----------------
|(P∧Qp∧q)∨(P∧Rp∧r)≡P∧≡p∧(Q∨Rq∨r) ||Leyes Distributivas
|-----------------
| -(P∧Qp∧q)≡-P∨p∨-Qq ||Leyes de DeMorgan
|-----------------
| -(P∨Qp∨q)≡-P∧p∧-Qq ||Leyes de DeMorgan
|-----------------
|................................................................. ||.................................................................
Obtenido de «https://es.wikibooks.org/wiki/Matemáticas/Lógica/Leyes»