Es, entre dos proposiciones, un conector lógico cuyo valor
de la verdad resulta en falso sólo si ambas proposiciones son falsas, y en
cierto de cualquier otra forma.1 Existen diferentes contextos dónde se utiliza
la disyunción lógica.
En lenguajes formales, la palabra "ó" se utiliza
en español para simbolizar una disyunción lógica. Se debe distinguir entre el
"ó" inclusivo y el "ó" exclusivo, este artículo se refiere
al "ó" inclusivo. La noción equivalente en la teoría de conjuntos es
la unión.
No hay comentarios.:
Publicar un comentario