Sean p y q dos proposiciones simples. La proposición p o q, simbolizada “p v q” se llama disyunción de p y q.
El operador “o” se puede usar de dos formas: como “o incluyente” o como “o excluyente”.
En el primer caso (“o” incluyente) hace que el valor de verdad de una de las dos proposiciones simples repercuta en el valor verdadero de la proposición disyuntiva; mientras que en la segunda forma (“o” excluyente) el valor de verdad de una proposición excluye la veracidad de la otra proposición, esto hace que la proposición disyuntiva tome el valor verdadero.
Ejemplo 1. Uso del “o” incluyente
r v s: Juan estudia ingeniería o Paola estudia medicina.
r : Juan estudia ingeniería.
v : O
s: Paola estudia medicina.
Ejemplo 2. Uso del “o” excluyente.
x v y : Quieres helado o gaseosa.
x : Quieres helado.
v : O
y: Quieres gaseosa.
La negación:
Sea p una proposición simple. Se define la negación de p mediante la proposición compuesta no p simbolizada por: “~ p”.
Ejemplo 1.
p : 3 es un número entero primo.
~ p : 3 no es un número entero primo, también se puede leer.
Es falso que 3 es un número entero primo.
No hay comentarios:
Publicar un comentario