Disyunción
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
Diccionario filosófico · 1965:125
(del latín “disjunctio”: acción de separar, desunir). Operación
lógica que forma una proposición compleja por la unión de dos
proposiciones mediante la conjunción lógica “o”. Notación simbólica:
A∨B (se lee A o B). En la lógica matemática clásica, se diferencian
dos clases de disyunción: la no rigurosa (inclusiva) y la rigurosa
(exclusiva). La disyunción no rigurosa constituye una proposición
compleja que es verdadera cuando lo es aunque sólo sea una de las
proposiciones que de ella forman parte, y es falsa cuando lo son todas
las proposiciones que la componen. En el lenguaje natural,
corresponde aproximadamente al significado no excluyente de la
conjunción “o”. La disyunción rigurosa constituye una proposición
compleja verdadera sólo en el caso de que sea verdadero únicamente uno
de sus miembros. En el lenguaje natural, corresponde aproximadamente
al significado excluyente de la conjunción “o” (en el sentido de
“o…, o…”, “ya…, ya…”).
Diccionario de filosofía · 1984:122
(lat. disjunctio): operación lógica que forma un enunciado complejo
uniendo dos enunciados con ayuda de la conjunción lógica “o”. En la
lógica matemática clásica se diferencian dos formas de disyunción: no
rigurosa (conjuntiva) y rigurosa (antitética). La disyunción no
rigurosa forma un enunciado complejo, que es verídico únicamente
cuando es verídico, por lo menos, uno de los enunciados componentes.
Y es falso cuando son falsos todos sus componentes. La disyunción
rigurosa forma un enunciado complejo verídico únicamente en el caso de
que es verídico tan sólo uno de sus componentes.