Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»
Contenido eliminado Contenido añadido
+formato |
+referencias |
||
Línea 1:
{{concepto|título=Lección 6|texto=Proposiciones compuestas}}
=== 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 ====
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.
Texto de ejemplo. <ref name="klement" /><ref name="lau" /><ref name="grimaldi1998" />
== Resumen de la lección ==
Línea 29 ⟶ 31:
== Bibliografía ==
<references>
<ref name="klement">
Klement, Kevin. Propositional Logic [En línea]. Massachusetts, Estados Unidos: The Internet Encyclopedia of Philosophy. Consultada: 2015-12-10. Disponible en: http://www.iep.utm.edu/prop-log/
</ref>
<ref name="lau">
Lau, Joe; Chan, Jonathan. Critical Thinking Web: Sentential logic. [en línea]. Consultada: 2015-12-11. Disponible en: http://philosophy.hku.hk/think/sl/
</ref>
<ref name="grimaldi1998">
Grimaldi, Ralph. Matemáticas discreta y combinatoria. Una introducción con aplicaciones. 3 ed., Massachusetts, Estados Unidos: Addison Wesley Longman, 1998, 1120p.
</ref>
</references>
{{navegación|[[Lógica proposicional]]|[[Lógica proposicional/Segunda evaluación parcial|Segunda evaluación parcial]]|[[Lógica proposicional/Proposiciones compuestas/Evaluación|Evaluación de la lección 6]]}}
| |||