PROPOSICIONES

09/08-15/08/2015

1. Lgica Proposicional
Proposicin
Una proposicin es todo enunciado al que se le puede asignar uno y slo uno de los
valores de verdad, que son:
VERDADERO (V)

FALSO (F)

Por lo general, las proposiciones se representan con las letras minsculas del alfabeto,
desde la letra p en adelante, es decir, p, q, r, s, t, ... etc.
Ejemplo
a) La expresin 15 + 5 = 21 es una proposicin que se puede indicar brevemente de la
forma
p: 15 + 5 = 21
cuyo valor de verdad es falso, lo que se indica mediante
V(p) = F
b) Sea la proposicin
q: Santa Fe es una provincia argentina

V(q) = V

c) Sea la proposicin
r: el nmero 15 es divisible por 3

V(r) = V

Funciones Proposiciones
Si en la proposicin "cinco es mayor que tres" (en smbolos es 5 > 3) reemplazamos al
nmero 5 por la letra x, se obtiene la expresin "x es mayor que tres" (x > 3), y si
convenimos que x no represente necesariamente al nmero 5, sino a un nmero real
cualquiera, entonces el enunciado x > 3 se denomina funcin proposicional y se anota
p(x) o p(x).
Una funcin proposicional en una variable o indeterminada x es un enunciado en el que
aparece x como sujeto y que se convierte en una proposicin cuando se le asigna un valor
especfico a la variable.
Ejemplo
Sea la funcin proposicional p(x): 2x-5 = 3. Si se remplaza x por 4 y x por 2, se
obtienen, respectivamente, los siguientes valores de verdad: p(4) = V y p(2) = F
Ejemplos
p(x): 2x + 5 > 11. Si x = 4, p(4) = 13 13 > 11 (Verdadero)
q(y): 3y + 7 = 11. Si y = 5, q(5) = 22 22 = 16 (Falso)
r(x): 2x + 1 = 5. Si x = 2, r(2) = 5 5 = 5 (Verdadero)

2 Lgica Proposicional

Observacin
Las proposiciones pueden ser simples o compuestas, estas ltimas constan de dos o ms
enunciados simples.
Ejemplo
Sea la siguiente proposicin r
r: Pitgoras era griego
p

era gemetra.

Se observan dos proposiciones simples. La primera, p, nos afirma que Pitgoras era
griego y la segunda, q, que Pitgoras era gemetra.

Operaciones Lgicas
A partir de proposiciones simples es posible generar otras, las compuestas. Es decir, se
puede operar con proposiciones utilizando para ello ciertos smbolos llamados conectivos
lgicos.
Operacin

Smbolo

Negacin
Conjuncin o producto lgico
Disyuncin o suma lgica
Implicacin
Doble implicacin
Diferencia simtrica o Disyuncin excluyente

Significado
no .. o no es cierto que
. y .
o (en sentido incluyente)
implica , o si entonces
si y slo si
o (en sentido excluyente)

Negacin
Dada una proposicin p, se denomina negacin de p a otra proposicin denotada por ~p
(se lee "no p") que le asigna el valor veritativo opuesto al de p. Esta ley que define a la
negacin lgica o simplemente negacin, se presenta generalmente, en forma resumida
utilizando una tabla de doble entrada denominada tabla de verdad.
La tabla de verdad de la negacin es:
p

~p

V
F

F
V

Observamos que al valor V de p,

la negacin le hace corresponder
el valor F, y viceversa.

Ejemplo
Sea la proposicin p: 3 > 1, su negacin es ~ p: 3 1.
Se observa que V(p) = V y V(~ p) = F
NOTA: se trata de una operacin unitaria, pues se define para una proposicin.

Conjuncin o Producto Lgico

Dadas dos proposiciones p y q, se denomina conjuncin de estas proposiciones a la
proposicin compuesta p q (se lee "p y q"), cuya tabla de verdad es:
p

p q

V
V
F
F

V
F
V
F

V
F
F
F

La tabla que define esta operacin, establece que la conjuncin es verdadera slo si lo
son las dos proposiciones componentes (en todo otro caso, es falsa). Es una operacin
binaria.
Ejemplos
a) Sean las proposiciones
p: 5 es un nmero impar
q: 6 es un nmero par
Entonces la conjuncin entre p y q es
p q: 5 es un nmero impar y 6 es un nmero par
Se obtienen los siguientes valores de verdad:
V(p q) = V
V(~p q) = F
b) Sean las proposiciones
r: todos los nmero pares son divisibles por 2
~ r: existe un nmero par que no es divisible por 2
Qu valor de verdad tiene la proposicin compuesta r ~ r?
Cualquiera sea la proposicin p qu valor de verdad tiene p ~ p?
Disyuncin o Suma lgica
Dadas dos proposiciones p y q, la disyuncin de las proposiciones p y q es la proposicin
p q (se lee p o q) cuya tabla de valores de verdad es:

p q

V
V
F
F

V
F
V
F

V
V
V
F

La disyuncin o es utilizada en sentido incluyente, ya que la verdad de la disyuncin se

da en el caso de que al menos una de las proposiciones sea verdadera. En el lenguaje
ordinario la palabra o es utilizada en sentido incluyente o excluyente indistintamente.

4 Lgica Proposicional

Para evitar toda posibilidad de ambigedades, en matemtica se utiliza la disyuncin

definida por la tabla precedente, que muestra que la disyuncin slo es falsa cuando
ambas proposiciones son falsas, o bien, se utiliza la disyuncin excluyente para
interpretar otra situacin.
Ejemplo
Sean las proposiciones
p: 5 es un nmero impar y q: 6 es un nmero par
La proposicin compuesta que indica la disyuncin entre p y q es
p q: 5 es un nmero impar o 6 es un nmero par
El valor de verdad del enunciado compuesto anterior es
V(p q) = V
El valor de verdad del enunciado compuesto ~ p ~ q es V(~p ~q) = F
Implicacin o Condicional
Implicacin de las proposiciones p y q es la proposicin p q (si p entonces q) cuya
tabla de valores de verdad es:
p

p q

V
V
F
F

V
F
V
F

V
F
V
V

La proposicin p se llama antecedente, y la proposicin q se llama consecuente de la

implicacin o condicional. La tabla nos muestra que la implicacin slo es falsa si el
antecedente es verdadero y el consecuente es falso.
Sean las proposiciones
p: Jos es mendocino y
q: Jos es argentino
La proposicin compuesta p implica q es
p q: Si Jos es mendocino, Jos es Argentino
V(p q)= V
V(p ~q)= F
V(q p)= F
Expresiones sinnimas
pq
Si p entonces q
Si p, q
Todo p verifica q
p implica q
p slo si q

q si p
q cuando p
Si adems V( p q ) =V, se dice que
p es condicin suficiente para q

q es condicin necesaria para p

Ejemplo
a) Sean las funciones proposicionales
r (x): x > 2
s (x): x2 > 4
2
El enunciado si x > 2 entonces x > 4, es una proposicin verdadera, por lo cual r es
condicin suficiente para s, y s es condicin necesaria para r.
El enunciado si x2 > 4 entonces x > 2, es una proposicin falsa, por lo cual s no es
condicin suficiente para r, y r es condicin necesaria para s.
b) Sea la funcin proposicional 2x + 5 13, Es x 0 una condicin necesaria,
suficiente, o necesaria y suficiente para que la proposicin sea verdadera?
c) La siguiente implicacin es verdadera:
"Si el tringulo T es equiltero, entonces T es issceles"
En este caso, se tienen las proposiciones
p: T es tringulo equiltero

q: T es tringulo issceles

La proposicin p es condicin suficiente para q, es decir, que un tringulo sea equiltero

es suficiente para asegurar que es issceles. Por otra parte, T es equiltero slo si es
issceles; es decir que un tringulo sea issceles es necesario para que sea equiltero.
Implicaciones asociadas
Dada la implicacin p q, que llamaremos directa, existen varias implicaciones
asociadas, una de ellas es la implicacin contrarrecproca ~q ~p. Haciendo la tabla
de verdad
p

p q

~p

~q

~q ~p

V
V
F
F

V
F
V
F

V
F
V
V

F
F
V
V

F
V
F
V

V
F
V
V

se observa que los valores de verdad de las implicaciones p q y ~q ~p son

iguales. Se dice que las implicaciones contrarrecprocas son equivalentes, es decir, tienen
el mismo valor de verdad.
Cmo son los valores de verdad de la implicacin p q y de la denominada
implicacin recproca q p?

6 Lgica Proposicional

Doble Implicacin o Bicondicional

Doble implicacin de las proposiciones p y q es la proposicin p q (se lee "p si y slo
si q") cuya tabla de valores de verdad es

p q

V
V
F
F

V
F
V
F

V
F
F
V

La doble implicacin o bicondicional slo es verdadera si ambas proposiciones tienen el

mismo valor de verdad.
La doble implicacin puede definirse como la conjuncin de una implicacin y su
recproca. De este modo, la tabla de valores de verdad de p q puede obtenerse
mediante la tabla de (p q) (q p), como vemos:
p

p q

qp

(p q) (q p)

V
V
F
F

V
F
V
F

V
F
V
V

V
V
F
V

V
F
F
V

Ejemplo
Sea el enunciado
a = b si y slo si a = b
donde a y b son nmeros reales cualesquiera.
Se observa que el enunciado est compuesto por las proposiciones:
p: a = b
y
q: a = b
Como V(p q) =V y V(q p) = F, entonces V(p q) = F
OBSERVACIN
La doble implicacin p q, es una operacin equivalente a la conjuncin de las
implicaciones
(p q) (q p)
Si V(p q) = V, entonces V(p q) = V y V(q p) = V. Se tiene, observando el valor
de verdad de la primera implicacin, que p es condicin suficiente para q y, teniendo en
cuenta la segunda implicacin, ocurre que p es condicin necesaria para q.

Es decir, si V(p q) = V, entonces p es condicin necesaria y suficiente para q y,

anlogamente, q es tambin condicin necesaria y suficiente para p.

Proposiciones lgicamente equivalentes

Dos proposiciones p y q se llaman equivalentes si sus tablas de verdad son idnticas. De
ser as se denota: p q
Ejemplo
Sea la proposicin compuesta p q, recordamos su tabla de verdad

p q

V
V
F
F

V
F
V
F

V
F
V
V

Ahora bien, si analizamos la proposicin compuesta ~p q, su tabla de verdad es

~p

~p q

V
V
F
F

F
F
V
V

V
F
V
F

V
F
V
V

Se observa que las tablas de valores de verdad de ambas proposiciones son iguales. Se
dice que ambas proposiciones son lgicamente equivalentes, y en este caso particular lo
simbolizamos:
(p q) (~p q)

Clasificacin de proposiciones: Tautologa, contradiccin y

contingencia
Al conjunto de proposiciones, conectivos lgicos y smbolos de agrupacin lo
denominamos frmula lgica.
Por ejemplo,
~ { (p q) (s t) }
Si al evaluar una frmula lgica, resulta que todos los valores de verdad son siempre
verdaderos para cualquier combinacin de los valores de verdad de las proposiciones
componentes, se dice que dicha frmula es una Tautologa o Ley lgica.

8 Lgica Proposicional

Ejemplo
Analizando la proposicin p ~p mediante la tabla de verdad, se tiene:
p

~p

p ~p

V
F

F
V

V
V

Se observa que para cualquier combinacin de las proposiciones p y su negacin ~p, la

proposicin p ~p es siempre verdadera. Luego, la proposicin compuesta p ~p es una
tautologa.
Ejemplo
Sea la frmula lgica { ( p q ) p } q
La tabla de valores de verdad es:
p

pq

{(pq)p}

V
V
F
F

V
F
V
F

V
F
V
V

V
F
F
F

V
V
V
V

V
F
V
F

Se observa que, independientemente de la combinacin de valores de verdad de las

proposiciones p y q, el resultado de la frmula lgica es siempre verdadero. Esta frmula
es una tautologa.
Si al estudiar una frmula lgica, a diferencia de los ejemplos anteriores resulta que para
cualquier valor de verdad de las proposiciones intervinientes el resultado de dicha
frmula es siempre falso, se dice que dicha frmula es una Contradiccin.
Ejemplo
Analicemos la frmula lgica p ~p
p

~p

p ~p

V
F

F
V

F
F

La frmula es siempre falsa, es una Contradiccin.

NOTA: Si una proposicin no es una tautologa ni una contradiccin (es decir que
contiene al menos un valor V y otro F) es una Contingencia.

Ejercicio 1. Analizar la frmula lgica p ~p

p

~p

p ~p

V
F

F
V

F
F

Encontramos que la frmula es siempre falsa, es entonces una Contradiccin.

Si una proposicin no es una tautologa ni una contradiccin (es decir que contiene al
menos un valor V y otro F) es una contingencia
Ejercicio 2. Clasifique como tautologa, contradiccin
siguientes esquemas moleculares:
a) [(p q) q] v p
b) (p q) v p
c) p ( p q)

y contingencia. Los

d) ~ (p v q) p
e) [(p ~ q) p ] ~q
f) ~p v ~ ( p v q )

Ejercicio 3. Si p= V , q= V, r= F. Halle el valor de verdad de los siguientes

esquemas moleculares:
a) (p q ) (~p V r )
c) p q r
e) ( p ~q ) r
b) ~r [p ( r V q ) ]
d) )[(p q) (q r )] ~p
f) (~p V q ) ( ~r q )
Ejercicio 3. Si p y q son proposiciones falsa y verdadera respectivamente, halle
el valor de verdad de las siguientes proposiciones:
a) p V ( p q )
b) ( p V q ) p

c) p ( p q )
d) (p V q ) [ p ( p q ) ]

Ejercicio 4. Construir la tabla de verdad de las siguientes proposiciones:

a)

(p ~q) (pq)
d)

b) (p ~q) (~p V r)

[(~p) v q] (~q ~p)

f)

e)

c)

(p q) (q p)

(p r) (~q v r)

(p q) v r (~p v ~q) (~r)