Diferencia entre revisiones de «Lógica proposicional/Equivalencias»
Contenido eliminado Contenido añadido
Nueva página: {{NavegarXlecciones|proyecto=Matemáticas básicas/Tablas de la verdad|anterior=Tablas de la verdad|actual=Equivalencia de proposiciones|siguiente=Formas especiales de las proposic... |
Sin resumen de edición |
||
Línea 1:
{{NavegarXlecciones|proyecto=Matemáticas básicas/Tablas de la verdad|anterior=Tablas de la verdad|actual=Equivalencia de proposiciones|siguiente=Formas especiales de las proposiciones|actividad=no|discusión=no|lectura=no}}
__TOC__
{{desarrollo|
=Equivalencia de proposiciones=
Línea 10:
=Equivalencias=
==Equivalencia básica==
<math>\neg T\equiv F</math>
<math>\neg F\equiv T</math>
==Leyes de identidad==
<math>P\or F\equiv P</math>
<math>P\and V\equiv P</math>
==Leyes de dominación==
<math>P\or V\equiv V</math>
<math>P\and F\equiv F</math>
==Leyes de idempotencia==
<math>P\or P\equiv P</math>
<math>P\and P\equiv P</math>
==Ley de la doble negación==
<math>\neg(\neg P)\equiv P</math>
| |||