Diferencia entre revisiones de «Lógica proposicional/Equivalencias»
Contenido eliminado Contenido añadido
Etiqueta: Revertido |
m Revertidos los cambios de 186.35.154.150 (disc.) a la última edición de Defender Etiquetas: Reversión SWViewer [1.4] |
||
Línea 224:
* Dos expresiones son lógicamente equivalentes (<math>\equiv</math>) cuando la equivalencia material (<math>\Leftrightarrow</math>) construida con ellas es una tautología.
* Las «propiedades del álgebra de proposiciones» o «leyes de la lógica» son equivalencias lógicas.
== Términos clave ==
|