Funciones lgicas.

1 1 1 1 1 1 1
p q 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6
V V v V V V F V V V F F F V F F F F
V F v V V F V V F F V V F F V F F F
F V v V F V V F F V F V V F F V F F
F F v F V V V F V F V F V F F F V F

Vocabulario.

1).- Negacin: La negacin es una funcin mondica, que cambia el valor de verdad de una
expresin. En el lenguaje natural la expresamos mediante la palabra no y en el lenguaje lgico se
representa mediante los signos , , , entre otros.

Esta funcin se lee no p o no es el caso que p; y se formaliza p.

p p
V F
F V

2).- Conjuncin: La conjuncin es una palabra invariable dentro de una oracin y adems vaca de
contenido significativo, que une dos o ms palabras u oraciones, constituyendo una expresin
mayor. Segn el Diccionario de la Real Academia Espaola de la Lengua, palabra invariable que
encabeza diversos tipos de oraciones subordinadas o que une vocablos o secuencias
sintcticamente equivalentes. En el espaol, corresponde a la letra y.

En lgica, la conjuncin es una funcin que une dos o ms proposiciones (iguales o diferentes)
formando una nueva proposicin. Se formaliza con el signo y se lee de las siguientes maneras:
y ; adems; tambin; pero.

Las expresiones que componen la conjuncin se denominan conyuntos.

Por ejemplo:

Juan baila rock & roll y Mara baila tango

(primer conyunto) (segundo conjunto)

Esta expresin, formalizada, resultar verdadera solo en el caso de que ambos conyuntos sean
verdaderos, en caso contrario, ser falsa.

Su tabla de verdad correspondiente es la siguiente:

p q pq
V V V
V F F
F V F
F F F

3).- Alternacin: es un operador lgico que se utiliza para unir dos o ms proposiciones.
Ordinariamente la expresamos con la palabra o, y lgicamente se formaliza con el signo V; las
partes que la componen se denominan alternativas.

Rivano (1964) p.25., sostiene que Una alternacin es verdadera cuando siquiera una de sus
alternativas es verdadera; en caso contrario la alternacin es falsa () el orden de las alternativas
no afecta a la alternacin. Es decir, tal como la conjuncin, esta funcin posee la propiedad
conmutativa.

Tomemos la proposicin Leo o escucho msica, que formalizada se lee p V q.

Si se da al menos una de las dos cosas, esta proposicin resultar verdadera; es decir, tan solo si
leo, la afirmacin resulta verdadera; y es verdadera tambin si solo escucho msica; ahora bien,
puede darse el caso de que leo y escucho msica al mismo tiempo, lo que tambin hace que la
proposicin sea verdadera; este es el motivo por el cual tambin recibe el nombre de disyuncin
inclusiva, en el sentido de que es un conector que hace referencia a la unin de dos o ms
proposiciones cuando s es posible llevar a cabo ambas afirmaciones.

Compro un disco de Miles Davis o uno de Charlie Parker?

Si lo formalizo obtengo

p = Disco de Miles Davis

q = Disco de Charlie Parker

P q pVq
V V V
V F V
F V V
F F F

Ahora invertimos la proposicin y obtenemos lo siguiente:

Compro un disco de Charlie Parker o uno de Miles Davis?

P q qVp
V V V
V F V
F V V
F F F

A partir de esto, podemos decir acerca de la verdad y la falsedad de las proposiciones Compro un
disco de Miles Davis o uno de Charlie Parker? o Compro un disco de Charlie Parker o uno de Miles
Davis? Son conjuntamente verdaderas o conjuntamente falsas. Puedo comprar solo uno de los dos
discos y la proposicin resultar verdadera, y tambin puedo comprar ambos, lo que la hara
verdadera a fortiori.

4).- Condicional: es un operador lgico que conecta dos proposiciones. Se formaliza con el signo
y se lee:

si p entonces q o p q

En el caso del condicional, lo que est antes de (p)se denomina antecedente, y lo que est
despus(q) se denomina consecuente. En el lenguaje natural, el antecedente es todo lo que se
ubica despus de si, y a su vez este si puede ser sustituido por expresiones como ya que,
dado que, puesto que, etc.

Sea p la proposicin hace calor y sea q la proposicin me pongo protector solar.

Si la formalizamos obtenemos la expresin p q, que representa la estructura caracterstica de

un argumento, y existen ciertas maneras de leerla sin que pierda el sentido. Por ejemplo:
 - En vista de que hace calor, me pongo protector solar.

- Puesto que hace calor, me pongo protector solar.

- Me pongo protector solar, si hace calor.

- Cuando hace calor, me pongo protector solar.

- Dado que hace calor, me pongo protector solar.

- Cuando me pongo protector solar es porque hace calor.

Si construimos una tabla de verdad utilizando esta misma expresin obtenemos:

p q pq
V V V
V F F
F F V
F F V

Podemos observar que una expresin condicional solo resulta falsa en el caso de que el
antecedente sea verdadero y el consecuente falso. Si tomamos la proposicin anterior, esta sera
falsa si se expresara del modo siguiente Hace calor y no me he puesto protector solar.

5).- Bicondicional: este operador es un condicional en ambos sentidos, se lee s y solo s

(abreviado ssi), y se formaliza con el signo .

Es una proposicin de la forma q s y solo si p, afirmando que la proposicin p es verdadera

exclusivamente cuando la proposicin q tambin lo es, de la misma manera en que p ser falsa
cuando lo sea q. Tambin es posible definir este operador sosteniendo que p es una condicin
necesaria y suficiente para q.

El valor de verdad de un Bicondicional p si y solo si q, es verdadero cuando ambas proposiciones,

p y q, tienen el mismo valor de verdad, es decir, cuando ambas son verdaderas o cuando ambas
son falsas, de lo contrario, es falso.

Por ejemplo, la siguiente proposicin formalizada es verdadera (pues ambas proposiciones son
falsas).
1 + 1 = 3 s y solo s Marte es un agujero negro.

p:1+1=3

q: Marte es un agujero negro.

pq

Este operador est definido mediante la siguiente tabla de verdad:

p q pq
V V V
V F F
F V F
F F V

6).- Disyuncin fuerte: Es un operador lgico que se representa con el signo W. Es un tipo de
disyuncin lgica entre dos proposiciones, que es verdadero si solo una proposicin es verdadera
(no ambas), en caso contrario, es falsa. Al igual que la alternacin, se lee p o q, pero se diferencia
completamente de ella, puesto que esta representa un o exclusivo (o uno o lo otro pero no
ambos), es decir, marca la pauta para escoger una y solo una de las dos proposiciones; en cambio
el o de la alternacin es inclusivo (uno o lo otro o ambos).

Por ejemplo:

Mi boleto sirve para ir a la ciudad de Guadalajara o a la ciudad de Cancn.

Sabemos que este boleto solo puede utilizarse para viajar a una de las dos ciudades, pero no a
ambas juntas.

Si formalizamos este enunciado y construimos su tabla de verdad, obtenemos:

> p : Boleto a la ciudad de Guadalajara.

> q : boleto a la ciudad de Cancn.

pWq
p q pWq
V V F
V F V
F V V 7).- Incompatibilidad: Es un operador lgico que se representa con el signo
F F F
, y se lee p es incompatible con q o p y q son incompatibles.

Con la incompatibilidad lo nico que se quiere decir es que una misma persona no puede ser, a la
vez, dos cosas; as en el ejemplo

"es incompatible ser juez y abogado"

se manifiesta que una persona no puede actuar a la vez como juez y como abogado, por tanto, de
ser verdaderas las dos proposiciones atmicas, la molecular sera falsa.

Por tanto, la regla para establecer la tabla correspondiente es: Dos proposiciones son entre s
incompatibles cuando no pueden ser ambas a la vez verdaderas. Consecuentemente, la tabla es la
siguiente:

p q pq
V V F
V F V
F V V
F F V

8).- Falsedad conjunta: es un operador lgico que se representa con el signo ; en lenguaje natural
se lee ni p ni q y lgicamente se escribe p q.

En dos proposiciones atmicas p y q, la proposicin compuesta consecuente "p q es la negacin

conjunta de las proposiciones p y q.

Por ejemplo, la proposicin

"ni el queso es de azcar ni la leche es de sal"

establece que la proposicin compuesta "p q" es cierta, solamente cuando sus dos proposiciones
componentes son falsas. Por tanto, su tabla de verdad es la siguiente:

p q pq
V V F
V F F
F V F
F F V