Diferencia entre revisiones de «Lógica proposicional/La disyunción»
Contenido eliminado Contenido añadido
m Se ha deshecho la revisión 131023 de 190.232.70.138 (disc.) |
mSin resumen de edición |
||
Línea 1:
{{título lección|título=Lección 4|texto=La disyunción}}
Una '''disyunción''' es una conectiva lógica. Combina dos proposiciones y la expresión resultante es verdadera si al menos alguna de ellas es verdadera.<ref name="klement" /> Si combinamos la proposición «tengo mucho dinero» con la proposición «soy una persona feliz» usando una disyuntiva, la expresión resultante será verdadera si «soy una persona feliz» o si «tengo mucho dinero» o si «soy una persona feliz y tengo mucho dinero». Solo será falsa si no «soy una persona feliz» y no «tengo mucho dinero».
Gráficamente se representa con el símbolo <math>\or</math> y su comportamiento se puede visualizar con la siguiente tabla de verdad:<ref name="lau" />
| |||