Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica Proposicional en Revision 2011 Version 2
Logica Proposicional en Revision 2011 Version 2
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)
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
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.
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
p q
V
V
F
F
V
F
V
F
V
F
V
V
q si p
q cuando p
Si adems V( p q ) =V, se dice que
p es condicin suficiente para q
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
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
p q
V
V
F
F
V
F
V
F
V
F
F
V
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.
p q
V
V
F
F
V
F
V
F
V
F
V
V
~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)
Ejemplo
Analizando la proposicin p ~p mediante la tabla de verdad, se tiene:
p
~p
p ~p
V
F
F
V
V
V
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
~p
p ~p
V
F
F
V
F
F
( x : p(x))
es
"Existen enteros que no son impares" ( x / ~p(x))
Luego, para negar una funcin proposicional cuantificada universalmente se cambia el
cuantificador en existencial y se niega la funcin proposicional.Cmo se niega una
funcin proposicional cuantificada existencialmente?
Demostracin Matemtica
Todo teorema matemtico se puede formular como una implicacin
p
q
Hiptesis
Tesis
Premisa
Conclusin
Esta implicacin puede ser V o F.
Verdadera
Falsa
Demostracin
Mtodo Directo
Contraejemplo
Mtodos Indirectos
Contrarrecproco
Contradiccin
En el caso de ser falsa, basta con un contraejemplo para refutarla. En el caso de ser
verdadera, hay que realizar una demostracin.
Refutacin
V(p q) = F, slo sucede en el caso de que V(p) =V y V(q) = F, por lo que
V(p ~ q) = V, razn por la cual, para dar un contraejemplo, se debe verificar que
V(p ~ q) = V
Ejemplo
Sea el enunciado si x (natural) es un nmero impar, entonces es mltiplo de 3.
Como la implicacin es falsa, para refutarla, hay que buscar un nmero que sea impar
pero que no sea mltiplo de 3, por ejemplo 7.
Demostracin
Para realizar una demostracin, se usan los llamados mtodos directos o indirectos.
Mtodo directo: a partir de la verdad de p se debe concluir en la verdad de q.
Ejemplo
Sea el enunciado si n es un nmero par entonces n.m es par para todo nmero entero
m.
Demostracin
Si n es un nmero par, n se puede escribir de la forma 2.k, siendo k un nmero entero, es
decir
n = 2.k, luego m.n = m.(2.k)
= 2.(m.k)
= 2. t
Luego m.n es par ya que puede escribirse como 2.t, siendo t un nmero entero.
11
Mtodos indirectos:
I) Se utiliza la implicacin contrarrecproca, es decir, demostrar la verdad de p q es
equivalente a mostrar la verdad de ~q ~p.
Ejemplo
Sea la implicacin directa siendo n entero, si n2 es par entonces n es par
La implicacin contrarrecproca es siendo n entero, si n es impar entonces n2 es impar
Demostrando la verdad del enunciado contrarrecproco se demuestra la verdad de la
implicacin directa.
Demostracin
Si n es impar, puede escribirse de la forma n = 2k+1, siendo k un nmero entero, luego
n2 = (2k + 1)2
= 4 k2 + 4k + 12
= 2 (2 k 2 + 2k) + 1, que es un nmero impar,
2
luego, si n es par entonces n es par.
II) Por contradiccin, como V(p q) = V, y se sabe por hiptesis que V(p) =V y se debe
concluir que V(q) =V, entonces V(p ~ q) = F o una contradiccin.
Ejemplo
Probar que el opuesto de un nmero real es nico