vacio

syunción de p y q es el enunciado pq, que se lee "p o q." Su valor de verdad viene dado por la siguiente tabla de verdad:

p
q
pq
V
V
V
V
F
V
F
V
V
F
F
Ladisyunción


En este apartado introducimos un nuevo operador. Si comenzamos con los enunciados p: "Yo soy alto" y q: "Tú eres inteligente", podemos formar el enunciado "O yosoy alto, o tú eres inteligente", que se representa simbólicamente pq, y que se lee "p o q".

Como sucede que en el lenguaje natural la conjunción disyuntiva "o" puedetener varios significados, los lógicos han acordado que la disyunción inclusiva o: pq significa que p es verdad, o bien q es verdad, o bien ambos son verdad.

En el ejemplocon el que comenzamos esta sección, pq significa "Yo soy alto, o tú eres inteligente, o ambas cosas". En ocasiones incluiremos la apostilla "o ambos" por una mera cuestión deénfasis, pero si no lo hacemos así, el significado mencionado se mantiene.

Por lo tanto, llamamos "pq" a la disyunción de "p" y "q":

Disyunción
La disyunción de p y q esel enunciado pq, que se lee "p o q." Su valor de verdad viene dado por la siguiente tabla de verdad:

p
q
pq
V
V
V
V
F
V
F
V
V
F
F
F
Como se trata de ladisyunción inclusiva, pq es verdadera cuando p es verdad, o q es verdad, o ambos lo son.

Fíjate que la única manera de que un enunciado disyuntivo sea falso consiste en quetanto p como q sean falsos. Por este motivo, podemos decir que pq también significa "p y q no son ambos falsos". Profundizaremos en esta observación un poco más adelante.El símbolo de la disyunción "" es el segundo ejemplo que vemos de operador binario.

Veamos, con cierto detenimiento, un ejemplo de la disyunción en la página siguiente.