Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»
Contenido eliminado Contenido añadido
Nueva página: {{NavegarXlecciones|proyecto=Matemáticas básicas/Tablas de la verdad|anterior=Equivalencia de proposiciones|actual=Formas especiales de las proposiciones|actividad=no|discusión=... |
Sin resumen de edición |
||
Línea 1:
{{NavegarXlecciones|proyecto=Matemáticas básicas/Tablas de la verdad|anterior=Equivalencia de proposiciones|actual=Formas especiales de las proposiciones|actividad=no|discusión=no|lectura=no}}
__TOC__
{{desarrollo|
=Tautologías=
Una tautología es una proposición cuya tabla de verdad siempre es V para todos los casos posibles, y se dice que es verdadera por su forma lógica sin importar el valor de las proposiciones que la forman.
==Ejemplos de tautologías==
=Contradicciones=
Una contradicción es una proposición cuyo valor de verdad es F para todos los valores de su tabla de verdad, y se dice que es falsa por su forma lógica sin importar el valor de las proposiciones que la forman.
==Ejemplos de contradicción==
=Contingencias=
Una contingencia, o verdad de hecho, es aquella proposición cuyo valor de verdad depende de los valores de verdad de las proposiciones sencillas que la conforman.
==Ejemplos de contingencias==
| |||