Diferencia entre revisiones de «Lógica proposicional»

Contenido eliminado Contenido añadido
Diegusjaimes (discusión · contribs.)
m Revertidos los cambios de 157.100.110.10 a la última edición de Diegusjaimes
Línea 3:
== Proposiciones ==
 
Una '''proposición''', para los fines de esta exposición, es una declaración la cual puede ser verdadera o falsa, por ejemplo: 5 > 4, 2+2=5, "Pedro comió a las 3", "Me gusta la sopa". Algunas veces es más difícil que otras determinar si la declaración (o '''proposición''') es '''verdadera''' o '''falsa''', en otras palabras, si toma el valor de '''veFALSAverdad''' o '''falsedad'''. Sin embargo, esto no cambia el hecho de que existe sólo '''una''' posibilidad, ya sea que la propuesta puede que sea '''verdadera''' o sea '''falsa'''. Algunas declaraciones que no califican con este criterio son "Tu sweater es bonito", ײ=9, "¿Cómo dijiste?".
''' o '''falsedad'''. Sin embargo, esto no cambia el hecho de que existe sólo '''una''' posibilidad, ya sea que la propuesta puede que sea '''verdadera''' o sea '''falsa'''. Algunas declaraciones que no califican con este criterio son "Tu sweater es bonito", ײ=9, "¿Cómo dijiste?".
 
Esta definición propuesta es una definición '''formal''', esto es, una definición que se ha hecho cuidadosamente para que todas las posibilidades queden cubiertas; se ha hecho de este modo con el fin de que no existan ambigüedades ni malentendidos. En muchas ocasiones se utilizan letras para representar las proposiciones.