como se hace la disyuncion?

Respuestas

Respuesta dada por: luisube2003
1

Dado un conjunto universal U formado por los elementos falso: F y verdadero: V:

{\displaystyle U=\{F,V\}}

y una operación binaria interna disyunción {\displaystyle \lor }, que representaremos {\displaystyle (U,\lor )}:

{\displaystyle {\begin{array}{rccl}\lor :&\;U\times U&\to &U\\&(a,b)&\to &c=a\lor b\end{array}}}

por la que definimos una aplicación que a cada par ordenado (a,b) de U por U se le asigna un c de U.

{\displaystyle \forall (a,b)\in U\times U\,:\quad \exists !c\in U\;/\quad c=a\lor b}

Para todo par ordenado (a,b) en U por U, se cumple que existe un único c en U, tal que c es el resultado de la disyunción lógica a y b.

Para dos entradas a y b, la tabla de la verdad de la función disyuntiva es también la disyunción {\displaystyle \lor }, cuando hay dos elementos en dos conjuntos que integran una proposición. La tabla de la verdad es:

{\displaystyle {\begin{array}{|c|c||c|}\hline a&b&a\lor b\\\hline F&F&F\\V&F&V\\F&V&V\\V&V&V\\\hline \end{array}}}

Más generalmente, la disyunción es una fórmula lógica que puede consistir en una o más literales separadas mediante o. Si existe una sola literal se le considera disyunción degenerada.

Preguntas similares