Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»
Contenido eliminado Contenido añadido
m Lsanabria trasladó la página Matemáticas básicas/Tablas de la verdad/Formas especiales de las proposiciones a Lógica proposicional/Proposiciones compuestas |
m Cambiando estructura |
||
Línea 1:
== Tipos de proposiciones ==
=== 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.
=== Contradicciones ===▼
▲=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.
=== 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.▼
▲=Contingencias=
== Véase también ==
▲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.
* [[Lógica proposicional]]
[[Categoría:Matemática]]
|