Professional Documents
Culture Documents
NOCIONES DE LOGICA
1J. INTRODUCCION
J.2. PROPOSICIONES
Defin~cin
las proposiciones genricas son denotadas con las letras p, q. r, etc. A partir de
pmr)~iron~s ~imp!es es posible generar otras: simpll"s o rompw~tas Es decir. se
puo::Je operar con proposiciones, y segn sean tales operaciones se utilizan ciertos
slmholos, llamados conectivos lgicos.
Conectivo Operacin asociada Signiitcado
Negacin no p o no es cierto que p
/'. Conjuncin o producto lgico p y g
V Disyuncin o suma lgica p o q (en sentido incluyente)
Implicacin p implica q o si p. entonces q
Doble implicacin p si y slo si q
Diferencia simtrica p o q (en sentido excluyente)
1.4.1. Negacin ~ ~~
Definicin
Negacin de la propoSicJon p es la proposicin -p (n<;> p), cuya tabla de
valores de verdad es
Ejemplo 11.
La negacin de
p : todo hombre es honesto
es -p : no todo hombre es honesto
o bien: -p : no es cierto que todo hombre es honesto
-p : hay hombres que no son honestos
-p : existen hombres deshonestos
la cual es V, ya que la primera es F.
1.4.2. Conjuncin
Definicin
Conjuncin de las proposiciones p y q es la proposicin p ' q (p y q). Cltya
tabla de valores de verdad es
p q p ,\ q
V V V
V F F
F V F
F F F
Ejemplo 11.
Si declaramos
i ) 3 es un nmero impar y 2 es un nmero primo
se trata de la conjuncin de las proposiciones
p : 3 es un nmero impar
'' : 2 es un nmero primo
1.4.3. Disyuncin
Definicin
Disyuncin de las proposiciones f1 y q es 13 proposicin p v q (p o q) cuya
tabla de valores de verdad es
NOCIONES Df LOGICA
p q p V q
V V V
V F V
F V V
F F F
Ejemplo i-3.
i ) hoy es lunes o martes
representa la disyuncin de las proposiciones p: hoy es lunes y q: hoy es martes. El
sentido de la '~onjuncr' o es exlcuyente, ya que p y q no pueden ser simultnea-
mente verdaderas. No obstante, la proposicin compuesta puede analizarse a la luz
de la tabla propuesta, a travs de los tres ltimos renglones, y ser falsa slo si las
dos lo son.
ii ) regalo los libros viejos o que no me sirven
es la disyuncin de las proposciones
Definicin
Implicacin de las proposiciones p y q es la proposicin p => q (p implica q,
si p entonces q) cuya tabla de valores de verdad es
l'l:l{ACIONLS PROPOSICIONALES
p q p ==> q
V V V
V F F
F V V
F F V
p : apruebo el examen
q : te presto el apunte
f.emplo i 4.
i l SI hoy es lunes, entonces maana es marte~
p : hoy es lunes
q : maana es martes
p q p ~ q
V V V
V F F
F V F
F F V
p
V
V
q
V
F
p
-V
F
q q =1'
V
V
p (p
- q) A
V
F
(q => p)
F V V F F
F F V .y V
.'ernplo 1-5.
i) T es equiltero si y slo si T es equingulo
es ;a doble iinplicacin de las proposicones
p.: T es equiltero
q : T es equingulo
Toda vez que p sea V, tambin lo es q. y anlogamente, si p es F, q es F. De
n1odo que la doble implicacin es V~ -----------
ii) a =b si y slo si a2 =b 2
las :Jroposiciones son
p: a= b
q: a2 = b2
Definicin
Diferencia simtrica o disyuncin excluyente de las proposiciones p y q es la
proposicin p ~ q (p o q, en sentido excluyente) cuya tabla de valores de
verdad es
p q p~q
V V F
V F V
F V V
p q p = q
V V V
V F F
F V V
F F V
Ejemplo 1-6.
La siguiente implicacin es V:
"SI Tes equiltero, ENTONCES T es issceles"
En este caso p : T es equiltero
q : T es issceles
y p es cmdicin suficiente para q, es decir, que un tringulo sea equiltero es
suficiente para asegurar que sea issceles. Por otra parte, T es equiltero slo si es
issceles: es decir, que un tringulo sea issceles es necesario para que sea equiltero.
Sea ahora la doble implicacin p ~> q, es decir { p =
q) ' q ""' p) Si
p ~ q es V. entonces p ~ q es V y q => p es V. Se tiene, atendiendo a la
primera, 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 p ~ q es V, entonces el antecedente p es condicin necesaria y
suficiente para el consecuente q.
Anlogamente, en el caso de doble implicacin verdadera, el consecuente q es
tambin condicin necesaria y suficiente para el antecedente p.
Ejemplo li.
La proposicin
"T es equiltero SI Y SOLO SI T es equingulo"
es la doble implicacin de las proposiciones
p : T es equiltero
q : T es equinguio
Consideremos la proposicin
l(p ~ q)
cuy tabla de valores de verdad es:
l.6.L Involucin
...., ( -p) ~ p
(PVP)~p
1.6.3. Conmutatividad
a) de la disyuncin pvq~qvp
J .6.4. Asociatividad
a) de la disyuncin
( p V q) V r *> p V ( q V r)
b) De la ..:onjun~i6n
j ,, ' rl
1.6.5. Distributividad
a) de la conjuncin respecto de la disyuncin
(p v q) " r ~ (p " r) v (q f\ r)
b) de la disyuncin respecto de la conjuncin
..
(p q) :\ r (p r) (q r)
V V
V
V
1
V 1
V
-$?
"
V
V
V V
l\
1 1 V
..'
1 F F
V V V 1 F V 1 F F
V V F 1
1
1
V
1
1
1
V V V V
.. F
..
V V F 1 F 1 F V F 1
1 F F
1 1
F V V 1 V 1 V V V 1
V 1 V
1
F V V 1
t F '
1 F V F 1
1 F 1 F
F F
F F
F
F
1
1
1
1
F
F
1
1
1
!
V
F
V
V
F
F
.:
1
F
F
1
1
F
F
l:.}emplo 1-9.
Confeccionamos la tabla de valores de verdad de la siguiente ley de De Morgan:
.-
~
(p 1\ q) ~ -p V -q
1
1
F :1
V vv V F 1
1
F :
t
F
1 V 1 V F F V F 1 V 1 V
1 1 1
t
1 V l F F V V V 1 V 1 F
1 1 1 1
1 V 1 F F F V V 1 V 1 V
IMI'LIC' ACIONI:.S ASOCI ADAS
Ejemplo !-10.
La proposicin
(p 1\ q) ~ p
es una ley lgica, pues la tabla
(p A q) => p
V V V V V
V F F V V
F
F
-t
F
-
-
V
r- ..
V
...t
(p
V
1
i
=
V 1
1
q)
V
~
V '
1
-
V '
1
(p
V
\
F
--q)
F
1 1 1
1
V 1 F 1
1 F V 1
F 1 V V V
1
F 1
V 1
1 V V 1
1
V '
1
1
F F F
F 1
V 1
1 F V 1
V 1 F F V
1
'
Eempln lll,
Sean las implicaciones
i ) Si hoy es 'lunes, entonces maana es mircoles.
ii) 1 = -1 1 = 2
= <- o
Sus negaciones son, respectivamente,
"Hoy es lunes y maana no es mircoles"
1 = - 1 11 12 =;.(- I? "
RA ZO NA.J'AJENTO DEDUCJIVO 13
p
p =>q
q
b) Ley del modus toiens:
p =>q
-q
-p
. Est.e esquema es la notacin clsica del condj~iona l
Ejemplo 112.
a) Justificar la validez del razonarrento
p ""*' q
-,. =:> -q
-( -p ,, -t)
t =*'S
-r
S
P (x): x es impar
Es claro que el enunciado: ''x es impar" no es una proposicin, ya que a menos que
se especifique a x no podemos decir nada acerca de su verdad o falsedad. curre, sin
embargo, que para cada asignacin dada al sujeto x dicho enunciado es una
proposicin. A expresiones de este tipo se las llama funciones o esquemas
proposicionales.
Definicin
Funcin proposicional en una variable o indeterminada x es toda oracin en la
que figura x como sujeto u objeto directo, la cual se convierte en proposicin
para cada especificacin de :c.
En nuestro ejemplo resultan proposiciones como
Vale entonces la siguiente !egla: para negar una funcin proposicional cuantificad
existencialmente se cambia el cuantificar en universal, y se niega la f1mcion
proposicional.
Se tienen las siguientes equivalencias
-[vx :P(x)} ~ 3x/-P(x)
-[3x/P(x)} # Vx:-P(x)
Ejemplo 1-13.
Sea la proposcirt :
Todo el que la conoce. ia admtia.
Nos interesa escribirla en lenguaje simblico. negarl:l. y retraducir ia nega..:in al
lenguaje ordinario.
La proposicin dada puede enunciarse:
Cualquiera que sea la persona. si la conoce. entonces la 1dmira.
Aparece clara la cuantificacin de una implkacin de las funciones proposicionales
? (:e) : x la cono..: e
Q (x): x la admira
Se tiene
1l
;
Vx: P(x) => Q(x)
l
f
!J
Y pasando arlenguaje ordinario:
t Ejemplo J. J.J.
Consideremos a rrJJ~mJ ..:ue:;un <!n .el siguiente -:nso:
Todo entero admte un inverso aditivo.
Es decir
"Cualquiera que sea el entero, existe otro que sumado a l da cero".
Intervienen dos variables y la f~ncin proposicional
P (x , y): x +y= O
- - ~: . -.-.........
18 NOCIONES DE LOGICA
Ej~mplo /-15.
Sea la proposicin
Hay alumnos que estudian y trabajan.
Su enunciado sugiere un cuantificador existencial y dos funciones proposicionales
P (x) : x estudia
Q (x) : x trabaja
0-----:~
CIRCUITOS LOGICOS 19
y para p, si es F
~--.--/
p q
Este circuito admite el pasaje de comente, es decir.la verdad de p ' q, slo si las
dos son V.
ii ) Disyuncin. Est representada por un <:ircuito en paralelo
lf---------<0
_ _j
q
y r?sult::~ el circuito
Ejemplo 116.
i ) El circuito correspondiente a la proposicin
(p .~ q) v (-q) es
p q
r---~~----~~----~
o----1 t-------'0
r---o
r
es
p i< ' r)
TRABAJO PRACTICO
i ) "'(""'P V "'Q)
ii) -(p V q) V ("'P 1\ q)
iil p v r ~ r '\ -s
1-27. Neg.ar las proposiciones
i ) 3 :r: P (x) v -o (x)
ii ) "ii x : P (x) => Q (x)
iii} "i/ X 3y j X )' = 0
1-28. Verificar que para probar la equivalencia de las proposiciones p. q, r y s es
suficiente demostrar las siguientes implicaciones:
p =!- q q ~ r r=s y s~p
p : a . b es impar
q :a y b son impares
Demostra r p = q
134. Justificar el ruzonamien to
p V -q
-q <:> T
p v -r
p
J-15. Le llismo t:n el siguieme caso :
(p !' Q.} = r
r=-s
S