Diferencia entre revisiones de «Lógica proposicional»
Contenido eliminado Contenido añadido
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 '''
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.
|