Matemtica y Lgica

LGICA
Termino que deriva del griego Logike-Logikos (Logos)
que significa razn. Aristteles fue el que fund la lgica
como medio de conocimiento.

Definicin.- La Lgica es una ciencia formal y una

rama de la filosofa que estudia las formas de
pensamiento prescindiendo de todo contenido. Es el
estudio de la inferencia (Leyes), que consiste en
extraer una conclusin a partir de premisas que pueden
ser afirmaciones o negaciones previas.

Se dice adems que es la ciencia que se ocupa del

estudio de los mtodos y principios para distinguir
el buen razonamiento del malo

A partir del siglo XIX la lgica formal comenz a ser

estudiada en el campo de las matemticas y
posteriormente por las ciencias computacionales,
naciendo as la lgica simblica, que esquematiza los
pensamientos claramente usando un lenguaje de signos
propios y distintos al verbal.

Gran parte del trabajo matemtico se realiza con

proposiciones (Lgica Proposicional), por tal motivo es
indispensable tener claro el concepto de proposicin y
efectuar las operaciones correspondientes.
1. Enunciado: Es toda frase u oracin que se emite.
Los enunciados pueden ser afirmaciones, negaciones,
mandatos, interrogaciones, emotivos, etc.
Ejemplo:
- Buenos das
- Cmo te sientes?
- Estudiaras en el Tecnolgico!
- Prohibido hacer bulla
- La clorofila es verde
- El cuadrado de 4 es 16
- Estudia y sers un profesional
- 5+1 < 25
- X + y = 10
- Un cuadrado tiene dos diagonales
2. Enunciado Abierto.- es un enunciado que posee
variables sin especificar un valor determinado, estos
no pueden ser falsos ni verdaderos.
Ejemplo:
-

X2 + 3 = 12
Ella es estudiante
X + 3 > 2X 4
A es capital de Londres
l tiene 35 aos
X5=y+2

Ejemplo:
-

Sea: X + 3 = 21
Si X = 18, entonces:
18 + 3 = 21, es una proposicin, y su
valor es Verdadero.
Si X = 10, entonces:
10 + 3 = 21, es una proposicin y su valor
de verdad es Falso

3. PROPOSICIN.- es todo enunciado o afirmacin

(oracin aseverativa) al que se le puede asignar un
valor de verdad verdadero o el valor de verdad, falso
pero no ambos a la vez
Tambin reciben el nombre de sentencias.
Ejemplo:
- Huaraz es nombre de una ciudad andina.
- El nmero 20 es mltiplo de 4 y 5
- Los hipoptamos son peces
- Ollanta Humala es candidato presidencial.
- 2+5 = 16
- El precio del dlar es igual al valor del sol
- El cuadrado de todo nmero par tambin es par.
- La Temperatura de la tierra ha disminuido
- El cuadrado del nmero 10 es igual a 100
Nota.- no son proposiciones aquellas expresiones
interrogativas, imperativas, exclamativas, dubitativas,
desiderativas, enunciados abiertos, o indefinidos,
pseudoproposiciones,
proverbios,
refranes,
filosofemas o enunciados filosficos, hechos,
personajes, supersticiones y mitos.
Ejemplo:
- Qu es la lgica? (oracin interrogativa)
- Debemos honrar a nuestros hroes. (oracin
imperativa)
- Me saque la lotera! (oracin exclamativa)
- Quizs llueva maana. (oracin dubitativa)
- Jaime es mentiroso. (Juicio de valor)
- Eduardo
es
un
nmero
racional
(pseudoproposicin)
- X + 9 = 21 (enunciado abierto)
- El actual presidente del Per (descripcin
definida).
- La realidad es duracin (Filosofemas)
- La materia se mueve en un ciclo eterno
(enunciado filosfico).
4. CLASES
DE
PROPOSICIONES.proposiciones se pueden dividir en dos clases:

Los enunciados que usan la palabra el, ella son

enunciados abiertos.
A los enunciados abiertos que contienen variables
algebraicas
se
les
denomina
Funcin
Lic. Gilmer D. Ordez Aguilar

Proposicional, que tiene la propiedad de convertirse

en proposiciones al asignarle un valor a las variables.

Pgina 1

Las

a) PROPOSICIN SIMPLE O ATMICA O

ELEMENTAL.- es todo enunciado que presenta
slo sujeto y predicado, no se puede
descomponer en otras y puede ser verdadera o
falsa. Carece de conectores lgicos

Matemtica y Lgica

Notacin.- Se pueden denotar o representar

(simbolizar) por letras minsculas como p, q, r, s,
t , ..
Ejemplo:
- p: Pizarro descubri el continente Americano.
- q: El 10% de 60 es 6
- r: 18 3 > 5 + 9
- s: La lgica es distinta a la matemtica
- t: Dolly fue la primera oveja clonada
- v: El tomo es una molcula
- w: 7 es un numero primo
Las proposiciones simples, pueden ser:

Proposiciones Predicativas.- aquellas que

atribuyen o afirman una caracterstica respecto
a un objeto y constan de sujeto y predicado
Ejemplo: El sol es una estrella
25 es un nmero compuesto.
La sangre es una sustancia.
El nmero 2 es par
El espacio es relativo
La pizarra es blanca

Proposiciones relacionadas.- aquellas que

establecen una relacin entre dos o ms objetos
que tiene una misma categora gramatical.

Ejemplo:
Lima es la capital del Per
La tierra rota alrededor de la luna
p del mismo modo que q
Siempre ambos p con q
p sin embargo q
p es compatible con q
p es igual que q
p incluso q
p as como q
p tambin q
p no obstante q
P aunque q
p de la misma manera q
p pero q
tanto p como, cuando q
p incluso q
No solo p tambin q
P tal como q
- 23 8 = 10
- Irma estudia en la Universidad Nacional
de Ingeniera.
5 es mayor que 3
VALORES DE VERDAD.- Los valores de
verdad o valores veritativos de una proposicin
simple son: VERDAD (V) o FALSO (F)
p
V
F
b) PROPOSICIN
COMPUESTA
O
MOLECULAR O COLIGATIVA.Son
aquellas que se obtienen de combinar dos o ms
proposiciones
simples,
unidos
mediante
conectivos lgicos (smbolos).
Ejemplo:
Lic. Gilmer D. Ordez Aguilar

Pgina 2

P
V
V
F
F

q
V
F
V
F

La lgica y la matemtica son ciencias

formales.
Si dos ngulos adyacentes forman un par
lineal entonces son suplementarios
Si juan estudia, entonces ser un buen
profesional.
Doris estudia enfermera tcnica y Luis
estudia agropecuaria
20 es nmero compuesto, si y solo si es
divisible por 4.
Si no hay inflacin entonces subirn los
precios.
si el doble de 35 es igual a 70, entonces 70
entre
2
es
igual
a
35

Tablas de verdad.- son tablas que permiten

determinar los valores de verdad de una o ms
proposicin compuesta.
En el caso de dos proposiciones se construye as

Las proposiciones compuestas pueden ser:

i)

Proposiciones Conjuntivas o Conjuncin.su conectivo es y (^), el cual desempea la

funcin de compatibilizar dos proposiciones.

p q
Ejemplo:
Cuatro es nmero par y divisor de 32
Simblicamente:
p: cuatro es nmero par
q: cuatro es divisor de 32
Algunas traducciones verbales
son

Otros Ejemplos:
- El nmero dos es par, pero el tres es
impar.
- Silvia es inteligente sin embargo es floja.
- Tanto el padre como el hijo son
melmanos.
- Ir a verte aunque llueva
- Viajare a Chimbote aun cuando este
lloviendo.
Tabla de Verdad

Matemtica y Lgica

V
V
F
F

V
F
V
F

p q

p: Pedro est vivo

q: Pedro est muerto

V
F
F
Fp q
q
V
V
F
Nota.Solo
V
F
V
es
F
V
V
F
F
F
verdadera cuando ambas proposiciones
son verdaderas
ii)

Proposicin Disyuntiva Incluyente o dbil.llamada tambin Disyuncin Dbil, utiliza el

conector o (v), el cual admite la posibilidad
que se den dos alternativas a la vez.
pvq
Ejemplo:
La lgica o la matemtica son ciencias
formales.
p: la lgica es una ciencia formal
q: la matemtica es una ciencia formal
Algunas traducciones verbales son
Tabla de Verdad

Algunas traducciones verbales son:

Tabla de Verdad
Bien p o bien q
Opoq
Ya bien p ya bien q
P o solamente q
P o solo q
Nota.- Solo es falsa cuando ambas proposiciones son
verdaderas o ambas son falsas
Ejemplos:
- El examen se aprueba o se suspende.
- Sonia
es
cristiana
o solamente
musulmana.
- Bien hoy da llueve o bien no llueve.
iv)

Proposicin Implicativa o Condicional.llamada tambin Implicativa material,

presenta el conectivo si, entonces (p

q) el cual enlaza una proposicin que

es el antecedente o hiptesis con otra que el

consecuente o tesis

poq
ya p ya q
p salvo que q
p menos que q
p excepto que q
p a menos que q
p o tambin q
Nota.- Solo es falsa cuando ambas proposiciones
son falsas
Ejemplos:
- Bailas o cantas
- Pedro es to o es sobrino
- Hoy es martes o hay clases de
matemticas
- Boto las cosas viejas o las que no me
sirven.
- Jaime habla ingls o francs
iii)

Proposicin Disyuntiva Exclusiva o

Fuerte.- Llamada tambin Diferencia
Simtrica, presenta el conectivo o,.. o ()
y excluye la posibilidad de ambas
proposiciones a la vez.

pq
Ejemplo:
Pedro est vivo o muerto
Lic. Gilmer D. Ordez Aguilar

Pgina 3

V
V
F
F
p

V
F
V
F

q
V
V
V
F

Ejemplo: Si hay inflacin entonces subirn

los precios
p: hay inflacin
q: subirn los precios
Algunas traducciones verbales son:
Si p entonces q
Cuando p as pues q
Con tal que p es obvio
que q
En tal caso de que p en tal
sentido q
En virtud que p es
evidente q
Dado p por eso q
En cuanto p por tanto q

Ya que p bien se ve
Siempre que p p
consiguiente q
Toda vez p en
consecuencia q
En la medida que p
q
En el caso de p en
caso q
De p derivamos

Matemtica y Lgica

De p deviene q
P es condicin suficiente
para q
De p deducimos en q
P es condicin suficiente
para q

Viajaras de excursin siempre que tengas

dinero
- El precio del pollo sube ya que los
insumos se han encarecido
- Iremos a la playa dado que sali el sol

P implica q
p a no ser que q
p solamente si q

Tabla de Verdad

Tabla de Verdad
p

V
V
F
F

V
F
V
F

V
F
V
V

vi)

Otros Ejemplo:
- Si es joven, es rebelde
- El mamfero es herbvoro si se alimenta
de plantas
- Nuestra moneda se devala solamente si
su valor se disminuye.
- Si apruebas matemtica, te dejare ir a la
fiesta el fin de semana.
- Si los precios de los artculos suben,
entonces tiene menos demanda.
- Si x2 = 25, entonces x= 5
- So a>b y b>c, entonces a>c
Proposicin

Replicativa.-

Presenta

el

conectivo si, ( ) el cual resulta

cuando el si o sus sinnimos estn entre p
yq

p q
Ejemplo: Aprobaras si estudias
p: Tu aprobaras
q: Tu estudias
Algunas traducciones verbales son:
P si q
P dado que q
P porque q
P ya que q
P es condicin necesaria para
P puesto que q
q
P es condicin de que q
P siempre que q
P en vista que q
P es suficiente para q
P pues q
P cada vez que q
Ejemplos:
vii)
- 30 es nmero par porque es divisible por
2
Lic. Gilmer D. Ordez Aguilar

V
V
F
F

V
F
V
F

q
V
V
F
V

Nota.- Solo es falsa cuando el antecedente

es falso y el consecuente es verdadero.

Nota.- Solo es falsa cuando el antecedente

es verdadero y el consecuente es falso.

v)

Pgina 4

Proposicin
Biimplicativa
o
Bicondicional.- presenta el conector si y
solo si (

) el cual desempea el papel

de doble implicador

p q
Ejemplo: Pasaras de semestre si y solo si
apruebas todas tus asignaturas
p: Pasaras de semestre
q: aprobaras todas tus asignaturas
Algunas traducciones verbales son:
P si y solo si q
P es equivalente a q
P siempre y cuando que q
P por lo cual y segn q

Tabla de Verdad
p
V
V
F
F

q
V
F
V
F

P se define c
P es lo mism
P si de la mism
que q
P es idntico

q
V
F
F
V

Nota.- Solo es verdadera cuando ambas

proposiciones son verdaderas o ambas son
falsas.
Otros ejemplos:
- Es fundamentalista si y solo si es talibn
- Habr cosecha siempre y cuando llueva.
- Si apruebo el examen de admisin,
entonces y solo entonces ingresare a la
universidad.
Proposiciones Negativas.- presenta el
conector no (~) el cual permite cambiar el
valor de veracidad de la proposicin.

Matemtica y Lgica

b) Nicod o Negacion Conjunta.- presenta el

conectivo ni, ni ( ) , se trata de aceptar

Ejemplo:
p: eres futbolista
~p: no es verdad que seas futbolista

la proposicin que niega ambas proposiciones

Algunas traducciones verbales son:

Nunca p
Jams p
Tampoco p
Es absurdo que p
Es inconcebible que p
Es imposible que p
De ninguna forma se da que
p
Es incierto que p
No ocurre que p

No es verdad que p
No es el caso que p
Es mentira que p
Es inadmisible que p
No acaece que p
No es innegable que p
Es errneo que p
Es incorrecto que p

Ejemplo:
Ni Doris tiene sangre azul ni Doris tiene sangre
verde
p: Doris tiene sangre azul
q: Doris tiene sangre verde

p q

Ejemplo: La materia ni se crea ni se destruye

Tabla de Verdad

Tabla de Verdad
p
V
F

~p
F
V

V
V
F
F

V
F
V
F

F
F
F
V

Nota.- Solo es falsa cuando

proposiciones son verdaderas.

ambas

Nota.- Cambia el valor de verdad de la

proposicin.
-

Otros ejemplos:
Nunca he odo esa msica
Jams he visto al vecino
Es falso que el Juez sea fiscal
Al papa de Nelly le falta carcter
Es imposible que el tomo sea molcula.

5. OTRAS PROPOSICIONES SON:

a) Shaffer o de Incompatibilidad.- presenta el
conectivo incompatible (
). Se trata de
aceptar
la
proposicin
donde
exista
incompatibilidad de ambas proposiciones

pq

USOS DE LOS SIGNOS DE AGRUPACIN Y

JERARQUA DE LOS CONECTIVOS LGICOS
Los signos de agrupacin (parntesis, corchetes, llaves)
se utilizan cuando se trata de obtener esquemas lgicos
ms complejos con el fin de evitar las ambigedades en
las frmulas.
Ejemplo:

Ejemplo: dos es numero par es incompatible

con 5 es primo
p: dos es numero par
q: cinco es primo.
Tabla de Verdad
p
V
V
F
F

q
V
F
V
F

Nota.- Solo es falsa cuando

proposiciones son verdaderas.

Lic. Gilmer D. Ordez Aguilar

F
V
V
V

La expresin:
Debe ser:

p q r

( p q)r

, es ambigua
es ms precisa.

La jerarqua es otro de los motivos para usar los signos

de agrupacin, en los conectivos lgicos, el cual es el
siguiente:
1 La Negacin.

Es el de menor jerarqua.

2 La Conjuncin y Disyuncin dbil

ambas

Pgina 5

tienen el mismo nivel

3 La condicional

tiene mayor jeraquia

Matemtica y Lgica

4 La disyuncin fuerte

Se representa:

5 La bicondicional

En caso contrario se tiene en cuenta los signos de

puntuacin, siendo el conectivo dominante el que este
fuera de todo signo de agrupacin
Ejemplo:
a)

( p q)( p q)

b)

[ ( p q ) r ](q r )

c) (p ~q)

p ( p q )

e)

( p q) (r t)

f)

c) Puesto que un hombre prudente huye de los leones y

pues ningn docente es imprudente. Se sigue que
ningn docente deja de huir de los leones.
Se tiene:
p: los hombres prudentes huyen de los leones
q: Los docentes son prudentes
r: Los docentes huyen de los leones

[ p ( q ) ] ( r)
d) Si Alfonso estudia aritmtica, entonces tambin estudia
lgica o algebra. Alfonso no estudia aritmtica. Luego
Alfonso no estudia algebra

(~p v r)

d)

( p q) (r q )

e) Kant es filsofo, pero Frege es Lgico

Forma lgica
[ ( p q ) r ]
Kant es filsofo y Frege es Lgico
Frmula
UNA FRMULA BIEN FORMADA?
p: Kant es filsofo
q: Frere es Lgico
Frmulas BIEN formadas
Frmulas MAL formadas

(q r)

(p

p r

(q r))

p q(

(p(q r))

( r)

(pq r))

p q
f) No iremos al teatro a menos que venga Ral
Forma Lgica
Si Ral viene, entonces iremos al teatro
Frmula
p: Ral viene
q: Iremos al teatro

p q

FORMALIZACIN O SIMBOLIZACIN DE UNA

PROPOSICIN COMPUESTAS
Consiste en utilizar el lenguaje formal, abreviando o
simbolizando las proposiciones en letras, que van desde la
p hasta el final del alfabeto, smbolos llamados conectivos
lgicos y haciendo uso de los signos de agrupacin. Una
de las recomendaciones es desagregar las proposiciones
en proposiciones simples
Ejemplo:
a) Si hay lluvia en la sierra y el gobierno apoya a los
agricultores, habr buena produccin agrcola
Se tiene: p: Hay lluvias en la sierra
q: El gobierno apoya a los agricultores
r: hay buena produccin agrcola
Se representa:

( p q)r

b) Si no es el caso que Jaime sea un comerciante y

prspero empresario, entonces es ingeniero o no es
comerciante.
Se tiene:
p: Jaime es un comerciante
q: Jaime es un prspero empresario
r: Jaime es ingeniero
Lic. Gilmer D. Ordez Aguilar

Pgina 6

g) Tanto Waldir Senz como Chemo del Solar son

atletas porque son futbolistas
Forma Lgica
Si Waldir Senz es futbolistas y Chemo del Solar es
futbolistas, entonces Waldir Senz y Chemo del Solar
son Atletas

( p q) (r s )
h) Csar es profesor o alumno, pero no puede ser ambas
cosas a la vez
Forma lgica:
Cesar es profesor o Csar es alumno y es falso que
Csar sea profesor y Csar sea alumno
Frmula:
p: Cesar es profesor
q: Csar es alumno

( p q)( p q )
Recuerda que debes tener en cuenta en identificar el
conectivo de matyor jaraquia .

Matemtica y Lgica

i)

Si Maria es la novia de Pedro y Marta es la prima de

pedro, Luis es primo de Marta.

j)

Esther estudia matemtica o comunicacin se deduce

que pasar el semestre, aunque ni estudia matemtica
ni comunicacin, en consecuencia no pasar el
semestre.

Ejemplo:
1.

p p

2.

[ ( p q)( q p) ]

C) CONTINGENCIA.Cuando
par
cualquier
combinacin de valores de una proposicin puede ser
verdadera o falsa (V y F).

TABLAS DE VERDAD
Utilizando los conectivos lgicos se pueden combinar
cualquier nmero finitos de proposiciones compuestas
cuyos valores de verdad se pueden conocer mediante las
tablas de verdad. Para conocer el nmero de
combinaciones de los valores de verdad, segn el nmero
de proposiciones, se utiliza la siguiente frmula:

Donde n es igual al nmero de proposiciones.

Ejemplo: Construir la tabla de
proposiciones:
a) (p ~q) v (~p v r)
b)
p q r (p ~
V V V V F F
V V F V F F
V F V V V V
V F F V V V
F V V F V F
F V F F V F
F F V F V V
F F F F V V
c) p (q ^ r)
d) (p ~ r) (q v p)

B) CONTRADICCIN.- Cuando par cualquier

combinacin de valores de una proposicin son todos
falsos (F).

verdad de las siguientes

Ejemplo:
1.

[( p q) r ]

2.

( p q) (r q )

PROPOSICIONES
EQUIVALENTES

Se dice que dos proposiciones se llaman lgicamente

equivalentes si sus tablas de verdad son idnticas. Se

p q

denota por
q)
V
V
F
F
V
V
F
F

v ( ~ p v r)
V F V V V
F F V F F
V F V V V
V F V F F
V V F V V
V V F V F
V V F V V
V V F V F

Se dice tambin que dos proposiciones son lgicamente

equivalentes cuando una Bicondicional

es

Ejemplo: Las siguientes proposiciones son equivalentes

(p q)

(p q).

( p q )(q p)
q

(p q)

f) (~p ^ q) ~ (q v ~r)

( p q)

una tautologa

e) ~ (p ~ q) ~ r

LGICAMENTE

(p q).

( p q )(q p)

CLASIFICACIN DE LAS TABLAS DE VERDAD

A) TAUTOLOGA.cuando
para
cualquier
combinacin de valores de una proposicin
compuesta son siempre verdaderos (V).
Ejemplo:

Implicacin
Lgica.- Es
toda
condicional que es una tautologa.

p q

1.

( p q ) ( p q )

Se denota por:

2.

( p q ) ( p q)

3.

[( p ) r ]

Ejemplo: [( p q ) p] q
Equivalencia Lgica.- se llama as a toda bicondicional
que es una tautologa.

4.

( p q) (q p)

Se denota por:

p q

Ejemplo: p q ~(p ~ q)

Nota: para construir las tablas de verdad es necesario

identificar el conectivo de mayor jerarqua, el cual se
Lic. Gilmer D. Ordez Aguilar

Pgina 7

Matemtica y Lgica

desarrolla al Final, y empezando por los que estn en

signos de agrupacin, si los hubiera.

c)
LEYES DE LA LGICA PROPOSICIONAL
Reflexiva.-

p p

2)

Simtrica:

si p q

Conmutativa:

p q q p ; p q q p; p

q p

q q p
4)

Identidad:

p V p;

pFp

5)

Complemento:

p p F;

p p V

6)

Asociativa:
p (q r) (p q) r ;
(q r) (p q) r
7)

Idempotencia:

ppp;

ppp

9)

Acotamiento:

pFF;

pVV

11)

13)

De Morgan:
p q
Condicional :

(p q) p q ;

(p q)

p q p q
p (p q) p;

14) Absorcin:
p

p (p q)

Absorcin generalizada: p (p q) p q;
(p q) p q

16)

Bicondicional: p q (p q) ( q p) ;
q (p q) (q p)
q (p q) (p q)

p
p

17)

Disyuncin exclusiva: p q (p q) (p q) ;
p q (p q) (p q)
Contraposicin:

Circuito Cerrado
V=1

Circuito abierto
p
F=0

Cuando las proposiciones s encuentran una a

continuacin de otra. Para que pase la corriente y
se encienda el foco es necesario que los
conmutadores p y q estn cerrados. Basta que uno
de ellos se abra para que la corriente se
interrumpa.
Se comporta como una conjuncin

Negacin de la condicional:
q

20)

Negacin. de la bicondicional:
q ; (p q) p q

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

( p q) p

Lic. Gilmer D. Ordez Aguilar

B) Circuito en Paralelo: Se denota por p q

Cuando los conmutadores se encuentran uno a
lado del otro a un mismo nivel. Para que la
corriente pase basta que uno de ellos se encuentre
cerrado. Para que la corriente se interrumpa, los
dos conmutadores deben estar abiertos.
Se comporta como una disyuncin
p

p q q p

19)

Ejemplo: a)

Se denotan por: p o V o 1 si el circuito est cerrado o pasa

corriente
p o F o 0 si el circuito
est abierto o no pasa corriente.

15)

18)

Un circuito elctrico es un circuito conmutador que tiene

interruptores que permiten el paso de la corriente o la
interrupcin de la misma.

A) Circuito en Serie: Se denota por p q

V F ; F V

Opuesto:

La construccin de las computadoras electrnicas se basa

en la construccin de circuitos electrnicos, y esto es
posible mediante la aplicacin de las leyes de la lgica
proposicional.

Tipos de circuitos:

(p) p ;

10) Involucin:

12)

Distributiva:
p (q r) (p
q) (p r); p (q r) (p q)
(p r)

8)

[ p ( q p)] q

CIRCUITOS LGICOS:

1)

3)

( p q ) ( q r )

b)

Pgina 8

q
C) Circuito mixto.- Cuando combina circuitos en
serie y en paralelo
Ejemplo: Construir su circuito lgico de las siguientes
esquemas moleculares:

Matemtica y Lgica

a)

( p q) ( p q)

b) EL oxgeno no produce
presencia de metaloides.

b)

( p q)( p q)

d) Los peces son acuticos puesto que

respiran por branquias

EJERCICIOS DE PROPOSICIONES
1. Delos siguientes enunciados cuales son
proposiciones
y
cuales
enunciados
abiertos:
a) Alexis es estudioso
b) Viva el Pe!

e) Gloria e Irene son contemporneas

f) Decir que la inteligencia es hereditaria
es defender la idea de que nuestras
facultades se trasmiten de padrea a
hijos as como el color de los ojos.
g) La suma de los ngulos internos de un
tringulo es igual a 180

c) 52+32 = 36
d) Platn naci en Piura

h) Todos los cuerpos atraen con una

fuerza directamente proporcional al
producto de sus masas e inversamente
proporcional a cuadrado de la distancia
que los separa.

e) A + B = 18
f) Cul es tu nombre?
g) 235 < 129
h) El da est nublado

i) La huelga
solucin

i) Vaya con Dios, seora

j) Ricardo palma es
tradiciones peruanas

autor

de

las

k) El nmero cuatro es el doble de dos

l) 10 + 20 = 31

continua

a) Juan es pinto o albail

n) Marchen!

b) La tiza no es blanca

o) Juan es Matemtico

c) El jaguar es
cuadrpedo

p) La nueva constitucin Poltica del Per

fue sancionada y promulgada por la
Asamblea Constituyente e 1993.

r) Los
nmeros
inteligentes

pez

gordo

del

pues

no

hay

3. De las siguientes proposiciones, identifica

cuales son proposiciones disyuntivas dbil
o
fuerte,
conjuntivas,
implicativa
(Condicional),
biimplicativas
(bicondicional), o negaciones.

m) El tringulo tiene tres lados

el

en

c) Tanto la suma como la multiplicacin

de nmeros naturales son asociativas

Ejercicios

q) Quin
es
narcotrfico?

oxido

d) David es
enfermero

un

mdico

carnvoro
o

solo

un

es

un

e) Javier y Luz se aman

f) Arturo no llega a tiempo

racionales

son

g) Luis y Daniel corren

h) 8 es mltiplo de 2 pues es par

s) Solo s que nada se

t) Juan es bondadoso

i) Ya bien Sonia viaja a pars, ya bien

viaja a Chile

u) Los
organismos
superiores
tiene
pulmones porque necesitan respirar

j) Si Miguel Grau es piurano, entonces es

peruano

v) No engaes nunca a nadie

k) 15 es mltiplo de 5, pero 5 es mayor

que 2.

w) La semana tiene 8 das

l) Si se calienta un cuerpo entonces se

dilata; y si se enfra, entonces se
contrae.

x) A es la capital del Per

y) El nmero cinco sonri
2. Diga si las siguientes proposiciones son
atmicas o moleculares:
a) Osama y Omar son concuados
Lic. Gilmer D. Ordez Aguilar

Pgina 9

m) Sin aparicin de la galaxia , sin la

formacin de estrellas, jams habra
existido el hombre ni la vida

Matemtica y Lgica

n) Las estrellas nacen,

tambin mueren.

viven,

pero

e) Si no hay nubes en el cielo, entonces el

Sol est brillando

o) Del 20% de 150 es 30 o 50

4. Escriba la palabra si cuando la formula
este bien formada y no en caso contrario.
Adems
diga
cmo
se
llama,
estableciendo la jerarqua entre sus
operadores
a)

f) O est lloviendo o el sol est brillando

6. Sean p, q y r del ejercicio anterior. Traducir
las siguientes proposiciones simblicas a
oraciones en espaol:

p q

b)

( p q ) ( r s )

c)

( p q)(r s)

d)

[ p ( q r ) ]

e)

[ ( p q ) ( t s ) ]

f)

p ( q r ) q

g)

pp
p [q ( r s t ) ]

h)

rrp s
q
p

7. Lectura: Caa una espesa lluvia. Juan

se despert y lanz un gemido Aj,
aj, el colegio! Se levant de la cama
y se sent en una silla. Oy la bocina
de un auto o el silbato de un polica.
Entonces se estremeci. Por causa
del fro o del miedo. Estaban
haciendo
tanto
ruido.
Repentinamente se le ilumin
la
cara. Qu bien! Se haban acordado
de algo. Las clases no empiezan hoy,
sino maana
Actividades
a)

r (r t )

Redacta
una
lista
de
las
proposiciones simples de la lectura
leda

p:
_______________________________________________
________

i) (p q

5. Sean p, q y r las proposiciones siguientes:

p: est lloviendo
q: el sol est brillando

q:
_______________________________________________
________
r:_____________________________________
___________________

r: hay nubes en el cielo

Traduciremos las siguientes oraciones a
notacin simblica utilizando las letras
asignadas y los conectivos lgicos:
a) Est lloviendo y el Sol brillando
b) Si est lloviendo, entonces hay nubes
en el cielo
c) Si no est lloviendo, entonces el Sol no
est brillando y hay nubes en el cielo
d) El Sol est brillando si, y slo si, no est
lloviendo

s_____________________________________
___________________
t:_____________________________________
___________________
2.

En base a las proposiciones

anteriores
haz
una
lista
de
proposiciones compuestas

______________________________________
___________________
______________________________________
___________________
______________________________________
___________________

Lic. Gilmer D. Ordez Aguilar

Pgina 10

Matemtica y Lgica

______________________________________
___________________
_____________________________________
____________________
EJERCICIOS DE SIMBOLIZACIN

r) Sufre la pena, pues cometiste la culpa

s) Sin su libre consentimiento, sin la
debida retribucin, no se puede le
puede obligar a prestar trabajo.
t) Tanto Carlos como Federico son ateos
porque son materialistas.

8. Simboliza las siguientes proposiciones:

a) Es incorrecto que 15 es un cuadrado
perfecto, puesto que tiene raz
cuadrada exacta.
b) Isabel no ir al teatro, si y solo si se
compra un libro o se compra un disco
c) Si hace calor y el cielo est claro,
entonces vamos a nadar y pasear en
bote.
d) La aguja de la brjula gira en vista de
que la embarcacin a cambiado de
rumbo, y la embarcacin ha cambiado
de rumbo dado que hay tormenta en
alta mar.

u) Aunque est enfermo, no faltare a

clases.
EJERCICIOS DE TABLAS DE VERDAD
9. Construye la Tabla de verdad para las
siguientes proposiciones
a) [p ( p q )] p
b) p [( p q ) p]
c) ~(p q ) (~ p ~ q)
d) [(p q ) r] [p ( q r )]
e) [( p q ) r] [p ( q r )]
f) [p ( q r )] [( p q ) ( p r )]

e) Rodrigo nacin en Amrica o Europa

g) (p q) ~ ( p q )

f) Si Abelardo est en Europa, o l est

en Colombia, entonces no ocurre que
Juan est en el Ecuador.

h) [p ( q r )] [q ( p r )]

g) El Per importa arroz, puesto que no

hay produccin porque existe recesin
h) Esther
estudia
matemtica
o
comunicacin se deduce que pasar el
semestre,
aunque
ni
estudia
matemtica
ni
comunicacin,
en
consecuencia no pasar el semestre.

i)

( p q ) {r [p ( q r )]}

10. Sean las proposiciones p, q, r cuyos

valores de verdad es V, F y F Hallar el
valor de verdad de las siguientes
proposiciones
a)

( p q) p

b)

( p q ) [ ( p r )(q r ) ]

i) No es cierto que sea un buen

estudiante y destaque en el futbol.

c)

( p q ) ( q r )

j) No es el caso que, hace fro y no se

congele, sin embargo no hace fro.

d) (p q (q r)

k) Si El 30% de 300 es 90 entonces el

40% de 50 es 20 o 25

e) [(p r ( p q) q

l) La Huelga
solucin

f)

continua

pues

no

hay

m) David no es loretano ni limeo

n) Si se calienta un cuerpo entonces se
dilata
y si se enfra entonces se
contrae.
o) Las estrellas nacen
tambin mueren.

viven,

pero

p) Si el ciclotrn bombardea el tomo,

entonces acelera la velocidad de los
protones.
q) La universidad est sin rector.
Lic. Gilmer D. Ordez Aguilar

Pgina 11

{[

( p q ) ( p q ) ] }

11. De las siguientes proposiciones, diga

cuales son tautologas, contradicciones o
contingencias
a)

( p q) ( p q)

b) (p q r
c)

( p q )( p q)
]

Matemtica y Lgica

d) (p

d)

( p q ) ( p q )

e)

[ ( p q ) q ] p

f)

[( p q ) ( q r ) ]( p r)

g)

[ ( p q ) q ] p

q r [( p q r )( p q r )]
e)

p[ ( p p ) ( q p ) ( r p ) ( r p ) ]

h) [( p q ) p] q
i)

( p q) q p

f)

( p q) [ ( p q ) ( p q ) ]

g)

( p q)

EJERCICIOS DE CIRCUITOS LGICOS

15. Disee los circuitos de las siguientes
proposiciones compuestas:
a)

p(q r )

b)

p(q r )
]

c)

( p q) ( r s)

d)

p
( p q r )

b) ( r q [( q r ) s ]

e)

( p q ) [q ( p q ) ( p q ) ]

( p q) q
c) (p q ]

f)

( p q )(r s)

g)

[ ( p q ) ( p q ) ]

h)

( p q ) [ ( p q ) ( p q ) ]

j)

[( p q ) ( q r ) ]( p r)
k)
12.

[ p ( q p )]
De

la

proposicin

Falsedad

de

la

siguiente

( p q ) ( r s )

a) ( p q q

13.

Si el esquema [(p q (r q),

es falsa, hallar el valor de verdad de los

siguientes esquemas moleculares, si se da
a l proposicin p: 2 es divisor de 5
a)

16. Traduzca a esquemas moleculares los

siguientes circuitos:

( p q ) ( r q )

a)

b) (p r ( q p)
c)

[ p ( q r ) ] ( p r )

EJERCICIOS DE
PROPOSICIONAL

LEYES

DEL

b)

[( p q) q] p

b)

p[ ( q r ) ( q r ) ]

c)

t
c)

p
q

t
d)

[ ( p q ) ( p q ) ] ( p q )

Lic. Gilmer D. Ordez Aguilar

ALGEBRA

14. Determinar los esquemas ms simples

de las siguientes proposiciones:
a)

q r

Pgina 12

p
~q

~p

Matemtica y Lgica

b)El promedio de sus dos nmeros es

mayor que 5/4

~r

c) Uno de sus nmeros es tres

r

d)La diferencia entre sus nmeros es

1

~s
e)

e)El primero de los nmeros en que

est pensando es mayor que el
segundo
f) La suma de los cuadrados de sus
nmeros es menor que 14

AUTOEVALUACIN
1. De los siguientes enunciados cuales son
de proposiciones y no proposiciones:
a)Todos los planetas giran alrededor
del sol
b)Si un nmero es divisible por 4
tambin lo es por 2
c) a + b + 10 = 20
d)a + b + 10 = 20; donde a = 4, b= 7
e)Batman es el hombre murcilago
f) Socorro!
g)Todo organismo viviente se adapta
a su medio fsico
h)Habr juicio final?
2. Identifica las premisas y conclusiones
en el siguientes texto:
La luz que vemos provenientes de las
galaxias distantes sali de ellas hace
millones de aos, y en el caso del
objeto ms distante que hemos visto, la
luz surgi desde hace ocho millones de
aos. As pues, cuando observamos el
universo, lo estamos viendo como fue
en el pasado.
3. Un profesor dice a sus estudiantes lo
siguiente: Estoy pensando en dos
nmeros de los tres nmeros 1, 2 y 3.
Luego los alumnos formularon las
siguientes proposiciones: (determinar el
valor de verdad de:)
a)Por los menos uno de los nmeros
es impar
Lic. Gilmer D. Ordez Aguilar

Pgina 13

Matemtica y Lgica

Los congresistas representas a la nacin y los congresistas

no estn sujetos a mandato imperativo
Luego los congresistas representan a la Nacin
Formula:
p: Los congresistas representan a la Nacin
q: Los congresistas estn sujetos a mandato imperativo

p
q
p

O Tambin

( p q) p

Ejemplo: Si esta figura tiene cuatro lados, es un

cuadriltero. Si esta figura tiene tres lados, es un triltero.
Esta figura tiene cuatro lados o tiene tres lados. Por lo
tanto, esta figura es un cuadriltero o un triltero
Premisas:
Si esta figura tiene cuatro lados es un cuadriltero
Si esta figura tiene tres lados es un triltero
Esta figura tiene cuatro lados o tiene tres lados.
Conclusin: Por lo tanto, esta figura es un
cuadriltero o un triltero

Formula
Ejemplo: Felipe no ser expulsado del club a menos que
el cometa actos de traicin e inmoralidad. No ha sido
expulsado, En consecuencia no ha cometido actos de
traicin ni de inmoralidad
Forma lgica:
1. Si Felipe comete actos de traicin y actos de
inmoralidad, entonces ser expulsado del club.
2. Felipe no ha sido expulsado del club
3. Luego Felipe no ha cometido actos de traicin y
no ha cometido actos de inmoralidad
Formula
INFERENCIAS LGICA.- (implicaciones notables)
Una inferencia (llamada tambin razonamiento,
deduccin, argumentacin o argumento) es una operacin
lgica que consiste en derivar a partir de la verdad de
ciertas proposiciones, conocidas como premisas, la verdad
de otra proposicin conocida como conclusin.
La conclusin est en parte contenida en las premisas, de
modo que para que el razonamiento est bien construido
tiene que haber una relacin de necesidad entre las
premisas y la conclusin. Estn precedidas de la palabra
puesto que, ya que, pues, porque, siempre que,
si, etc.
Ejemplo: Los congresistas representan a la Nacin, pero
no estn sujetos a mandato imperativo. Luego, los
congresistas representan a la Nacin
Premisas:
Conclusin:
Forma Lgica:
Lic. Gilmer D. Ordez Aguilar

Pgina 14

1.

( p q)r

2.

3.

p q

{[ ( p q ) r ] r } ( p q )
LA INFERENCIA LGICA
LGICA

IMPLICACIN

Aquellas que indican, si la proposicin p implica la

proposicin q, y que esta implicacin (p q) es una
tautologa.
Las implicaciones o Inferencias lgicas se pueden escribir
de dos formas:
a) Forma horizontal: se utilizan los conectivos y
(p1 p2 ... pn) q

Matemtica y Lgica

b) Forma vertical.- no se utilizan los conectivos y

. Se escriben verticalmente las premisas y al final
de la ltima se escribe una raya y luego los tres
puntos seguido de la conclusin
p1
p2
p3
.
.

Ejemplo: El pueblo es una masa pasiva que sigue bien las

ideas de un gran hombre, bien los preceptos de la idea
absoluta. Sigue los preceptos de la idea absoluta. Por lo
tanto no sigue las ideas de un gran hombre.
Ejemplo.- Los actos del presidente de la Republica son
nulos a menos que tengan refrendacin Ministerial. Son
nulos, pues no tiene refrendacin ministerial.
INFERENCIAS LGICAS NOTABLES
1)

Adicin:

1. p

Donde p1, p2, ..., pn son proposiciones llamadas premisas y

q es la conclusin

p q

En el lenguaje formal la conclusin va precedida por el

o el smbolo que se lee por

smbolo

p (p q) V
2)

lo tanto o luego
Ejemplo: "Si estudio, aprendo. Es as que estudio, luego
aprendo".
1.

p q

( primera premisa )

2.

( segunda premisa )

(conclusin)

a)

p q

q
(p q) q V

3)

Modus Ponendo Ponens: significa, afirmando

afirmo y en un condicional establece, que si el
antecedente (primer trmino, en este caso p) se
afirma, necesariamente se afirma el consecuente
(segundo trmino, en este caso q).

1. p q

2. p
3.

p q

4.

p q

Ejemplos: Si el tringulo tiene dos lados iguales se llama

Issceles. El tringulo no se llama Issceles. En
consecuencia el tringulo no tiene dos lados iguales
p: El tringulo tiene dos lados iguales
q: El tringulo se llama issceles

1. p q
2. q

((p q) p) q V
Ejemplo: Si el 6 es divisor de 42, entonces es
divisor de 84. Pero 6 es divisor de 42. Por lo tanto
es divisor de 84
Ejemplo: si llueve l, entonces las calles se mojan.
Llueve, luego las calles se mojan
4)

Modus Tollendo Tollens: significa negando,

niego, Si de un condicional, aparece como
premisa el consecuente negado (el efecto), eso nos
conduce a negar el antecedente (la causa), puesto
que si un efecto no se da, su causa no ha podido
darse.

1. p q

(Evaluacion: Tabla de verdad)

2. q

p
Lic. Gilmer D. Ordez Aguilar

1. p q

Ejemplo: Tanto la dinmica como la cinemtica

estudian el movimiento. Por lo tanto, la cinemtica
estudia el movimiento

Ejemplos de razonamiento:

p q

b)

Un razonamiento es vlido cuando la conclusin se deriva

necesariamente de las premisas y es invlido cuando la
conclusin no se deriva de las premisas
2.

1. p q

(p q) p V

Nota.- En resumen, en lgica no interesa tanto la verdad o

falsedad de las proposiciones, sino las relaciones lgicas
que existen entre ellas

1.

Simplificacin:

Pgina 15

Matemtica y Lgica

((p q) q) p V

Ejemplo: Si llueve, entonces las calles se mojan.

Si l atierra tiembla, los edificios se caen. Pero
llueve o la tierra tiembla. Por tanto las calles se
mojan o los edificios se caen

Ejemplo: Si hay calor entonces llueve. No llueve.

En consecuencia no hace calor.
Ejemplo: Si llueve, entonces las calles se mojan.
Las calles no se mojan, por lo tanto no llueve
Ejemplo: Si aumenta el IGV, los precios suben. Los
precios no han subido , por lo tanto el IGV no ha
aumentado
5)

Modus Tollendo Ponens: si uno de los miembros

de una disyuncin es negado, el otro miembro
queda automticamente afirmado, ya que uno de los
trminos de la eleccin ha sido descartado
[(p q) p*] q V

TEOREMA DE REDUCCIN AL ABSURDO O

MTODO ABREVIADO
La proposicin q es consecuencia lgica de las
proposiciones p1, p2, ..., pn, si y solo si la proposicin:
(p1 p2 ... pn q)

El mtodo es inverso al de la tabla de verdad y consiste en

lo siguiente:

Se supone verdadero el antecedente y falso el

consecuente.

Se determinan los valores de las variables del

consecuente, que expresen la falsedad de este.

Se trasladan estos valores al antecedente, y se

designan los valores de las dems variables.

Si no se verifica la hiptesis, la formula ser

tautologa, en consecuencia la inferencia es
vlida.

[(p q) q] p V
Ejemplo: Vas al tecnolgico o vas a la discoteca.
No vas a la discoteca. Por lo tanto vas al
tecnolgico.
Ejemplo: He ido al cine o me he ido de compras,
no he ido de compras, por lo tanto me he ido ak
cine
6)

Silogismo hipottico: dadas dos implicaciones, de

las cuales el antecedente de la una sea el
consecuente de la otra, podemos construir una
nueva implicacin donde el antecedente sea el
antecedente de la primera implicacin y el
consecuente sea de la consecuente de la segunda
implicacin
[(p q) (q r)] (p r) V
Ejemplo: Si te levantas temprano, podrs asistir a
la clase de matemtica. Si ingresas a la clase de
matemticas aprenders sobre el tema de
inferencias lgica. Te levantas temprano, entonces
aprenders el tema de inferencia lgica

es una contradiccin.

Ejemplo
Si eres fiscal, eres abogado. Si eres profesional eres
abogado. Luego, si eres fiscal, eres profesional.
Formula:

[ ( p q ) ( q r ) ]( p r )

Ejemplo: Si eres un cardilogo, eres mdico. Si eres

mdico. Eres colegiado. Luego, si eres cardilogo, eres
colegiado

[ ( p q ) ( q r ) ]( p r )

Ejemplo: Si la bola roja golpea a la bola blanca, la

bola blanca se mueve. Si la bola blanca golpea ala
bola negra, la bola negra se mueve. Por lo tanto si la
bola roja golpea a la bola blanca, la bola negra se
mueve.
7)

Silogismo disyuntivo.- Dadas tres premisas, dos de

ellas implicaciones, y la tercera una disyuncin
cuyos miembros sean los antecedentes de los
condicionales, podemos concluir en una nueva
premisa en forma de disyuncin, cuyos miembros
seran los consecuentes de las dos implicaciones.
Lgicamente, si planteamos una eleccin entre dos
causas, podemos plantear una eleccin igualmente
entre sus dos posibles efectos, que es el sentido de
esta regla.
[(p q) (r s) (pr] (ps) V

Lic. Gilmer D. Ordez Aguilar

Pgina 16

LGICA CUANTIFICACIONAL

Matemtica y Lgica

CONSECUENCIA LGICA
La proposicin q es consecuencia lgica de las
proposiciones p1, p2, ..., pn, si la proposicin:
(p1 p2 ... pn) q es una tautologa.

p)

pp
p [q ( r s t ) ]

q)

rrp s
q
p

r (r t )
r) (p q
2. Sean p, q y r las
proposiciones
siguientes:
p: est lloviendo
q: el sol est brillando
r: hay nubes en el cielo
Traduciremos las siguientes oraciones a
notacin simblica utilizando las letras
asignadas y los conectivos lgicos:
g) Est lloviendo y el Sol brillando
h) Si est lloviendo, entonces hay
nubes en el cielo
i) Si no est lloviendo, entonces el Sol
no est brillando y hay nubes en el
cielo
j) El Sol est brillando si, y slo si, no
est lloviendo
k) Si no hay nubes en el cielo,
entonces el Sol est brillando
l) O est lloviendo o el sol est
brillando

PRACTICA
1. Escriba la palabra si cuando la formula
este bien formada y no en caso
contrario. Adems diga cmo se llama,
estableciendo la jerarqua entre sus
operadores
p q
j)
k)

( p q ) ( r s )

l)

( p q)(r s)

m) [ p ( q r ) ]
n)

[ ( p q ) ( t s ) ]

o)

p ( q r ) q

Lic. Gilmer D. Ordez Aguilar

Pgina 17

3. Sean p, q y r del ejercicio anterior.

Traducir las siguientes proposiciones
simblicas a oraciones en espaol:
4.

Lectura: Caa una espesa lluvia.

Juan se despert y lanz un
gemido Aj, aj, el colegio! Se
levant de la cama y se sent en
una silla. Oy la bocina de un auto
o el silbato de un polica. Entonces
se estremeci. Por causa del fro o
del miedo. Estaban haciendo tanto
ruido.
Repentinamente
se
le
ilumin
la cara. Qu bien! Se
haban acordado de algo. Las
clases no empiezan hoy, sino
maana
a) Redacta
una
lista
de
las
proposiciones simples de la lectura
leda

Matemtica y Lgica

p: ___________________________
q: ___________________________
r:____________________________
s____________________________
t:____________________________
b)
En base a las proposiciones
anteriores
haz
una
lista
de
proposiciones compuestas
_____________________________
_____________________________
_____________________________
_____________________________
____________________________
5. Simboliza las siguientes proposiciones:
a) Es incorrecto que 15 es un
cuadrado perfecto, puesto que
tiene raz cuadrada exacta.
b) Isabel no ir al teatro, si y solo si se
compra un libro o se compra un
disco
c) Si hace calor y el cielo est claro,
entonces vamos a nadar y pasear
en bote.
d) La aguja de la brjula gira en vista
de que la embarcacin a cambiado
de rumbo, y la embarcacin ha
cambiado de rumbo dado que hay
tormenta en alta mar.
e) Si Abelardo est en Europa, o l
est en Colombia, entonces no
ocurre que Juan est en el Ecuador.
f) El Per importa arroz, puesto que
no hay produccin porque existe
recesin.
g) Esther estudia
matemtica
o
comunicacin se deduce que
pasar el semestre, aunque ni
estudia
matemtica
ni
comunicacin, en consecuencia no

l) Si se calienta un cuerpo entonces

se dilata y si se enfra entonces se
contrae.
m) Las estrellas nacen y viven, pero
tambin mueren.
n) Si el ciclotrn bombardea el tomo,
entonces acelera la velocidad de
los protones.
o) Sufre la pena, pues cometiste la
culpa
p) Sin su libre consentimiento, sin la
debida retribucin, no se puede le
puede obligar a prestar trabajo.
q) Tanto Carlos como Federico son
ateos porque son materialistas.
r) Aunque est enfermo, no faltare a
clases.
1. Construye la Tabla de verdad para las
siguientes proposiciones
j) p ( p q ) p
k) p ( p q ) p
l) ~ p q ) ~ p ~ q
m) ( p q ) r p ( q r )
n) ( p q ) r p ( q r )
o) p ( q r ) ( p q ) ( p r )
p) p q ~ ( p q )
q) p ( q r ) q ( p r )
r) ~ ( p q ) ~p ~q
s) ( p q ) r p ( q r )
2. Sean las proposiciones p, q, r cuyos
valores de verdad es V, F y F Hallar el
valor de verdad de las siguientes
proposiciones
g) ( p q) p
h)

( p q ) [ ( p r )(q r ) ]

i)

( p q ) ( q r )
j) (p q (q r)
k) [(p r ( p q) q

h)
i)
j)
k)

pasar el semestre.
No es cierto que sea un buen
estudiante y destaque en el futbol.
No es el caso que, hace fro y no se
congele, sin embargo no hace fro.
La Huelga continua pues no hay
solucin
David no es loretano ni limeo

Lic. Gilmer D. Ordez Aguilar

Pgina 18

3. De
las
siguientes
proposiciones, diga cuales
son tautologas, contradicciones o
contingencias
l) ( p q) ( p q)
m)
n)

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

Matemtica y Lgica

7. Disee los circuitos de las siguientes

proposiciones compuestas:
p(q r )
i)

o)

( p q ) ( p q )

p)

[ ( p q ) q ] p

q)

[( p q ) ( q r ) ]( p r)

r)

[ ( p q ) q ] p

s)

( p q) q p

t)
[( p q ) ( q r ) ]( p r)
u)

4. De

j)

p(q r )

k)

( p q) ( r s)

l)

p
( p q r )

( p q ) [q ( p q ) ( p q ) ]

m)

p (q p)

Falsedad de la siguiente
proposicin ( p q ) ( r s )

q r

n)

( p q )(r s)

o)

( p q) ( p q)

p)

( p q ) [ ( p q ) ( p q ) ]

la

s) Traduzca a esquemas moleculares los

siguientes circuitos:

d) ( p q q
e) ( r q ( q r ) s
f) (p q ( p q) q
5. Si el esquema [(p q (r q) ,

es falsa, hallar el valor de verdad de

los siguientes esquemas moleculares,
si se da a l proposicin p: 2 es divisor
de 5
d) ( p q ) ( r q )

f)

e) (p r ( q p)
f)

g)

[ p ( q r ) ] ( p r )

6. Determinar los esquemas ms simples

de las siguientes proposiciones:
h) [( p q) q] p

h)

i)

p(q r )(q r)

j)

[ ( p q ) ( p q ) ] ( p q )

p
q

i)

~q

l)
p[ ( p p ) ( q p ) ( r p ) ( r p ) ]

n)

p q [ ( p q ) ( p q ) ]

p
~r

( p q)

r
~s

Lic. Gilmer D. Ordez Aguilar

Pgina 19

k) (p
q r ( p q r)( p q r )

m)

~p

Matemtica y Lgica

j) D

Lic. Gilmer D. Ordez Aguilar

Pgina 20