Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
Conectiva diádica con el valor de la «o» inclusiva, o no excluyente. Su símbolo es
y se lee «P o Q o ambos», y significa «o una cosa o la otra, o ambas». Su definición por las tablas de verdad es la siguiente:
(ver ejemplo).
El sentido de una disyunción entendida como «o» excluyente, cuyo símbolo es
y que se lee «P o no Q, pero no ambos», lo expresa la siguiente tabla de verdad:
donde « P o Q» significa «P o Q, pero no ambos a la vez».
La lógica prefiere el uso de la disyunción con el sentido de «o» inclusiva, mientras que el lenguaje ordinario recurre con mayor frecuencia a la «o» excluyente: «culpable o inocente»; «o vas primero tú o voy yo».
La «o» excluyente, con el sentido de «A o B, pero no ambos a la vez» puede también expresarse con la fórmula
cuya tabla de verdad coincide con la de
