Diferencia entre revisiones de «Matemáticas/Lógica/Proposición»
Contenido eliminado Contenido añadido
m →sección inicial: se agregan ejemplos Etiqueta: editor de código 2017 |
m →sección inicial: se agregan ejemplos Etiqueta: editor de código 2017 |
||
Línea 1:
Una expresión que deba ser verdadera o falsa pero que no pueda ser ambas, la llamaremos una proposición.
# La expresión '''La Luna es redonda''' es una proposición cuyo valor de verdad es '''verdadera''', pues es cierto que la Luna es redonda.
# La expresión '''2+3=5''' es una proposición cuyo valor de verdad es '''verdadero''', pues en el sistema numérico decimal es un resultado válido.
# La expresión ''' 1+1=3 ''' es una proposición cuyo valor de verdad es '''falso''', pues es sabido que en el sistema numérico decimal, 1+1=2.
En los tres ejemplos anteriores vimos oraciones declarativas de las cuales se puede afirmar que son o verdaderas o falsas. Luego, tales oraciones son proposiciones.
Veamos ejemplos de oraciones que no son proposiciones:
# La oración <math> 3-x=5 </math> es declarativa, pero no es una proposición, pues de ella, a menos que conozcamos el valor de <math> x </math>, no sabemos su valor de verdad con certeza. Ahora, si <math> x=-2 </math>, podríamos decir que la oración es una proposición con valor de verdad verdadero.
| |||