Captulo 1

NOCIONES DE LOGICA

1J. INTRODUCCION

Todo desarrollo matemtico exige razonar en forma vlida acerca de cosas

trascendentes y particularmente abstractaS'. Hay que comenzar por eliminar las
ambigedades del lenguaje ordinario, introduciendo smbolos y conectivos cuyo uso
adecuado descarte las contingencias. aporte claridad y economa de pensamiento. En
este capitulo introducimos el concepto de proposcin, las operaciones proposiciona-
les y sus leyes, reglas de inferencia, y la cuantificacin de funciones proposicionales,
cuyo uso estar presente en todo el texto.

J.2. PROPOSICIONES

Considemmos las siguientes oraciones:

l. Quin viene?
2. Detngase
3. El calor dilata los cuerpos
4. 4 es un nmero impar
5_ Juan ama la msica
6. La msica es amada por Juan
Se trata de sei~ oradnneo; diferentt.:> .. una nterrcgativ:.~ , rm<J orden v .;uatro.
declarativas. be las dos primeras no podemo;~ d.:cir que sean verdaderas ni falsa~;
una pregunta puede formularse o no, y una orden puede ser cumplida o no. En
cambio, de las cuatro ltimas, que son declarativas, tiene sentido decir si son
verdaderas o falsas. A stas las llamamos proposiciones.

Defin~cin

Proposicin es toda oracin respecto de la cual puede decirse si es verdadera o

falsa.
2 NOCIONES DE LOGlCA

Es decir, proposicin es toda oracin declarativa. Toda proposicin est asociada

a un valor de verdad, el cual puede ser verdadero (V) o bien falso (F). Las oraciones
(S) y (6) son diferentes desde el punto de vista gramatical; el objeto directo de la
(5) es el SUJeto de la (6), pero ambas tienen el mismo significado, y las
considerarnos corno la misma proposicin. Podernos decir entonces proposicin es el
significado de roda oracin declarativa.

1.3. NOTACIONES Y CONECTIVOS

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. OPERACIONES PROPOSICIONALES

Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas

una o dos proPQsiciones, cuyos valores de verdad se conocer)_, se trata de caracterizar
a proposicin resultante a travs de su valor de verdad. Se supone que en la
eleccin de estos valores se tiene en cuenta el buen sentido.

1.4.1. Negacin ~ ~~

Definicin
Negacin de la propoSicJon p es la proposicin -p (n<;> p), cuya tabla de
valores de verdad es

Se trata de una operacin unitaria, pues .a partir de una proposicin se obtiene

. tra, que es su negacin.
 OPERACIONES PROPOSICIONALES

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

La tabla que define la operacin establece que la conjuncin slo es verdadera si

lo son las dos proposiciones componentes. En todo otro caso es falsa.

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

y por ser ambas verdaderas, la proposicin compuesta es V .

ii) hoy es lunes y maana es jueves
esta conjuncin e~ F, ya que 110 coexisten las verdades de p y q.

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

La conjunc1on 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 V. En el
lenguaje ordinario la pal~bra o es utiiizada en sentido excluyente o incluycmc.
La ambigedad se eiimina con !a cle..:.:n del snbolo adecuo:1dv.
En matemtica se utiliza 14 disyuncin definida por ia tabla precedente . la w:1!
agota toda posibilidad.
La disyuncin slo es F en el caso en que las dos proposiciones componentes
sean falsas.

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

p : regalo los libros viejos

q : regalo los libros que no me sirven

El sentido del o es incluyente , pues si en efecto regalo un libro que es vie.io. v

,p..: act. mas no me srve. entonces p v q es V,

mi 3 ..:s un numero impM o 4 es un nme ro pri:no

~-. una prvpoposicin V. pues la primera es V .

. 1.4.4. Implicacin o Condicional

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

Las proposiciones p y q se llaman antecedente y consecuente de la implicacin .:>

.:nJki<maL Ll impli..::.tdn usual en matem:itca es forma en e! sentido de lJU~
no es necesario que el consecuente se derive lgicamente de! antecedente: cuando
esto ocurre. la impiicacin se llama material y queda incluida en la primera.
Las tablas de valores de verdad se definen arbitrarilunente, pero respetando el
sentido comn. Enunciamos la siguiente proposicin:
"SI apruebo el examen, ENTONCES te presto el apunte" {1)
Se trat:r de la implicacin de las proposiciones

p : apruebo el examen
q : te presto el apunte

Interesa inducir la verdad o falsedad de la implicacin (1), en trminos de la V o

F de las proposiciones p y q. El enunciado (1) puede pensarse como un
compromiso, condicionado por p. y podemos asociar ~u verdad al cumplimiento del
compromis. Es obvio que si p es F, es decir, si no apruebo el examen, quedo
liberado del compromiso, y preste o no preste e~ apunte la proposicin (I) es V. Es
decir, si el antecedente es F, la implicacin es V.
Si p es V. en cuyo caso apruebo el examen, y no presto el apunte, el compromiso
no se cumple, y la proposicin (1) es entonces F. Si p y q son V, entonces la
implicacin es V porque el compromiso se cumple.
De este modo.,la implicacin slo es falsa cuando el antecedente es V y el
consecuente es F

f.emplo i 4.
i l SI hoy es lunes, entonces maana es marte~

es la implicacin de las proposiciones

p : hoy es lunes
q : maana es martes

Como no puede darse antecedente V y consecuente F, la implicacin es V.

ii) 1 = - 1 ==> 12 = (-l ) 2
es V por ser el antecedente F.
6 NOCIONES DE tOGICA

1.4.5. Doble implicacin o bicondicional

Definicin
Doble implicacin de las proposiciones p y q es la proposicin p ~ q (p si y
slo si q), cuya tabla de valores de verdad es

p q p ~ q
V V V
V F F
F V F
F F V

La doble implicacin o bicondicionai slo es verdadera si ambas proposidones

tJcnen el mismo valor de verdad.
La doble impcacin puede definiise como la conjuncin de una implicacin y su
'edproca. De este modo, la tabla de valores de verdad de p - q puede obtenerse
;,, ::diante la tabla de ( p = q) A t q = p), como sigue

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

la dvble mplicacin propuesta es falsa si pes F y q es V. En los dems casos es V.

 CONDICIONES NECESARIAS Y SUFICIENTES 7

1.4.6. Diferencia simtrica

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

La verdad de p ~ q est caracterizada por la verdad de una y slo una de las

proposiciones componentes. ,
Es claro que p ~ q equivale a la negacin de p <* q.

1.S. CONDIOONES NECESARIAS Y SUFICIENTES

Consideramos la tabla de valores de verdad de la implicacin

p q p = q
V V V
V F F
F V V
F F V

Hay tres casos en que p = q es V, y entre ellos hay uno en que p es V. en el

cual resulta q verdadera. Es obvio que nos referimos al primer rengln de la tabla, y
se tiene que si p = q es V y p es V, entonces q es V. Se dice entonces que el
antecl!dente p es condicin suficiente para el consecuente q.
En' o
cambio, si !"e~ F' nada podemos decir de q. puesto que puede ser V F. Poi
otra parte , cuando p => q es V, si q es V, entonces p puede ser V o F; mas para
que p sea V se necesita que q lo sea. Se dice entonces que q .es condicin neceJlllia._
para p .
- - Res-umiendo, si p => q es V, entonces p es condicin suficiente para q Y q es
condicin necesaria para p.
Estas condiciones suelen expresarse as :
q si p (condicin suficiente)
p slo si q (condicin necesaria)
 NOCIONES lJE LOGICA

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

Aqulla es V, y cualquiera de las dos proposiciones es condicin necesaria y

suficiente para la otra.

1.6. LEYES LOGICAS

Consideremos la proposicin
l(p ~ q)
cuy tabla de valores de verdad es:

p q p~q (p """q) A p {(p ~ q) ,\ p} ""'q

V V V V V
V F F F. V
F V V F V
F F V F V
1
 LEY ES LOGICAS 9

La proposicin compuesta (1) es V, independientemente de los valores de verdad

de las proposiciones componentes. Se dice entonces que tal proposicin es una
tautologa o ley lgica.
la proposicin p =* p es V cualquiera que sea el valor de verdad de p. Es otro
ejemplo de una ley lgica.
En cambio p A ""P es F, cualquiera que sea p. Se dice que es una contra-
diccin.
En el clculo proposicional se utilizan las siguientes leyes o tautologas cuya
demostracin se reduce a la confeccin de la correspondiente tabla de valores de -
verdad :

l.6.L Involucin
...., ( -p) ~ p

el modo de leerla es: "no. no p , equivale a p".

'
t .6.2. ldempotencia
(p (\ p) ~ p

(PVP)~p

1.6.3. Conmutatividad

a) de la disyuncin pvq~qvp

b) de la ..:onjuncin p.tq~q "- p

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) v r~(p v r)" (qv r)

lO NOCIONES DE LOGICA

1.6.6. Leyes de De Morgan

a) La negacin de una disyuncin es equivalente a la conjuncin de las negaciones
- (p V q) -$? -p 1\ -q

b) La negacin de una conjuncin es equivalente a la disyuncin de las

negaciones
- (p A q) -$? -p V -q
Ejemplo J-8.
Tabla de valores de verdad de la distributividad de la coniuncin resperro dt> 1~
.ii~;. ul~.;h'm.

(p V q) ' r -$? ( p " r) v ( q \ r)

Cada valor de verdad de p puede asociarse a dos valores de verdad de q, y por

cada uno de estos pares de valores se tienen dos posibilidades para r; en
:onsecuencia. resultan 2 3 = 8 renglones en la tabla. Si se dan n proposiciones, en la
tabla hay que analizar zn
renglones.
Por otra parte, es posible simplificar la confeccin de la tabla, como se indica a
;ommuacin

..
(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 " q) -$? -p V -q

.-
~

(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

nos muestra que es una tautologa.

1.7. IMPLICACIONES ASOCIADAS

Sea ;1 condicional p => q , que llamamos directo; en conexton con l. se

presentan otros tres. obtenidos por permutaciones o negaciones del antecedente y
consecuente :
q => p recproco
-p => -q contrario
-q => -p contra rrec proco

Las cuatro implicaciones propuestas se llaman conjugadas, y cualquiera de ellas

puede tomarse como directa. El siguiente esquema nos proporciona la relacin que
las vincula :
p =>q recprocos q =>p
.... -o"" ....
'bl}t ~\('}-- e
~
J'l te;,-.;
=
~ ~'t>c ~
~ r:.,O~
\.\':\.
~r. &"
Ocos
-p => -q recprocos -q => -p

Es fcil verifkar que las implicaciones contrarrecprot."US son equivalentes, es

decir. los siguientes bicondicionales son tautologas :
(p => q) ~ (-q => -p)
(q => p) ~ (-p => -q)
Si la implicacin directa es V, tambin lo es la contrarrecproca, y no podemos
afirmar la verdad de la recproca de la contraria. Pero si son verdaderos un
12 NOCIONES DE LOGlCA

condicional y su recproco o contrario, entonces son verdaderos los cuatro, y las

proposiciones antecedente y consecuente son equivalentes.
Se presenta continuamente la necesidad de demostrar la verdad de p =:- q, y de
acuerdo con lo expuesto se presentan dos mtodos:
i) directo. Si p es F, nada hay que probar, pues en este caso p => q es V. Si p
es V Jay que establecer que el valor de verdad de q es V.
ii) indirecto. Si q es V queda establecida la verdad de p =:- q. Pero si q es F
hay que examinar p y llegar a establecer que su valor de verdad es F.

! .8. NEGACION DE UNA lMPLICACION

Las proposlcones p ~ q y -(p ~ -q) son equivalentes. como lo muestra la

siguiente tabla

(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
'

En consecuencia, la negacin de la primera equivale a la negacin de la segunda,

es decir
-(p = q) <:> - [ -(p f\ -q) l

y por 1.6.1, se tiene

-(p => q) <:> (p " -q)

Es decir. la negacin de una implicacin no es una implicacin. sino la
..:onjuncin del antecedente .:on la negacin del consecuente.

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

1.9; RAZONAMIENTO DEDUCTIVO VALIDO

En matemtica interesa el tipo de raz<!namiento llamado deductivo . Llamamos

razonamiento a un par ordenado ( {p} ; q), siendo { p) un c onjunto finito de
proposiciones, llamadas premisas, y q una proposicin, llamada conclusin, respecto
de la cual se ;_firma que deriva de las premisas.
Un razonamiento es deductivo s y slo si las premisas son evidencias de la
verdad de la conclusin, es decir, si p 1 p 2 , . p., son verdaderas, entonces q
verdadera. Un razonamiento deductivo es vlido si no es posible que las premisas
se:.~n verdaderas y la conclusin falsa. De un r;zonamiento no se dke que es V o -: .
smu qc t'S vlido o no .
Llamamos regla de inferencia. a todo esquema vlido de razonamiento. indepen-
dientemente de la V o F de las proposiciones .:omponentes. De este mod o. toda
regla de inferencia es tautolgica .
Un razonamiento deductivo es vlido cuando el condicional cuyo antecedente es
la conjuncin de las premisas. y el consecuente' es la conclusin. es tautolgico.
Son ejemplos de reglas de infercn.:ia:
a) Ley del modus pmrem:
SI p y p = q. ENTONCES q
La notacin clsica es

p
p =>q
q
b) Ley del modus toiens:

p =>q
-q
-p
. Est.e esquema es la notacin clsica del condj~iona l

") ley del s1logismo hipotTico:

p =>q
q =r
p => r

Es decir, la proposicin [cP

=> q) A (q => r)] => (P => r) es una tautologa.
En cambio, el condicional . [ ( p => q ) 1\ q ] => p no es u_na forma vlida de
14 NOCIONES DE LOGICA

razonamiento, ya que la correspondiente tabla de valores de verdad nos muestra que

no es tautolgico.

Ejemplo 112.
a) Justificar la validez del razonarrento

p ""*' q
-,. =:> -q
-( -p ,, -t)
t =*'S
-r
S

En lugar de confeccionar la tabla del condicional entre la conjuncin de las premisas

y la conclusin. haremos uso de las leyes del clculo proposicional, a fm de simplificar
la situacin. La segunda premisa es equivalente a la contrarrecproca q - r; por la ley
del silogismo hipottico. de la primera y de sta, resulta p - r. La ltima premisa es
V, y en consecuencia res F, y como p - res V resulta necesaria;nente que p es F. La
tercera premisa equivale a p v t. de acuerdo con una ley de De Morgan, y por ser p
falsa resulta la verdad de t. Ahora bien, siendo t y t => s verdaderos. resulta la verdad
des, por 1.9 a).

b) Justificar la validez del razonamiento cuyas premisas sn:

Hoy Uueve o hace fro,

Hoy Uueve o no hace fro,
y la conclusin: Hoy Hueve.
En lenguaje simblico se tiene
p V q
p V -q
p
q, o bien -q es F ~ cualquiera que sea el caso, por ser las disyunciones verdaderas,
resulta que p es V. De otro modo, la conjuncin de ambas disyunciones, por la
<listnbutividad, es equivalente a p V (q A -q). La verdad de aqullas asegura la
erdad de sta, y como q " -q es F, resulta la verdad de p.

1.10. FUNCIONES PROPOSICIONALES. SU CUANTIFICACION

El smbolo P (x) es la ~epresentacin de un predicado o propiedad relativos al

,)bjeto indeterminado x, perteneciente a cierto uriiverso o ..:onjunto. Si nos referimos a
 FUNCIONES PROPOSICIONALES 15

los nmeros enteros y estamos interesados en la propiedad de ser impar, entonces la

traduccin de P. (x) consiste en: x es impar, y se escnbe

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

P(- 4) : -4 es impar (F)

P( 5) : 5 es impar (V), etc.

Se presentan tambin funciones proposicionales con dos variables o indeterminadas.

Sea, por ejemplo
P (..~ , y) : x es divisor de y
Lo mismo que en el caso anterior, si x e y son enteros, P (x ,y) no es proposicin,
ya que no podemos afirmar la verdad o falsedad del enunciado. Mas parn cada
particularizacin de valores se tiene una proposicin
P (- 2, 6) ; - 2 es divisor de 6 (V)
P ( 12, 6) : 12 es divisor de 6 (F)
A partir de funciones proposicionales es posible obtener proposiciones generales
mediante un proces~ llam~o de cuantificacin. Asociados a la indeterminada x.
introducimos los smbolos V x y 3 x. llamados cuantificadores universal y existencial
en :e, respectivamente. Las expresiones
Par; todo x, se verifica P (x)
Existe x. tal que se verifica P (x)
se denotan mediante V x : P (x) (I)
3 x / P (x) (2)
y corresponden a una funcin proposicional p (x) cuantificada universalmente en el
primer caso, y existencialmente en el segundo. l !m funcin proposicional cuantificada
16 : NOCIONES DF LOGICA

adquiere el carcter de proposicin. En efecto, retomando el primer ejemplo, si

decimos
"Todos los nmeros enteros son impares". (1 ')
es claro que hemos enunciado una proposicin general y relativa a todos los nmeros
enteros, cuyo valor de verdad es F. Una traduccin ms detallada de esta proposicin
consiste en
"Cualquiera que sea x, x es impar".
Es decir 'r;t x : x es impar
Si .:uantific:~mos existencialmente la misma funcin proposidonal. se tene
3 x x es impar
O sea "Existe x. tal que x es impar'".
O bien "Existen enteros que son impares". (2')
O ms brevemente "Hay enteros impares".
El valor de verdad es V, y en consecuencia se trata de una proposicin. Ei
cuantificador existencial se refiere a, por lo menos, un x.
Es obvio que una funcin proposicional cuantificada universalmente es V si y slo si
son V todas llls proposiciones particulares asociadas a aqulla. P~ra asegurar la verdad
de una funcin proposicional, cuantificada existencialmente, es suficiente que sea
verdadera alguna de las proposiciones asociadas a la funcin proposicional.

Un problema de inters es la negacin de funciones proposicionales cuantificadas.

La negacin (1') es
"No todos los enteros son impares"
es decir "Existen enteros que no son impares"
y en smbolos 3xj-P(x)
Entonces, para negar una funcin proposicional cuantitlcada universalmente se
cambm el cuantifkador en existencial, y re niega la funcin proposdonat
La n~ga\.:in de ( :!"'_! ,~~

"No exis~en enteros impares".

Es decir "Cualquiera que iea el entero, no es impar"
o lo que es lo mismo
"Todo entero es par''.
En smbolos "1 .'\ : -p (X)
 CUANTliICAC'ION 17

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)

1 Teniendo en cuenta la forma de negar una funcin proposicional cuantificada

i universalmente y una implicacin resulta
3 X / p (X) A -Q (X)

l
f
!J
Y pasando arlenguaje ordinario:

Hay personas que la conocen y no la admran.

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

La expresin simblica es entonces

Vx3y/x+y=O
Su negacin es
3 X/ -(3y /X+ Y= 0)
Es decir
3x/Vy : x+y=FO
la traduccin al lenguaje comn es
"Existe un .:rHt:l u ~uya sufna .:vn~,;ualquer vw, e:. Ji ~ii nla J.; ..:t:Iu". (f)

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

En forma simblica se tiene

3 x P (x) A Q (x)
Su negacin es
V x: -(P(x) "1 Q (x)J
Y por ley de De Morgan
'<;/X: -P{x) V -Q(x)
Traduciendo al lenguaje ordinario
''Cualquiera que sea el alumno, no estudia o no trabaja".

1.11 CIRCUITOS LOGICOS

La verdad de una proposicin puede asociarse al pasaje de corriente en un circuito

elctrico con un interruptor.
Para representar a p, si es V , se tiene

0-----:~
 CIRCUITOS LOGICOS 19

y para p, si es F

Es decir, el interruptor se cierra si pes V y se abre si pes F.

Las operaciones proposicionales pueden representarse mediante circuitos con tantos
interruptores como proposiciones componentes, combinados en serie o paralelamente.
) Conjuncin

~--.--/
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

La falsedad de p v q. es decir, el hecho de que no pase corriente, slo se verifica

en el caso de la falsedad simultnea de p y q.
iii) Implicacin. Como
( p => q) ~ -(p t\ -q)
de acuerdo ~on 1.8, aplicando una ley de De Morgan y la doble negacin, se tiene
(p => q) ~ (-p V q)
En consecuencia. el ~ircuito asociado es
-p

lf---------<0
_ _j
q

iv) Diferencia simtrica.

Utilizando sucesivament~ 1.4.6., 1.4.5., una ley de De Morgan, la negacin de
10 NOCIONES DE LOGI CA

implicaciones y la distributividad de la disyuncin respecto de la conjuncin, se tienen

las equivalencias
(p :-,: q)~ -(p <* q) <*

<* -[(p ~ q) !1 (q ==> p)j <*

<* -(p ==> q) V -(q ==> p) <*

~ (p /1 -q) V (q /1 r.p) <*

~ { p V q) t.. ( p V -p) 11 ( -q \1 q) 1\ ( - q V -p)

~ (p \f q} ' ( -p V -q 1

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

O b1tn. luego de sm1plificar :v.J.uila: p v -q.

r---o

Para que pase corriente es suficiente QOJ.e JI o -q sean V.

 CIRC\JlTOS LOGICOS 21

ii) La operacin proposicional que caracteriza al siguiente circuito

r
es
p i< ' r)
 TRABAJO PRACTICO

1-17. En el libro Hijos en libertad. de A. S. Nell, estn escritas las siguientes

proposiciones
p : Mis maestros hacen que todas las lecciones sean aburridas.
q : No aceptan las respuestas que no figuran en los libros.
r : Imponen un cmulo de normas estpidas

Construir las pro?osiciones

""q v r (p ., q) => r

J-18. Escribir en forma simblica la siguiente proposicin compuesta que figura en el

mismo texto:
"La chatura y el tedio de ciertas disciplinas escolares se trasmiten a los maestros.
y las escuelas se llenan de hombres y mujeres de mentalidad estrecha, vanidosos.
cuyo horizonte est limitado por el pizarrn y el libro de texto''.
J 19. Confeccionar las tablas de valores de verdad de las proposiciones
i } (p r., q) => r
ii ) -(p V q) ~ -p '' -q
1-20. Negar las proposiciones construidas en el ejercicio 1-17.

1-2 J. Proponer las siguientes proposiciones en forma simblica, negarlas, y retraducir-

las al lenguaje comn:
i ) No es justa, pero mantiene el orden.
ii) Los alumnos conocen a los simuladores y los desprecian.
i) Si los 'lumnos conocen a los simuladores, entonces los desprecian.
112. Detenninar si I_as siguientes proposiciones son leyes lgicas:
i)p!\Q=*Q
ii) [(p => q) /\ (q => r)J => (p '* r)
iii) p => p A q
iv) p => p V q
 TRABAJO PRACTICO 1 23

1-23. Simplificar las siguientes proposiciones:

i ) "'(""'P V "'Q)
ii) -(p V q) V ("'P 1\ q)

1-24. Sabiendo que p v q es V y que -~q es V, determinar el valor de verdad de

((p V q) A "'q)~q
125. Determinar. en cada caso, si la infonnacn que se da es suficiente para conocer
el valor de verdad de las siguientes proposiciones compuestas. En caso
afirmativo. justificarlo.
i \ r !1 => q\ => r TI'~ V

ii) (p V q) ...,_ (-p /\ -q) q es V

iii) {p ,\ q) =>(p v r) pesVyresF
iv) p ' (q => r) ; p ~res V

1-26. Los valores de verdad de las proposiciones p, q, r y s son, respectivamente, V, F,

F, V. Obtener los valores de verdad de
i ) [( p v q) v r] ~. s
ii)r=>S ! P

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

1-29. Dadas las proposiciones

i ) El cuadrado de todo nmero real es mayor que 2.
ii) Existen enteros cuyo cubo aumentado en l es igual al cubo del siguiente,
iii) Todo el que estudia triunfa,
expresarlas simblicamente, negar las expresiones obtenidas y retraducirlas al
lenguaje ordinario.
1-30. Construir un circuito correspondiente a la proposicin
(p A "'Q) V ( -p fl q) V (- p 11 -q)
24 NOCIONES DE LOGlCA

131. Se tiene el siguiente circuito :

i ) determinar la proposicin correspondiente

, ) simplificar sta, y construir el circuito asociado.
1-32. Exp ~esar simblicamente el siguiente teorema: " si un nmero es impar, entonces
su c:mdrado es impar''.
Enunciar el contrarrecproco, el contrario y el recproco . Demostrar el primero.
133. Siendo

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

1-36. Investigar la validez d<!l razonamiento siguiente:

Si el inters no es egosta, entonces es. la fuerza vital de las personas y es

espontneo.
El inters no es la fuerza vital de las personas y es espontneo
El inters es egost~