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

1128A.png

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:

1128B.png

ver ejemplo ↓

Si p = «Ana es buena» y q = «Ana parece buena», el enunciado «Ana es buena o lo parece» es verdad si resulta que es buena o si sólo lo parece, o si es buena y, además, lo parece.

El sentido de una disyunción entendida como «o» excluyente, cuyo símbolo es

1128C.png

y que se lee «P o no Q, pero no ambos», lo expresa la siguiente tabla de verdad:

1128D.png

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

1128E.png