UANCV Pensamiento Lgico Matemtico

1. Introduccin
Lgica es el estudio de los procesos vlidos del razonamiento humano. Existen dos tipos
de razonamiento: el Inductivo y el deductivo. El razonamiento inductivo es el medio por
el cual una persona, en base a sus experiencias especficas, decide aceptar como vlido
un principio general. El razonamiento Deductivo es, en cambio, el medio segn el cual
dicha persona utiliza el principio general aceptado previamente para decidir sobre la
validez de una idea, que a su vez habr de determinar el curso de su accin.
Dado que las proposiciones son preceptos vlidos de razonamiento deductivo en nuestro
breve estudio, veremos lo esencial de la lgica proposicional, a travs del uso y manejo
de una simbologa adecuada.
2. Proposicin
Al abordar la lgica proposicional, debemos reconocer que una proposicin es una
cadena de palabras con sentido completo, calificable de cierta o falsa, as, por ejemplo,
en la proposicin: "Lima es la Capital de Per". Si se mantienen independientes, son
proposiciones atmicas; pero si se relacionan con alguna conjuncin (u otras partculas)
el resultado es una proposicin molecular, por ejemplo, Juan y Pedro son alumnos de
Derecho.
Por lo tanto podemos decir que una Proposicin es un enunciado cuya propiedad
fundamental es la de ser verdadera (V) o falsa (F), pero no ambas simultneamente. Son
oraciones aseverativas, porque aseveran o afirman algo, sea verdadera o falsa.
Expresiones lingsticas que no son proposiciones.
Todas las proposiciones son oraciones, pero no todas las oraciones son proposiciones. En
efecto, las oraciones interrogativas, las exhortativas o imperativas, las desiderativas y
las exclamativas o admirativas no son proposiciones porque ninguna de ellas afirma o
niega algo y, por lo tanto, no son verdaderas ni falsas. Asimismo, las oraciones dubitativas,
as como los juicios de valor no obstante afirmar algo no constituyen ejemplos de
proposiciones, pues su verdad o falsedad no puede ser establecida. Ejemplos:
a) El cuadriltero es un polgono de cuatro lados.
b) Qu es la lgica?
c) Debemos honrar a nuestros hroes.
d) Sea en hora buena.
e) Por Jpiter! Casi me saco la lotera!
f) Quiz llueva maana.
g) Valentn es bueno.
a) es proposicin porque es una oracin aseverativa verdadera; b) no es proposicin
porque es una oracin interrogativa; c) no es proposicin porque es una oracin imperativa
o exhortativa; d) tampoco es proposicin porque es una oracin desiderativa, e) no es
proposicin porque es una oracin exclamativa o admirativa, f) no es proposicin porque es
una oracin dubitativa, y finalmente, g) no es proposicin porque constituye un juicio de
valor.

UANCV Pensamiento Lgico Matemtico

Finalmente, toda proposicin es una oracin aseverativa, pero no toda oracin aseverativa
es una proposicin. Ejemplos:
h) El tringulo es inteligente.
i) Eduardo es un nmero racional.
j) x + 3 = 5
k) a es la capital del Per.
h), i), j) y k) son ejemplos de oraciones aseverativas, mas no de proposiciones. h) e i)
son expresiones lingsticas que tienen apariencia de proposiciones, pero que realmente no
lo son porque no tiene sentido decir de ellas que son verdaderas o falsas. Son pseudo
proposiciones, es decir, falsas proposiciones. j) y k) son tambin ejemplos de oraciones
aseverativas, pero no de proposiciones; no son verdaderas ni falsas porque en ellas figura
una o ms letras sin interpretar, son ejemplos de funciones proposicionales.
l) El principal sospechoso de los atentados del 11 de setiembre de 2001 en los Estados
Unidos.
m) El actual Presidente de la Repblica del Per.
l) y m) no son proposiciones; son descripciones definidas, es decir, frases especiales que
pueden ser reemplazadas por nombres propios. l) puede ser sustituida por Osama bin
Laden y m) por Alejandro Toledo.
n) La realidad es duracin (Bergson).
o) La materia se mueve en un ciclo eterno (Engels).
n), o), no son proposiciones, sino filosofemas, es decir, enunciados filosficos. Ninguna de
ellos puede calificarse de verdadero o falso. Su verdad o falsedad no puede ser establecida
lgica o empricamente. En filosofa no hay verdades, pues los enunciados filosficos o
filosofemas slo expresan opiniones racionalmente fundamentadas.
En conclusin:
Para que una expresin lingstica sea proposicin debe cumplir con los siguientes
requisitos:
1) Ser oracin.
2) Ser oracin aseverativa, y
3) Ser o bien verdadera o bien falsa.
Por esto, no son ejemplos de proposiciones:

Las oraciones interrogativas, imperativas o exhortativas, desiderativas, exclamativas o

admirativas y las dubitativas.
Los juicios de valor.
Las pseudo proposiciones.
Las funciones proposicionales.
Las descripciones definidas, y
Los filosofemas.

UANCV Pensamiento Lgico Matemtico

NOTA: Los enunciados que usan las palabras, el, ella y los smbolos x, y, z, no tienen la
propiedad de ser verdaderos o falso, es decir NO son proposiciones. Sin embargo, si a una
de estas palabras y smbolos se le asigna un determinado valor, llamado constante, es
resultado es una proposicin. A este tipo de enunciados se les denomina enunciados
abiertos.
Ejemplos:
a) l est jugando tenis
b) X+2 > 5
c) 2x+3y=8
Si en a, la variable l se reemplaza por la constante Fernando tenemos: Fernando est
jugando tenis, se convierte en proposicin cuyo valor de verdad V o F dependen de que si
Fernando est jugando o no. De manera anloga en b y c si se reemplaza las variables
por un valor, se convierte en proposicin y se podr determinar si es verdad o falso.
REPRESENTACIN DE LAS PROPOSICIONES
Una proposicin se representa simblicamente por letras minsculas tales como p, q, r, s,
etc. (llamadas variables proposicionales).
Expresaremos simblicamente el hecho de que una proposicin sea verdadera o falsa. Si p
es una proposicin, su valor de verdad se denotar con V(p), si es Verdad, escribiremos:
V(p) = V
Y si queremos expresar que es Falsa escribiremos:
V(p) = F
Ejemplos:
Proposicin
a)
b)
c)
d)

Valor de verdad

p: Cesar Vallejo naci en Paris

q: 2+3 < 10-3
r: el nmero 1331 es divisible por 11
s: todos los hombres no son mortales

V(p)=F
V(q)=V
V(r)=V
V(s)=F

PROPOSICIONES SIMPLES Y COMPUESTAS

Las proposiciones simples, llamadas tambin atmicas o elementales, son aquellos
enunciados que tienen un solo sujeto y un solo predicado. El valor de verdad V o F de estas
proposiciones se obtienen de la disciplina o suceso de donde provienen.
Ejemplos:
a) p: El ngulo recto mide 90
V(p) = V, por los conceptos de la geometra elemental
b) q: Jos Carlos Mariategui, es el autor de la Iliada

UANCV Pensamiento Lgico Matemtico

V(q) = F, pues, segn la historia Homero es autor de la Iliada

Las proposiciones compuestas, llamadas tambin moleculares, son aquellas que estn
constituidas por dos o ms proposiciones simples. El valor de verdad de la proposicin
compuesta depende del valor de verdad de cada una de las proposiciones componentes, sin
que est dependencia de verdades tenga que ver con la naturaleza, la significacin o la
estructura de proposiciones componentes.
En la composicin de proposiciones simples, estn ligadas por ciertas palabras tales como:

y
o
si, entonces
si y solo si
no

Estas constantes proposicionales son llamados conectivos lgicos

Ejemplos:
a) El terreno es muy frtil y hay suficiente lluvia, son composicin de 2 proposiciones
atmicas: El terreno es muy frtil y hay suficiente lluvia
b) La luna no es satlite de la tierra, es proposicin molecular que utiliza el conectivo no,
en este caso el conectivo lgico acta sobre la proposicin atmica: la luna es satlite
de la tierra
c) Si estamos en diciembre, entonces llegar la navidad. Usa el conectivo si entonces
que acta sobre las proposiciones simples estamos en diciembre, llegar la navidad.

NOTA:

El nmero de combinaciones para la construccin de la tabla de valores de verdad

en las proposiciones moleculares es:

2n

Donde n es el nmero de enunciados que tiene la proposicin compuesta.

As para p, q, las combinaciones de V o F son de 22 = 4
Para p,q,r, n=3, entonces sera 23 = 8 formas posibles de V y F
OPERACIONES CON PROPOSICIONES
LA CONJUNCION
Dadas 2 proposiciones p y q, la conjuncin es el resultado de componer estas proposiciones
con el conectivo lgico y. Se denota por el smbolo: , se escribe p q y se lee p y q.
Ejemplo: Sean las proposiciones:

p = la tiza es blanca
q = 6 es un nmero primo

A partir de estas proposiciones simples obtenemos la nueva proposicin unindolas

mediante la conjuncin y

UANCV Pensamiento Lgico Matemtico

r = La tiza es blanca y 6 es un nmero primo

La proposicin conjuntiva es verdadera nicamente cuando las dos
proposiciones p y q son verdaderas, en cualquier otro caso es falsa.

p
V

q
V

pq
V

Ejemplo: Determinar el valor de verdad de la proposicin:

r = 3 + 4 +1 = 11 y 4 + 8 > 4 + 6
Solucin: sea p: 3 + 4 +1 = 11 -----------> V(p) = F
q: 4 + 8 > 4 + 6 -----------> V(q) = V
Luego, segn la tabla de verdad de la conjuncin
V (r) = V(p q) =F
NOTA: Hay palabras como pero, a la vez, sin embargo, adems, aunque, no
obstante, aun cuando, tanto, como, etc, que tambin unen proposiciones conjuntivas.
Ejemplo: Determinar el valor de verdad de la proposicin:
r = 15 es mltiplo de 3, pero 5 no es mayor que 7
Solucin: sea p=15 es mltiplo de 3 ------->V(p) = V
q=5 no es mayor que 7 ----->V(q)= V
V (r) = V(p q) =V

LA DISYUNCIN
Se llama disyuncin a la suma lgica de proposiciones p y q, dadas en ese orden, unidas
por el conectivo o, as, p o q, cuyo smbolo es: v.
Ejemplo: sea la proposicin: La luna es azul o 3 es un nmero primo, es la disyuncin de:
p = La luna es azul
V(p) = F
q = 3 es un nmero primo V(q) = V

UANCV Pensamiento Lgico Matemtico

La regla habitual del uso de la disyuncin o, establece que es suficiente que una de ellas
sea verdadera para que, la conclusin sea verdad.
Entonces para el ejemplo p v q = V(p v q) = V
Ahora veamos los siguientes ejemplos:
a) La proposicin: Luis es ingeniero o profesor de matemticas, es la disyuncin de:
p = Luis es ingeniero
q = Luis es profesor de matemtica
b) La proposicin: Cesar Vallejo naci en el Per o naci en Francia:
r = Cesar Vallejo naci en el Per
s = Cesar Vallejo naci en Francia
En el ejemplo a) se observa que si Luis es ingeniero, puede ser tambin profesor de
matemtica, por lo tanto que Luis sea ingeniero no excluye que sea profesor de matemtica,
por lo tanto distinguimos una disyuncin inclusiva y otra exclusiva.
Ahora en el ejemplo b) la verdad que Cesar Vallejo naciera en el Per excluye la posibilidad
de que naciera en Francia, por lo tanto aqu la disyuncin es exclusiva, por que excluye la
otra posibilidad.
Estos 2 ejemplos hacen necesario distinguir dos interpretaciones de la disyuncin p v q
La Disyuncin Inclusiva:
Dadas 2 proposiciones p y q, la disyuncin inclusiva o dbil, es una proposicin que resulta
de unir las proposiciones p y q con el conectivo v, se escribe p v q y se lee: p o q.
La disyuncin inclusiva de dos proposiciones es verdadera si y solo si por lo
menos una de las dos proposiciones es verdadera, resultando falsa solamente
cuando las dos son falsas.

La Disyuncin Exclusiva:

p
V

q
V

pvq
V

UANCV Pensamiento Lgico Matemtico

En este caso, la palabra o suele usarse en su sentido excluyente, porque excluye una de
las dos posibilidades de las proposiciones, se llama disyuncin exclusiva o fuerte, y se
escribe: p v q, y se lee, p o q, pero no ambas.

La disyuncin exclusiva de dos proposiciones es verdadera si y solo si por lo

menos una de las dos proposiciones es verdadera, resultando falsa solamente
cuando las dos son falsas, o cuando las dos son verdaderas.

p
V

q
V

pvq
F

LA NEGACIN
Se llama proposicin negativa de la proposicin afirmativa p a otra que se denota por ~p,
y se lee: no p, o no es cierto que p, sus expresiones equivalentes son nunca, jams,
tampoco, no es verdad que, no es cierto que, es falso que, le falta, carece de, sin,
etc.
p
V

~p
F

Ejemplo 1: Simbolizar la siguiente proposicin:

No es el caso de que 10 sea mltiplo de 3 o que 5 + 2 sea menor que 10
Solucin:
p: 10 es mltiplo de 3
q: 5 + 2 < 10
Entonces la proposicin se simboliza:

~(p v q)

Ejemplo 2: Sean las proposiciones:

p: 3 es un nmero par
q: 5 es mayor que 2
r: Todo nmero primo es impar
Escribir y establecer el valor de verdad de las siguientes proposiciones compuestas:
a) ~(p q)

b) ~ q v r

c) ~(~r p) v ~q

UANCV Pensamiento Lgico Matemtico

Solucin:
El valor de verdad de cada proposicin simple es:
V(p): F,

V(q):V,

V(r): F

Segn estos valores de verdad se tiene:

a) ~(p q): No es cierto que 3 es un nmero par y 5 es mayor que 2
V(p q)= F
V(~F)= V
b) ~q v r: No es cierto que 5 es mayor que 2, o todo nmero primo es impar
Otra forma: 5 no es mayor que 2 o todo nmero primo es impar
V(~q) = F
V(r) = F
V(~q v r) = F
c) ~(~r p) v ~q: No es cierto que no todo nmero primo es impar y 3 es un nmero par, o 5
no es mayor que 2
V(~r)= V
V(~q)= F
V(~r q) = F
V(~(~r q)) = V
V(~(~r p) v ~q)= V
LA CONDICIONAL O IMPLICACION
Dadas las proposiciones p y q, se denomina proposicin condicional o implicativa o la que
resulta de unir p y q con el conectivo si., entonces, que se denota por el smbolo , se
escribe p q y se lee: si p, entonces q, p implica q, p solo si q, etc, donde p es el
antecedente o condicin y q es el consecuente o conclusin.
Ejemplo: Si Patricia consigue visa de turista, entonces viajar a Miami. Simbolizar la
proposicin.
p= Patricia consigue visa de turista
q= Patricia viajar a Miami
Simbolizamos:

pq

NOTA: Tambin son conectivos condicionales los trminos: porque, puesto que, ya que,
si, cuando, cada vez que, etc., todas se caracterizan por que despus de estos
conectivos est el antecedente o condicin.
Ejemplo 1: 16 es mltiplo de 2 puesto que 16 es un nmero par

UANCV Pensamiento Lgico Matemtico

p= 16 es mltiplo de 2 (consecuente)
q= 16 es nmero par (antecedente)
Se simboliza: q p
Que expresamos Si 16 es nmero par, entonces es mltiplo de 2
Ejemplo 2: Arturo no viajo a Europa porque perdi sus documentos
p= Arturo no viajo a Europa
q=Arturo perdi sus documentos
Se simboliza: q p
Expresamos: Si Arturo perdi sus documentos, entonces no viajo a Europa
La condicional o implicacin tendr un valor de verdad falso cuando el

antecedente p es verdadero y el consecuente q es falso, en los dems

casos diremos que p q es verdadero

p
V

q
V

pq
V

LA BICONDICIONAL
Sean p y q dos proposiciones con las que se forma la siguiente proposicin: p q q p
Esta nueva proposicin est formada mediante dos implicaciones y una conjuncin. Para
este tipo de proposicin se hace uso del smbolo p q. El conectivo bicondicional se le
conoce tambin como doble implicacin.
Se denota: p q y se lee p si y slo si q
Ejemplo: Fernando comprar un automvil si y solo si obtiene un prstamo de la
cooperativa
p= Fernando comprar un automvil
q= Fernando obtiene un prstamo de la cooperativa
Esta proposicin bicondicional se entiende como: Si Fernando compra un automvil
entonces obtiene un prstamo de la cooperativa, y si obtiene un prstamo de la cooperativa
compra un automvil. Si simbolizamos esta proposicin obtenemos:

UANCV Pensamiento Lgico Matemtico

10

(p q) (q p) = (p q)

La bicondicional o doble implicacin ser verdadera si p y q, tienen el

mismo valor, caso contrario ser falso.

p
V

q
V

p q
V

Ejercicios:
1. Para los siguientes enunciados
a. Hola que tal!
b. X2 + 1 < 10
c. 2 + 5 > 6
d. Todos los hombres son inmortales
e. X + 5 8
f. Scrates naci en Atenas
Cul de las alternativas siguientes es correcta

UANCV Pensamiento Lgico Matemtico

a) 3 son enunciados abiertos
c) no son proposiciones

11

b) 2 son proposiciones
d) 4 son proposiciones

2. Determinar los valores de verdad de las siguientes proposiciones:

a) (3+5=8) v (5-3=4)
b) (3+8=11) (7-4 > 1)
c) (5-3=8) (1-7=6)
d) (4+6=9) (5-2=4)
3. Simbolizar los siguientes enunciados:

a. No vi la pelcula, pero le la novela:

b. Ni vi la pelcula ni le la novela:
c. No es cierto que viese la pelcula y leyese la novela:
d. Vi la pelcula aunque no le la novela:
e. No me gusta trasnochar ni madrugar:
f. O tu ests equivocado o es falsa la noticia que has ledo:
g. Si no estuvieras loca, no habras venido aqu:
h. Llueve y o bien nieva o sopla el viento:
i. O est lloviendo y nevando o est soplando el viento:
j. Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras
violaciones de los derechos civiles:
k. Roberto har el doctorado cuando y solamente cuando obtenga la licenciatura:
4. Evaluar la tabla de verdad de los esquemas moleculares:

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

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

UANCV Pensamiento Lgico Matemtico

12

TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA

Al conjunto de proposiciones, conectivos lgicos y smbolos de agrupacin lo denominamos
frmula lgica. Por ejemplo:
~ [ (p q) (s t) ]
Tautologa
Si al evaluar una frmula lgica, resulta que todos los valores de verdad resultantes son
siempre V para cualquier combinacin de sus valores veritativos, decimos que dicha frmula
es una Tautologa o Ley lgica.
Ejemplo.
Si analizamos la proposicin t: p ~p realizando su tabla de verdad:
p

p ~p

~p

V
F

F
V

V
V

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

proposicin t: p ~p es siempre verdadera. Entonces, la proposicin t es una tautologa.
Ejemplo. Analicemos ahora la frmula lgica
[(pq)p]q
p

pq

V
V
F
F

V
F
V
F

V
F
V
V

qp

{(pq)p}q

V
F
F
F

V
V
V
V

En este caso comprobamos tambin

que
independientemente
de
la
combinacin de valores de verdad de
las proposiciones p y q, el resultado de
la frmula lgica es siempre V.
Decimos, aqu tambin, que esta

frmula es una tautologa o ley lgica.

Contradiccin
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, decimos que dicha frmula es una Contradiccin.
Ejemplo
Analicemos la frmula lgica p ~p
p
V
F

~p
F
V

p ~p
F
F

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

UANCV Pensamiento Lgico Matemtico

13

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.
LEYES DEL ALGEBRA DE PROPOSICIONES
Existen muchas leyes en la lgica de proposiciones, mencionaremos solo algunas de ellas
Idempotencia
Una cadena de conjunciones o disyunciones de variables redundantes se eliminan

ppp
pvpp

Asociativa
Las leyes asociativas para la conjuncin, disyuncin y bicondicional establecen que si en un
esquema hay ms de una conjuncin, disyuncin y bicondicional, respectivamente, con igual
alcance, ellas pueden agruparse indistintamente.

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

Conmutativa
Si en las proposiciones conjuntivas, disyuntivas y bicondicionales se permutan sus
respectivos componentes, sus equivalentes significan lo mismo

pqqp
pvqqvp
pqqp

Absorcin
Trata en que uno de los miembros de la proposicin absorbe al otro miembro

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

Distributiva

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

De Morgan
La negacin de las proposiciones conjuntivas o disyuntivas se obtienen cambiando la
conjuncin por la disyuncin, o la disyuncin por la conjuncin y negando cada uno de los
componentes.

UANCV Pensamiento Lgico Matemtico

14

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

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

Doble negacin
Una doble negacin se convierte en verdad

~(~p) p

Ejercicios:
Clasifique como tautologa, contradiccin
moleculares:
a) [(p q) q ] v p
c) (p q) v p
e) p (p q)
g) ~(p q) [(~p) v (~q)]

y contingencia. Los siguientes

esquemas

b) ~(p v q) p
d) [ (p ~q) p ] ~ q
f) ~p v ~( p v q )
h) [(~p ~q) ~r] (~p) v [r v (~p ~q)]

PROPOSICIONES EQUIVALENTES
Dos proposiciones compuestas p y q se dicen que son equivalentes si unidas por el
bicondicional , el resultado es una tautologa, es decir, que p y q tienen los mismos
valores de verdad en su operador principal. Se escribe:
pq

y se lee p es equivalente a q

Ejemplo:
Determinar si P y Q son equivalentes:
P= p q
Q= ~(p ~q)
Para comprobar construimos su tabla de verdad
p
V
V
F
F

q
V
F
V
F

(p q)
V
F
V
V

V
V
V
V

~
V
F
V
V

(p ~q)
F
V
F
F

Dado que el resultado de la tabla es una tautologa, las proposiciones P y Q son

equivalentes.

UANCV Pensamiento Lgico Matemtico

15

Leyes del condicional

p q ~p v q
~(p q) p ~q
Leyes del bicondicional
(p q) (p q) (q p)
(p q) (p q) v (~p ~q)
Leyes de transposicin
(p q) (~q ~p)
(p q) (~q ~p)
LA INFERENCIA LOGICA
En matemticas llamamos razonamiento a un par ordenado (p, q), donde {p} es un conjunto
finito de proposiciones, llamadas premisas y q una proposicin, llamada conclusin.
Un razonamiento es deductivo si y solo si las premisas son evidencias de la verdad de la
conclusin, es decir si p1, p2, pn son verdaderas entonces q es verdadera; cuando se
deduce esto se dice que se ha construido una inferencia. De este modo toda regla de
inferencia es tautolgica.
Una inferencia es vlida si y solo si la premisa p o conjuncin del conjunto de premisas {p i}
implica la conclusin q.
Ejemplo: Determinar si p v q es una consecuencia vlida de:
~p ~q, ~q ~r, ~r
Solucin: aqu las premisas son: p1= ~p ~q
p2=~q ~r
p3=~r
y la conclusin:
Q=p v q
Debemos demostrar que: (p1 p2 p3) Q, es una tautologa. La tabla de verdad para
esta inferencia es:
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

(~p ~q)
V
V
V
V
F
F
V
V
1

V
V
V
F
F
F
V
F
3

(~q ~r)
V
V
V
F
V
V
V
F
2

F
V
F
F
F
F
F
F
5

(~r)
F
V
F
V
F
V
F
V
4

V
V
V
V
V
V
V
V
7

(p v q)
V
V
V
V
V
V
F
F
6

Como el resultado (7) es una tautologa, la conjuncin de premisas implica a la conclusin,

por tanto, la inferencia es vlida.

UANCV Pensamiento Lgico Matemtico

16

Observaciones: (1) En los casos en que las premisas forman dos o ms conjunciones, se
toma la ltima conjuncin (de izquierda a derecha) como la principal del antecedente.
(2) La validez de una inferencia no depende de los valores de verdad ni del contenido de los
enunciados que parecen en la inferencia, sino de la forma particular de la inferencia
(3) Si la condicional no es una tautologa, entonces se dice que la inferencia no es vlida o
es una falacia.
Ejemplo 2. Determinar la validez de la inferencia: Si el tringulo es issceles entonces tiene
dos lados iguales. Pero, el trngulo no tiene dos lados iguales; por lo tanto no es issceles
Solucin:

p= el trangulo es issceles
q= El tringulo tiene dos lados iguales

El esquema de la inferencia es:

pq
~q
_______
~p

Por lo tanto
p
V

q
V

(p q)

(~q)

~p

Ejemplo 3. Mediante una tabla de verdad, establecer si es vlida la inferencia.

p ~q
qvr
~r
_______
~q

Por lo tanto
p
V

q
V

r
V

Ejercicios:

(p ~q)

(q v r)

(~r)

(~q)

UANCV Pensamiento Lgico Matemtico

17

Demostrar por la tabla de verdad, si los esquemas representan o no reglas de inferencias

vlidas.
p (~q)
p v (~q)
-----------~q

pq
qp
-----------pq

(p q) (r s)
pvr
-----------qvs
p
V

q
V

r
V

s
V

(p q) (r s)

(r s)

(p v r)

qvs

UANCV Pensamiento Lgico Matemtico

18

CIRCUITOS LOGICOS
El valor de verdad de una proposicin puede asociarse al paso de corriente en un circuito
elctrico controlado por un interruptor. Para representar un interruptor mediante una
proposicin p, se tiene:
p

~p

Circuito cerrado

circuito abierto

El circuito est cerrado, es decir pasa corriente, si V(p) = V, ahora est cerrado, no pasa
corriente si V(p) = F. De aqu establecemos una identificacin entre las proposiciones y los
interruptores
de un circuito elctrico. Las operaciones proposicionales (conjuncin,
disyuncin, etc.) pueden representarse mediante circuitos con tantos interruptores como
proposiciones componentes. Consideremos las clases de instalaciones:

En serie = conjuncin
En Paralelo = disyuncin

Circuitos en serie: Consideremos dos interruptores p q conectados en serie:

p

Se observa que este circuito admite paso de corriente cuando los dos interruptores p q
estn cerrados, en cualquier otro caso no hay paso de corriente. De aqu tenemos el
comportamiento de la conjuncin de las proposiciones p q. Por tanto:
p q: representa un circuito cerrado en serie, que deja pasar corriente, solo si los
interruptores p y q estn cerrados a la vez. Diremos que solo en este estado p q es
verdadero.

pq
~p ~q: representa un circuito abierto que no deja pasar corriente. Diremos entonces que
en este estado ~p ~q es falsa.

~p ~q
p v q: Representa un circuito cerrado en serie, que deja pasar corriente solo si los
interruptores p y q estn cerrados a la vez. Diremos que solo en este caso p q es
verdadera.
~p ~q: Representa un circuito abierto en serie que deja pasar corriente, diremos entonces
que este estado ~p ~q es falsa.

UANCV Pensamiento Lgico Matemtico

pq

19

~p ~q

Circuitos en paralelo: Consideremos ahora dos interruptores instalados en paralelo:

p
q
Observamos en el circuito que no hay paso de corriente cuando uno de los interruptores o
ambos estn cerrados; no hay paso de corriente cuando los dos interruptores estn abiertos.
Tenemos entonces el comportamiento de la disyuncin de las proposiciones p v q. La
falsedad de p v q, es decir el hecho de que no pase corriente, solo se verifica cuando ambos
estn abiertos simultneamente.
p v q: Representa un circuito cerrado en paralelo que deja pasar corriente si por lo menos
uno de los interruptores elctricos est cerrado. Diremos que solo en este estado p v q es
verdadero.
~p v ~q: Representa un circuito abierto en paralelo que no deja pasar corriente, por lo en
este estado ~p v ~q es falsa.

pvq

~p v ~q

Ejemplos: Disear circuitos lgicos de las siguientes proposiciones:

a) (p v q) r

b) p q

c) p q

UANCV Pensamiento Lgico Matemtico

20

CONJUNTOS
Un conjunto es una agrupacin o coleccin de objetos o elementos con caractersticas
especiales. Podemos entender tambin por conjunto a la agrupacin, asociacin, coleccin,
reunin, unin de integrantes homogneos y heterogneos, los cuales pueden ser
naturaleza real o imaginaria. En conclusin pueden estar integrados por letras, nmeros,
meses de un ao, astros, pases mares etc., a los integrantes en general se les llama
elementos del conjunto.

Algunos ejemplos:
Conjunto formado por los libros de un estante.
Conjunto formado por los juguetes de un nio.
Conjunto formado por los pases del frica.
Conjunto formado por los elementos qumicos.
Los nmeros 2,3,4,5 forman un conjunto de cuatro elementos
Los das de la semana forman un conjunto de siete das
NOTACION:
Usualmente los conjuntos se denotan por letras maysculas: A, B, C, X, Y, Z.
Y los elementos que lo determinan se designan por letras minsculas: a, b, c, . x, y, z.
Si un conjunto A est formado por los elementos 1,2, a, b se escribe:
A = {1, 2, a, b}
Y se lee: A es el conjunto de los elementos 1,2,a,b
La relacin de pertenencia se indica por la letra griega psilon , de modo que:
a A indica: a pertenece al conjunto A, o tambin: a es el elemento del conjunto A
3 A indica: a no pertenece a al conjunto A, o tambin: a no es el elemento del conjunto A
DEFINICION DE UN CONJUNTO
Existen dos maneras de especificar, determinar o definir un conjunto: Por extensin y por
comprensin.

1. Por extensin: un conjunto A queda determinado por extensin cuando se conocen

individualmente todos sus elementos.
Ejemplos:
A={a,e,i,o,u} Se lee: A es el conjunto de todas las vocales del alfabeto castellano
B={a, {b,c}, d,e}: B es el conjunto de elementos a, {b,c}, d,e. Aqu se puede observar que: a
B, {b,c} B, d B, e B, b B, c B
2. Por comprensin: un conjunto A queda determinado por comprensin, cuando ste se
define por medio de una propiedad, la cual debe satisfacer cada uno de sus elementos
Si denotamos por x a un elemento cualquiera del conjunto A y por P a la propiedad
caracterstica, se escribe:
A= {x | x cumple P} o A = {x | P(x) es verdadera}
Y se lee:

UANCV Pensamiento Lgico Matemtico

21

A es el conjunto de los elementos x, tal que x cumple P o tambin

A es el conjunto de los elementos x, tal que x es verdadera
Ejemplos:
Si A={a,e,i,o,y}, empleamos la letra x para expresar un elementos representativo del
conjunto, escribiendo la propiedad caracterstica en forma de enunciado, esto es: P(x): x es
una vocal. Luego se escribe:
A = {x | x es una vocal}
Y se lee: A es el conjunto de los elementos x, tales que, x es una vocal
Si B={0, 3, 6, 9, 12, } se observa que sus elementos son nmeros naturales mltiplos de 3,
o sea la propiedad caracterstica es P(x):x es un nmero natural y mltimo de 3.
Entonces: B = {x | x es un nmero natural y mltiplo de 3}
CLASIFICACIN DE LOS CONJUNTOS:
Por el nmero de elementos que poseen los conjuntos pueden clasificarse en:
Conjunto Vaco.- Es aquel que carece de elementos, tambin llamado nulo y se denota por
el smbolo (). Ej.:
A= {x/x es un perro que tiene alas}
B= {x/ x 3 = 27 donde x es par}
C= {x/x N; 12< x<13}
Conjunto Unitario.- Es aquel conjunto que est formado por un solo y nico elemento. Ej.:
P= {x/x est formado por satlites de la tierra}
Q= {x/x + 2 =7}
R= {2, 2, 2, 2} ojo tiene un solo elemento.
Conjunto Universal.- Se denota por la letra U; contiene, comprende o dentro del cual estn
todos los dems conjuntos. Ej.:
Si consideramos U como el conjunto de todos los Elementos Qumicos, entonces dentro de
U existirn subconjuntos de elementos slidos, lquidos, gaseosos, radiactivos, metales, etc.
Conjunto Finito.- Es aquel cuyo elemento se puede contar en forma usual desde primero
hasta el ltimo. Ej.:
A= {El nmero computadoras del saln de clase}
B= {275 pginas del libro}
C= {nmeros impares de 5 al 21}
Conjunto Infinito.- Es aquel cuyo elemento al contarlos no se llega a un ltimo elemento
del conjunto, es llamado tambin indeterminado. Ej.:
A= {x Z; x >2}
B= {x/x Es un nmero real}
CUANTIFICADORES
Cuantificadores, cuantificadores Existenciales y Universales y como se representa
cada uno
Cuantificadores: En lgica, teora de conjuntos y matemticas en general, los
cuantificadores son smbolos utilizados para indicar cuntos elementos de un conjunto dado
cumplen con cierta propiedad.

UANCV Pensamiento Lgico Matemtico

22

Cuantificadores Existenciales: La cuantificacin existencial de P(x) Es la proposicin

en que existe un elemento x en el universo de discurso tal que P(x) es verdad.
Se denota con el smbolo x y se lee de las siguientes maneras: hay un x tal que), hay
al menos un x tal que..." o "para algn x...".
Ejemplo:
Sea A= {1,2,3,4,5} Determine el valor de verdad de cada uno de los enunciados siguientes:
a) ( x A)(x+3=10)
Sol: es falso porque ningn nmero de A es una solucin de x+3=10.
b) ( x A)(x+3<10)
Sol: es Verdadero. Cualquier nmero de A cumple que x+3<10
Cuantificadores Universales: Indican que algo es cierto para todos los individuos.
Sea A una expresin y sea x una variable. Si deseamos indicar que A es verdadero para
todos los posibles valores de x, escribiremos (x) A.
Ejemplos:

Todos los humanos respiran

( x) (H(x) R(x)) donde el predicado H significa humanos, R respiran y x es un elemento
de un dominio general que podra ser el de las personas o cualquier subconjunto deseado.

Todos los alumnos son estudiosos

( x) (A(x) E(x)) donde el predicado A significa alumno, E estudioso y x es un elemento

de un dominio general que podra ser el de las personas o cualquier subconjunto deseado.
Representacin de cada cuantificador
Cuantificador Universal ()
Cuantificador Existencial ()
Ejercicios:
1. Determinar por extensin cada uno de los siguientes conjuntos:
A = {x Z | x3 x2-10x-8=0}
B = {x N | 6x3-31x2 + 3x+10=0}
C = {x Z | x2>0 y x2 <20}
2. Determinar por comprensin los siguientes conjuntos:
A = {-2, 1, 4, 7, 10}
B = {-7, -3, 1, 5, 9, ..}
C = {1, 3/5, 3/7, 1/3, 3/11}
OPERACIONES ENTRE CONJUNTOS
UNION DE CONJUNTOS

UANCV Pensamiento Lgico Matemtico

23

La unin o reunin de dos conjuntos A y B se define como el conjunto de todos los

elementos que pertenecen a A, a B o a ambos. Se denota por:
AUB
Y se lee A unin con B
El diagrama de Venn Euler correspondiente a la unin A y B es:

El rectngulo representa al conjunto universal U, en tanto que A U B, es la parte sombreada.

Ntese que si:

a A a (A U B)
b B b (A U B)
c A y c B c (A U B)

Luego, si x es un trmino que puede ser de A, de B o de ambos, la unin de A y B se define:

A U B = {x | x A v x B}
Ejemplo: Sean los conjuntos A={1, 2, 3, 4}, B={2, 4, 5, 6, 7}, C={5, 6, 7}, hallar A U B, B U C
y A U C. Trazar el diagrama de ven de cada resultado.
INTERSECCION DE CONJUNTOS
La interseccin de dos conjuntos A y B se define como el conjunto de los elementos que son
comunes a A y B, esto es, de aquellos elementos que pertenecen a A y que tambin
pertenecen a B. se denota:
AB
Y se lee A interseccin con B
El diagrama de Venn Euler correspondiente a la unin A B es:

El rectngulo representa al conjunto universal U, en tanto que A B, es la parte sombreada.

Ntese que si:

a A a (A B)

UANCV Pensamiento Lgico Matemtico

24

b B b (A B)
c A y c B c (A B)
Luego, si x es un trmino que pertenece a A y B, entonces la interseccin de A y B se define:
A B = {x | x A x B}
Ejemplo: Sean los conjuntos A={a, b, c, d}, B={b, c, e, f, g}, C={e, f, g}, hallar A B, B C y
A C. Trazar el diagrama de venn de cada resultado.
DIFERENCIA DE CONJUNTOS
La diferencia de dos conjuntos A y B se define como el conjunto de todos los elementos del
conjunto A que no pertenecen al conjunto B, se denota por:
AB
Y se lee: A diferencia de B, o simplemente: A menos B
El diagrama de Venn correspondiente a la diferencia A y B es:

Ntese que si:

a A a (A - B)
b B b (A - B)
c A y c B c (A - B)

Luego, si x es un elemento que pertenece a A - B, entonces se define:

A - B = {x | x A x B}
Ejemplo: Sean los conjuntos A={1, 2, 3, 4}, B={2, a, b, 4}, C={a, b}, hallar A-B, B-C y A-C.
Trazar el diagrama de venn de cada resultado.
COMPLEMENTO DE UN CONJUNTO
Si A y B son conjuntos tales que A
se denota A, esto es:

B, se define el complemento de A con respecto de B, y

Y queda definido como, el conjunto de elementos que no pertenecen a A, esto es:

UANCV Pensamiento Lgico Matemtico

25

A = { x U | x A }
NOTA: Cada una de las operaciones, tiene propiedades que quedan a investigar por parte
de los estudiantes.

EJERCICIOS PROPUESTOS:

Ejercicio 1: sean los conjuntos:

Resolver:

1.
2.
3.
4.
5.
Ejercicio 2: Sea U = {x N | 0 < x 10} y los sub conjuntos: A={x N | x es primo}, B={x
U | x es un cuadrado perfecto}, C={x U | x es impar}. Hallar:
1. (A U B) C
2. (A - C) B
3. (A C) (B U C)
Ejercicio 3: En una compaa hay 32 trabajadores, 16 son electricistas, 25 son plomeros,
12 son electricistas y plomeros a la vez. Qu dantidad de trabajadores no son electricistas
ni plomeros?
Ejercicio 4: Un club deportivo tiene 48 jugadores de futbol, 25 de basket, 30 de beisbol, un
total de 68, y solo 6 de ellos figuran en los 3 deportes. Cuntos figuran en un deporte?,
Cuntos figuran en 2 deportes?
Ejercicio 5: De un total de 35 alumnos, 22 aprueban matemtica, 20 fsica, 21 qumica, 10
de ellos aprueban los 3 cursos, 12 solo 2 cursos, Cuntos aprobaron 1 solo curso?
Ejercicios 6: de 100 personas que leen por lo menos 2 de 3 diarios (El comercio, la
Repblica, el Peruano), se observa que 40 leen el Comercio y la Republica, 50 leen la
Repblica y el Peruano, y 60 leen el Comercio y el Peruano Cuntos de ellos leen los 3
diarios?

UANCV Pensamiento Lgico Matemtico

26

DIAGRAMAS DE CARROL
Un diagrama de Carroll llamados as en alusin a Lewis Carroll, es un diagrama utilizado
para agrupar objetos que no presentan interseccin entre ellos. (Por ejemplo
agrupacin de personas por el color de los ojos, por gnero, etc.).
Un diagrama de Carroll es un diagrama usado para agrupar cosas de una manera s/no.
Nmeros y objetos son categorizados como x (teniendo una cualidad x) o no x (no teniendo
este atributo).
Ejemplo:

Aunque los diagramas de Carroll pueden ser simples como en el ejemplo. El universo de un
diagrama de Carroll se contiene dentro de las cajas en el diagrama, como cualquier nmero
u objeto tiene que, o tener una cualidad, o no tenerla.
Ejemplos: