UNIVERSIDAD

NACIONAL DE
CACAMARCA

MATEMÁTICA BÁSICA
I UNIDAD

TEORÍA Y PRÁCTICA

Dr.Sc. Maximiliano Cóndor Huamán

Lógica Dr.Sc. Maximiliano Cóndor Huamán_____1

PRESENTACION
Es una enorme satisfacción dirigirme a la juventud cajamarquina para brindarles esta
información interesante sobre Matemática Básica que contiene contenidos teóricos,
ejercicios resueltos y propuestos .Este trabajo es fruto de la experiencia adquirida, que
durante muchos años he venido trabando como docente en diferentes universidades.
Con un sistema de enseñanza innovador, métodos prácticos; para establecer las bases
que los lleve a la juventud a formarse como estudiantes y ejercer su profesión
exitosamente.

Aprovechamos la oportunidad para reiterar mi compromiso de mantenerme firme en esta

tarea, desarrollando más y mejor el nivel académico-formativo de los estudiantes de
nuestra región. Asimismo, tenemos la convicción de que podemos contribuir al desarrollo
de una nueva sociedad, formando jóvenes triunfadores, exitosos, perseverantes y
audaces; pero a la vez intrépidos para hacer el bien convirtiendo lo malo en bueno, dando
testimonio que tienen el poder para hacer cosas innovadoras.

El estudio de la lógica nos beneficia en lo siguiente: desarrollar habilidades para expresar

ideas de manera clara y concisa, incrementar la capacidad de definir los términos que
utilizamos y aumentar la capacidad de elaborar argumentos en forma rigurosa y de
analizarlos críticamente. Pero quizás el mayor beneficio es el reconocimiento de que la
razón se puede aplicar en todos los aspectos de las relaciones humanas.
Las instituciones democráticas requieren que los ciudadanos piensen por sí mismos, que
discutan libremente los problemas y que tomen decisiones con base en la deliberación y
la evaluación de evidencias. A través del estudio de la lógica podemos adquirir no
solamente práctica en el arte de razonar sino también respeto por la razón, reforzando así
y asegurando los valores de nuestra sociedad.

En este módulo se abordan los siguientes temas: la lógica como ciencia; definición, clases
de proposiciones; operadores o conectivos lógicos; tautología, contradicción y
contingencia; equivalencia e implicación y las principales leyes lógicas o tautologías
notables.

La Matemática Básica dirigido a estudiantes de Ingeniería Civil, Arquitectura, Ingeniería

Ambiental, Administración de Empresas, Ingeniería de Minas, Derecho y otras personas
interesadas .

EL AUTOR

Dr.Sc. Maximiliano Cóndor Huamán

Físico Matemático
Ingeniero Civil
 Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 2

LÓGICA PROPOSICIONAL
NOCIONES PREVIAS Inferencia Deductiva: Es la inferencia que presenta en
sus premisas proposiciones particulares y generales
Cuando deseamos establecer una verdad, cuando para obtener una conclusión necesaria. Ejemplos:
queremos convencer a alguien de que nuestra posición
o nuestras ideas son las correctas, recurrimos a un P1 Todo karateca es deportista
razonamiento o presentamos evidencia que respalda P2 Algún peruano es karateca
nuestras opiniones. Este razonamiento o evidencia ——————————————————
presentada con el propósito de demostrar algo es un C Algún peruano es deportista
argumento. Por supuesto hay buenos y malos
argumentos, inferencia o razonamiento; en términos Las inferencias deductivas se pueden presentar de las
muy vagos, la lógica es la ciencia que trata de siguientes maneras.
distinguir los buenos argumentos de los malos
argumentos. A) Deductiva Inmediata :
Constan de una sola premisa
LÓGICA P1 Algún poeta es cantante
———————————————
Es una ciencia que estudia los métodos o C algún cantante es poeta
procedimientos que aplican definiciones y leyes o
reglas con el propósito de determinar la validez de las B.) Deductiva Mediata:
inferencias, razonamientos o argumentos. Constan de dos o más premisas y su
respectiva conclusión ejemplo:
INFERENCIA
P1 Si Jaime estudia y trabaja progresa
Es un conjunto de una o más oraciones. La última de P2 Jaime estudia
ellas se denomina conclusión, las anteriores se llaman ———————————
premisas. P3 Jaime progresa
Intuitivamente, las premisas son la evidencia o razones
que nos deben convencer de la veracidad de la Las inferencias deductivas mediatas que constan de
conclusión. La inferencia es la concatenación de las solo dos premisas y sus respectivas conclusiones,
primeras con la última. adquieren el nombre de silogismo

Es habitual representar los argumentos haciendo un Definición de validez

listado de las premisas y la conclusión, separando la
última mediante una línea. La validez es una cualidad de inferencia y ello resulta
cuando de la conclusión se ha derivado
necesariamente las premisas; de no ocurrir ello se dice
Oración 1 que la inferencia es inválida.
Premisas
Oración 2
. LÓGICA PREPOSICIONAL
.
. Llamada también lógica de las proposiciones sin
Conclusión analizar, tiene por objeto de estudio a las
proposiciones y su formalización con la finalizad de
determinar sus valores lógicos.
División de Inferencias
ENUNCIADO
Inferencia Inductiva: Es la inferencia que presenta en
sus premisas proposiciones particulares y una Es toda frase u oración que se utiliza en el lenguaje
conclusión general ejemplo : común

P1 Carlos es Tacneño y es medico Ejemplos

P2 Cesar es Tacneño y es medico
P1 Pablo es Tacneño y es médico. La suma de dos números pares es un número par
. Eres hermosa
. ¡Viva el Perú!
. ¿Qué hora es?
Pn.
——————————————————
C Probablemente todo tacneño sea medico
Matemática Básica
PROPOSICIÓN
Una proposición es un enunciado cuya propiedad
fundamental es la de ser verdadera (V) o falsa (F),
pero no ambas simultáneamente.
CARACTERÍSTICAS
Toda proposición es una oración aseverativa, pero no
toda oración es una proposición.
Dentro del razonamiento la proposición puede ser
premisa o conclusión.
La proposición verdadera o falsa se puede afirmar o
negar.
Los enunciados matemáticos tiene el rango de
proposición.
1. Son proposiciones lógicas:
- Las fórmulas científicas ya demostradas.
Ejemplo:
 (a + b) 2 =a2+2ab+b2 ; a ,b  R
- Las leyes o hipótesis científicas aceptadas.
Ejemplo:
 “Todo cuerpo ejerce una fuerza de
atracción sobre otro”
- Los enunciados cerrados o definidos. Ejemplo:
 +  +  = 180° , si , y  = s internos de
un mismo triángulo.
 x + y = 50 ; si x = 10 , y = 30
- Las oraciones informativas. Ejemplo:
 “Toda materia posee masa”
- Las oraciones descriptivas. Ejemplo:
 “Los caballos poseen una cola y 4 patas”
- Las oraciones explicativas. Ejemplo:
 “Si comienza a llover, entonces las calles
se mojarán”
2. No son proposiciones lógicas:
- Las creencias, mitos o leyendas. Ejemplo:
 “Dios es un ser misericordioso”
 “Manco Cápac y Mama Ocllo fueron
enviados por el sol”
- Las metáforas o refranes. Ejemplo:
 “El Perú es un mendigo sentado en un
banco de oro”
 “Has el bien, sin mirar a quién”
- Las supersticiones. Ejemplo:
 “Hoy día me irá muy mal por ser Martes
13”
Dr.Sc. Maximiliano Cóndor Huamán 3
- Los hechos de la literatura o personajes ficticios.
Ejemplo:
 “Romeo y Julieta murieron por amor”
 Superman es muy valiente.
- Hechos discutibles : La moral, la belleza, los
valores. Ejemplo:
 La sinceridad es lo más valiosos de un
hombre.
 Las canciones de “Alejandro Saenz” son
muy bonitas
 El es digno de este trabajo
- Los enunciados abiertos o indefinidos. Ejemplo:
 +  +  = 180°
 x = y si y solo si x = 2
- Las oraciones exclamativas. Ejemplo:
 “Hoy es un día maravilloso”
- Las oraciones desiderativas. Ejemplo:
 Quisiera viajar este año a Europa.
- Las oraciones dubitativas. Ejemplo:
 Posiblemente este año ingrese a la
universidad.

- Las oraciones interrogativas. Ejemplo:
 ¿Cuántos años tienes?
- Las oraciones imperativas : ordenes, súplicas,
prohibiciones, consejos. Ejemplo:
 Soldado Pérez ...... Venga rápidamente
 Por favor; ¿Podrías prestarme dinero?
 Levántate y sigue adelante, nunca mires
atrás.
ESTRUCTURA DE UNA PROPOSICIÓN:
Sujeto – verbo – predicado
Observaciones:
1) El verbo o cópula generalmente es el verbo ser o
estar en cualquiera de sus tiempos.
Ejemplo:
“Roxana es una deportista disciplinada”
“Chimbote está entre Trujillo y Casma”
“José estudia incansablemente” (Verbo implícito;
es como decir: José está estudiando
incansablemente)
2) El algunas proposiciones no aparece el sujeto;
pero éste queda implícito en la oración (recordar
que una proposición es sólo significado).
Ejemplo:
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 4
“Actualmente estoy preparándome en la Problemática: Expresa un grado débil de
Academia Integralclass” ..... sujeto: Yo certeza, su verdad no se puede determinar de
“Amanece” ...... sujeto: Hoy manera inmediata, requiere de cierto tiempo o
circunstancias.
PROPIEDADES DE UNA PROPOSICIÓN:
Ejemplo:
1. Según su cantidad: “Mañana posiblemente será un día nublado”.
“Existe vida en otras galaxias”.
Universal: Si el sujeto está acompañado de la
palabra “todos”
CLASES DE PROPOSICIONES
Ejemplo:
“Todos los alumnos son estudiantes”
1. Proposiciones Simples o Atómicas: En una
“Todo hombre es honesto “
proposición que no contiene ningún conectivo
“Todos los historiadores son investigadores”
lógico. Pueden ser:
“Todo medico es cirujano”
A. Predicativas: Cuando se le atribuye alguna
Particular: Si el sujeto está acompañado de la
cualidad o descripción al sujeto (utiliza el verbo
palabra “algunos”
SER en cualquiera de sus tiempos).
Ejemplo: “Algunos actores son cómicos”
“Algunas personas honestas son
Ejemplos:
políticas “
Carlos Marx fue el creador del Materialismo
“Algunos estudiantes son universitarios”
Dialéctico.
“algunos niños son intranquilos”
Gregorio Mendel es el padre de la Genética.
Singular (Individual): Si el sujeto adopta un
B. Relacionales: Cuando se compara un sujeto con
nombre propio.
otro mediante una relación que puede ser de
Ejemplo: “Trujillo es llamado la Capital de la
orden, tiempo, espacio, parentesco, acción, etc.
Primavera”
“M. Grau es el héroe del combate de
Ejemplo:
Angamos”
“G. Mendel es el padre de la Genética”
La selección Peruana jugó un partido intenso con su
similar de Argentina. relación de acción.
2. Según su calidad:
Afirmativo: Si el verbo está afirmado. Vallejo y Mariátegui fueron contemporáneos.
Ejemplo: “La lógica es una ciencia formal” relación de tiempo.

Negativo: Si el verbo se encuentra negado. José es el hermano mayor de Juan.

Ejemplo: “El saber no es propio de todo ser relación de parentesco.
humano”.
La siguiente tabla muestra algunos términos relacionales.
3. Por su Modalidad:
Asertórico: Cuando expresan un grado de
certeza; su valor de verdad se puede determinar
comparándolo con la realidad inmediata. Son
enunciados que describen hechos.

Ejemplo:
“Cristóbal Colón descubrió el continente
Americano”.
“Los insectos carecen de huesos”.

Apodíctico: Expresan un grado muy fuerte de

certeza o de seguridad; de carácter obligatorio o
necesario, su valor de verdad se puede
determinar por el análisis lógico de la
proposición.
Ejemplo:
“Todo niño tiene que ser ingenuo”
“si a = b  a + c = b + c”
“p  q  - q  - p”
2. Proposiciones Compuestas o Moleculares
(Coligativas):
Están constituidas por dos o más de una
proposición simples. Pueden ser:
A. Negativas. Son las que presentan la negación
(no, no es cierto que, es falso que, es mentira
que, no ocurre que, etc)
Ejemplos
- Fiorella no es menor de edad
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 5
- Es falso que el gallo y la gallina sean Consecuente Antecedente
acuáticos.
B. Conjuntivas. Presentan como conectivo a la E. Bicondicional (doble implicación,
“Y”. La conjunción puede hallarse tácita, o equivalencia). Presenta como conectivo a “Si
puede ser remplazada por sus sinónimos: sólo sí”, o sus equivalentes: Cuando y sólo
como, pero, a la vez, además, incluso, cuando, entonces y sólo entonces, etc.
también, aunque, a pesar, sin embargo, ni, etc. Ejemplos.
Ejemplos Jorge corre si y solo si quiere llegar a la meta.
- Karla y Pepe son arquitectos. César se baña cuando y sólo cuando lo invitan
- Lili es matemática también es ingeniera. a un matrimonio.
C. Disyuntivas. Presentan como conectivo a la
“O”, “u”, “o…o…”, son de dos tipos:
Inclusiva o débil. Cuando las alternativas que
se proponen se cumplen todas ellas, ya sea al EJERCICIOS RESUELTOS
mismo tiempo o de manera alternada.
Ejemplo. 01.Los siguientes enunciados son proposiciones
- Jennifer es cantante o abogada lógicas
- La mesa es un mueble o es de madera
1) ¡Silencio por favor!
Exclusiva o fuerte. Cuando de las alternativas 2) ¡Siéntate ahora!
que se proponen se cumplen solo una y se 3) Regresaré pronto
excluye la otra. 4) Ojalá apruebe matemática
Ejemplo 5) ¡Ay!
César Vallejo murió en Lima o en Paris
Son correctas :
O corremos o caminamos.
A) 1,2,3 B) 2,3,4 C) 3,4,5
D. Condicional (implicativa). Presenta como D) Todas E) N.A.
conectiva la palabra “Entonces” o sus
SOLUCIÓN
equivalentes: luego, por lo tanto, en
conclusión, en consecuencia, de ahí, etc. Esta 1) No es una proposición lógica ya que se trata de
proposición indica una relación causa efecto, una oración interrogativa.
(antecedente - consecuente). 2) No es una proposición lógica ya que se trata de
Su esquema básico es: una orden.
3) No es una proposición lógica ya que se trata de
un enunciado informativo.
Si……………………entonces………………….. 4) No es una proposición ya que se una oración
Antecedente Consecuente desiderativa
5) No es una proposición ya que se trata de una
oración exclamativa
Condicional Directo (Ordenado). Aquí se
presenta primero el antecedente y luego el CLAVE “E”
consecuente (causa - efecto)
Ejemplo:
02. Son proposiciones simples:
Si estudio entonces aprendo 1) Si llegas temprano haremos fiesta.
Antecedente Consecuente 2) Trabajas o juegas.
3) O tienes sed o tienes hambre.
4) La lluvia moja la pista.
Condicional Indirecto (desordenado). Aquí se
5) La uva es cereal.
presenta primero el consecuente y luego el
antecedente se usa los conectivos: dado que, Son incorrectas:
ya que, porque, si, siempre que, cada vez que,
etc. A) 1,2,3 B) 2,3,4 C) 3,4,5
D) 1,3,5 E) N.A.
Ejemplo:
SOLUCIÓN
Alex trabaja por que necesita dinero
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 6
Analizando los enunciados: Si nos damos cuentas las proposiciones son
simples o llamadas también individuales.
1) Proposición molecular.
2) Proposición molecular. CLAVE”E”
3) Proposición molecular.
4) Proposición simple. 05. Son proposiciones moleculares:
5) Proposición simple.
1) No solamente río, sino también lloro.
CLAVE”A” 2) Al llover, la cosecha será muy buena.
3) Si hay oro, seremos millonarios.
03. Son proposiciones los siguientes enunciados: 4) Siempre que haya producción, habrá empleo.
5) O bien postulo a la “U” o bien trabajo.
1) Cinco es un número par.
2) Dios mío, ayúdame. Son correctas:
3) Ojalá ingrese a la “U”
4) Fujimori es presidente. A) 1,2,3 B) 2,3,4 C) 3,4,5
5) 8 + 5 = 12 D) Todas E) N.A.

Son correctas: SOLUCIÓN

A) 1,2,3 B) 2,3,4 C) 3,4,5 Analizando los enunciados:

D) 1,3,4 E) 1,4,5 1) Proposición molecular.
2) Proposición molecular.
SOLUCIÓN 3) Proposición molecular.
4) Proposición molecular.
1) Sí es proposición ya que es un enunciado 5) Proposición molecular.
matemático
2) No es proposición ya que es una oración CLAVE “D”
interrogativa 06. Son términos dependientes:
3) No es una proposición ya que es una oración
desiderativa 1) Los, luego, entonces
4) Sí es una proposición ya que es un enunciado 2) Siempre, obvio, de allí que
informativo 3) Salvo que, o en todo caso
5) Sí es una proposición ya que es un enunciado 4) También, incluso.
matemático 5) Se contrapone, es equivalente.

CLAVE “E” Son incorrectas:

04. Son proposiciones individuales: A) 1,2,3 B) 2,3,4 C) 3,4,5

D) Todas E) N.A.
1) La Luna tiene desiertos.
2) La Tierra es estrella vieja. SOLUCIÓN
3) El sol es un planeta.
4) Lima es capital de Chile. Los términos dependientes son aquellos que para
5) Santiago es capital del Perú. tener significado necesitan estar acompañados de
un concepto.
Son incorrectas: Entre los términos dependientes tenemos a los
conectores.
A) 1,2,3 B) 2,3,4 C) 3,4,5 Por lo tanto son términos dependientes : Los, luego,
D) Todas E) N.A. entonces, siempre, obvio, de allí que, salvo que, o
en todo caso, también, incluso, se contrapone, es
SOLUCIÓN equivalente.

Las proposiciones individuales son las CLAVE “D”

proposiciones simples:
07. Son términos independientes:
Formalizando las proposiciones:
1) Si, luego, entonces
1) Proposición simple. 2) Proposición simple. 2) Mujer, carro, avión
3) Proposición simple. 4) Proposición simple. 3) Al, de, siempre
5) Proposición simple. 4) Sol, nido, tierra
5) Jarra, casa, lobo
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 7
Son correctamente incorrectas, salvo: 4) Proposición molecular.
5) Proposición atómica.
A) 1,2,3 B) 2,3,4 C) 3,4,5
D) 1,3,5 E) 2,4,5 CLAVE “D”

SOLUCIÓN 10. Son proposiciones conjuntivas.

Los términos independientes son aquellos que 1) Los alumnos del colegio Integral son muy
tienen significado propio por sí solos. estudiosos y dedicados.
Entre los términos independientes están los 2) Los peruanos son ciudadanos civilizados.
conceptos. 3) Los animales vertebrados son carnívoros y
ovíparos.
Por lo tanto son términos independientes : Mujer, 4) Es falso que los estudiantes de la UNC son
carro, avión, sol, nido, tierra, jarra, casa, lobo negligentes.
5) No solamente el mercurio es un metal sino
CLAVE “E” también el bromo.
08. Son proposiciones atómicas:
Son ciertas :
1) El Nilo es río americano.
2) El Amazonas es río africano también americano. a) 1, 3 y 5 b) Sólo 1 y 3 c) 3, 4 y 5
3) El Misti es un nevado incluso un volcán. d) 1, 2 y 3 e) Todas
4) La Universidad Nacional de Trujillo es institución
pública. SOLUCIÓN
5) El Instituto Nacional de Cultura es institución
privada. Analizando los enunciados:

Es absurdamente falsas: 1) Proposición conjuntiva

2) Proposición simple
A) 1,2,3 B) 2,3,4 C) 1,4,5 3) Proposición conjuntiva
D) 1,3,5 E) 3,4,5 4) Proposición negativa
5) Proposición conjuntiva
SOLUCIÓN
CLAVE “ A “
Analizando los enunciados:
1) Proposición atómica. PRÁCTICA DE CLASE
2) Proposición molecular.
3) Proposición molecular. 01. Las proposiciones:
4) Proposición atómica.
5) Proposición atómica. 1. Tienen carácter bivalente
2. Son mandatos u ordenes
CLAVE “C” 3. Tienen sentido completo
4. Algunas son informaciones completamente
09. Son proposiciones moleculares: falsas
5. Son los enunciados abiertos
1) 2 es un número y representa dos unidades.
2) La palabra “lima” tiene varios significados. Son ciertas:
3) 5 es un número primo e impar.
4) Al ser hoy día jueves, el viernes será mañana. a) 1,2,3 b) 2,3,4 c) 3,4,5
5) Los institutos son instituciones de educación d) 1,3,4 e) 1,2,4
superior.
02. Toda proposición lógica puede ser:
No son correctas, excepto:
1. Oración Interrogativa
A) 1,2,3 B) 2,3,4 C) 3,4,5 2. Oración Aseverativa
D) 1,3,4 E) 2,4,5 3. Fórmula Científica
4. Enunciado Indefinido
SOLUCIÓN 5. Oración Informativa

Analizando las enunciados: Son ciertas:

1) Proposición molecular. a) 1,2,3 b) 3,4,5 c) 1,2,5

2) Proposición atómica. d) 2,3,5 e) 1,4
3) Proposición molecular.
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 8
03. De las siguientes oraciones, son proposiciones 08. De los siguientes enunciados, no representan a
lógicas: una proposición lógica:

1. Einsten es el creador de la Física Clásica
2. Rocinante es el caballo de Don Quijote
3. Francisco Pizarro fue natural de Inglaterra
4. ¿Ingresaré a la Universidad?
5. Ningún número par es divisible por dos.
Son correctas:
a) George Boole fue el creador del Lenguaje
simbólico
b) Aristóteles fue el autor de la obra “Organón”
c) Isaac Newton era una persona maravillosa
d) Carlos Marx fue un representante del
Materialismo Dialéctico
e) N.a.

a) 1,2,3 b) 2,3,5 c) 1,3,5 09. Es una proposición simple:

d) 2,3,4 e) 1,4,5
a) Javier y Enrique estudian en la Universidad
04. De las siguientes expresiones ,son proposiciones b) Verónica es vecina de Carlos y Rodolfo
logicas: c) Perú no clasifico al Mundial de Francia 98
d) Jenny y Flor son compañeras de carpeta
1. “EE.UU. se encuentra entre Francia y España” e) N.a.
2. “Macondo fue la ciudad donde vivió Aureliano
Buendía” 10. De las siguientes proposiciones son compuestas:
3. “Ojalá pudiese ingresar a la Universidad”
4. “Simón Bolívar fue el héroe de Arica” 1. Melissa, Blanca y Carol son estudiantes
5. “La educación Peruana es bonita” 2. Todo átomo no puede ser indivisible
Son ciertas: 3. Perú y Bolivia son países vecinos
4. Ayer trabaje. Hoy descanso
a) Todas b) 1,2,4 y 5 c) 1,4 y 5 5. Te amo en cuerpo y alma
d) 1 y 4 e) N.a.
Son innegablemente inciertas:
05. De las siguientes expresiones:
a) 1,2,4 b) 2,5 c) 2,3,5
1. El mundo es ancho y ajeno d) 3,5 e) N.a.
2. A rincón quita calzón
3. Acércate 11. Las expresiones:
4. Rezando cambiará tu suerte
5. Bésame 1. ¿Por qué existen tantos postulantes a la UNC?
2. Soldado Pérez, ¡Cuadrase!
No son proposiciones lógicas: 3. El sol es amarillo, además es anaranjado
4. Amar es nunca tener que pedir perdón
a) Sólo 1 y 2 b) Todas c) Sólo 4
d) Sólo 3 y 5 e) N.a No son proposiciones lógicas simples:

a) Sólo 1,3 y 4 b) Sólo 2,3 y 4 c) Sólo 1, 3

06. “Si como mucho entonces engordaré”, cumple la d) Sólo 1,2,4 e) Todas
función:
12. No representa a una proposición relacional:
a) Descriptiva b) Dubitativa c) Explicativa
d) Exclamativa e) Directiva a) Víctor y Carmen son novios
b) Carla, Elissa y Erika estudian juntas
07. Dados los siguientes enunciados: c) Perú esta entre Ecuador y Chile
d) La matemática es ciencia formal así como la
1. En tus ojos veo mi futuro lógica también lo es.
2. Más vale pájaro en mano que ciento volando e) Todas
3. El Coronel Aureliano murió en una profunda
soledad 13. Son proposiciones lógicas simples
4. Todos los caminos conducen a Roma
5. Espero algún día llegar a conocerte mejor 1. La radio es un medio de comunicación y
distracción
Son proposiciones lógicas: 2. Venus y Marte son planetas de nuestro Sistema
Solar
a) 1,2,3 b) 2,3,4 c) 4,5,1 3. El Perú es un mendigo sentado en un banco de
d) 3,4,5 e) N.a. oro
4. La Historia es una ciencia Fáctica
5. “Lo Fatal” es un poema de Rubén Darío
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 9
3. Si corro, transpiro.
Son correctas, excepto: 4. José Carlos Mariátegui es el mejor ensayista del
Perú
a) 1 b) 2 c) 3 5. Si llueve, las casas se mojan.
d) 4 e) 5
Son ciertos:
14. De las proposiciones siguientes es relacional:
a) 2,4,5 b) 1,2,3 c) 3,4,5
a) Ellas son extranjeras d) 1,3,5 e) 2,3,5
b) Mireya come una manzana
c) Nosotros somos peruanos 20. De las siguientes oraciones:
d) Juana es Chimbotana
e) Lee y escribe 1. El producto de potencia igual base es otra
potencia de la misma base.
15. Una proposición........................... se caracteriza 2. La chilindrina es un excelente personaje del
porque.................................... Chavo del Ocho”.
3. Solución es una institución financiera.
a) Sencilla - siempre es relacional 4. ¿Recuperaré mi dinero?
b) Lógica - es expresiva 5. Ningún número primo es divisible por cinco”
c) Coligativa - posee conectores lógicos Son proposiciones lógicas, excepto:
d) Atómica - se puede separar
e) N.a. a) 1,2,3 b) 2,3,5 c) 2 y 4
d) 1,3,5 e) 1,3,4
16. La expresión: ¿Algún día lograré ingresar a la
Universidad?, es: 21. La proposición: “Si Grau es peruano
necesariamente es americano”. Es:
1. Una proposición lógica
2. Oración informativa 1. Problemática 2. Apodíctica
3. No es proposición lógica 3. Compuesta 4. Individual
4. Oración indefinida 5. Asertórica
5. Oración Directiva
De las anteriores afirmaciones son ciertas:
Son ciertas:
a) 1,2,3 b) 1,3,5 c) 2,3,4
a) 2,3 y 5 b) 1,3 y 4 c) 2,4 y 5 d) 2,4,5 e) 3,4,5
d) 3 y 5 e) Sólo 3

17. De los siguientes enunciados, es una proposición 22. Dados los siguientes enunciados:
lógica:
1. Cuando el río suena es porque piedras trae.
a) ¡Mira que hermoso país! 2. Sólo Dios sabe cuánto te quiero.
b) A mal tiempo buena cara. 3. Aquella noche me la llevé al río creyendo que
c) La razón es una facultad humana. era mozuela.
d) Riñe al perro. 4. Algún día llegaré a ser un gran profesional.
e) Espero que ingreses a la Universidad. 5. Robin es el compañero inseparable de Batman.

18. Las siguientes expresiones: No son proposiciones lógicas:

1. Alejandro Toledoi es presidente del Perú. a) 1,2,3 b) 2,3,4 c) 3,4,5

2. H 2 O 2 es la fórmula del agua oxigenada. d) Todas e) Ninguna
3. El día de ayer llovió en Trujillo.
4. ¡Dios mío! que pobreza. 23. Analizando los enunciados:
5. Caperucita Roja se escapó del lobo.
I. x = y si x = 2
No son proposiciones lógicas, excepto: II. x > 0 ,  x  N
III. p  q  - q  - p
a) 1,2,3 b) 1,3,4 c) 2,3,5
d) 3,4,5 e) 2,3,4 Podemos decir que:

19. Son proposiciones compuestas: 1. Hay dos proposiciones lógicas

2. II es un enunciado abierto
1. Egipto pertenece al continente africano. 3. I es una proposición compuesta
2. Leonardo Da Vinci fue físico y pintor. 4. III es una proposición relacional
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 10
5. Sólo hay una proposición lógica a) 1,3,4 b) 2,3,5 c) 1,2,3
d) Todas e) 2,4,5
Son ciertas:

a) 1 y 2 b) 2 y 4 c) 2 y 5
d) 4 y 5 e) 1 y 4 29. Son proposiciones:

24. No representa a una proposición lógica: 1. El caballo de Troya tuvo un elevado costo
marginal
a) Giovana es una mujer supersticiosa 2. El Huáscar fue hundido el 12 de Octubre de
b) Ella es supersticiosa en el amor 1879
c) Es supersticiosa desde su niñez 3. El Apolo XI alunizó el año 1969 por primera vez
d) Las supersticiones no son proposiciones lógicas 4. Las culturas preterrícolas sufrieron grandes
e) N.A. hecatombes
5. Las culturas prehispánicas conocieron la
25. Son proposiciones lógicas orfebrería.

1. (a  b) 2  a 2  2ab  b 2 Son ciertas:

2. Todo S es P
a) 1,2,3 b) 2,3,5 c) 1,4,5
3. c 2  a 2  b 2 ; c=hipotenusa a, b = catetos ) d) 3,4,5 e) Ninguna
4.  x  Z  , x > 0
5. a + b = 50 siempre y cuando a, b  R x 30. No son proposiciones simples:

No son inciertas: 1. Alemania y Japón son países fronterizos

2. Estados Unidos y Francia son potencias
a) 1,3,4 b) 1,2,3 c) 2,3,5 económicas
d) 1 y 4 e) todas 3. Los osos polares viven en los trópicos
4. Sus componentes son hidrógeno y oxígeno
26. ¿Cuál de las siguientes expresiones es una 5. Los virus son inmortales
proposición molecular?
Son ciertas:
a) “El sol es el centro del sistema planetario”
b) “Las aves trinan al atardecer en primavera” a) 1,2,3 b) 2,4,5 c) 1,3,5
c) “Oh, mi amor. ¡cuánto te quiero! d) 2,3,5 e) N.A.
d) “Romeo amo apasionadamente a Julieta”
e) “Si se estudia lógica, se ingresa a la universidad”
SIMBOLIZACIÓN DE
27. De las siguientes proposiciones lógicas:
PROPOSICIONES LÓGICAS
1. “San Martín y Bolívar son contemporáneos”
2. “Algunos animales no poseen extremidades” El análisis del pensamiento lengua natural son difíciles
3. “Carlos es estudioso y respetuoso” de evaluar, debido a la ambigüedad que a veces sufre
4. “Roxana y Edith se escriben” nuestro lenguaje. El pensamiento es imperceptible por
5. “Sócrates y Platón son filósofos” nuestros sentidos, de allí la dificultad de estudiarlos;
para ello es necesario crear un Lenguaje Simbólico
Son atómicas : Artificial (formalización) el mismo que represente
perfectamente el enunciado en cuestión
a) 1 y 4 b) 1,4 y 5 c) 2,3 y 5 (traducción).formuladas en castellano o en cualquier
d) Solo 4 e) 4 y 5 otra

28. No son proposiciones:
1. Aureliano Buendía fue contemporáneo de
Francisco Bolognesi.
2. Augusto B. Leguía fue hermano menor de José
Gálvez.
3. Los cocodrilos son mamíferos.
4. Los centauros fueron carnívoros.
5. Los albatros realizan vuelos migratorios.
Son no ciertas:
Es Aristóteles quien por primera vez hace uso de
ciertas abreviaturas para facilitar su labor al proponer
la Teoría del Silogismo, desarrollando la lógica formal;
hecho que permitió se le considerara como "El padre
de la Lógica Formal Antigua”.
La formalización consiste en representar
simbólicamente la relación que existe entre las
diferentes formas del pensamiento mediante el uso de
variables y constantes; las mismas que fueron
descubiertas más adelante por Gotlob Frege.
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 11
I. Símbolos usados en la formalización 4. Conjunción y disyunción.…….. . ,
5. Negación………………………….. ~
1. Variables proposicionales
Letras minúsculas que representan a una Una fórmula proposicional adopta el nombre del
proposición simple (p, q, r, ...). conector de mayor jerarquía.

Ejemplo: Ejemplo:
Alfredo es profesor de Raz. Lógico: p ~ p  q  ~r ..... fórmula condicional
Cristóbal Colón descubrió América: q ~ p  q  r  ~s ..... fórmula bicondicional

4. Signos de agrupación
2. Operadores o conectivos lógicos Se utilizan para agrupar a las variables y
operadores así como, darles jerarquía. Son los
Son los símbolos que se usan para relacionar siguientes:
proposiciones, es decir forman proposiciones, es Paréntesis ( )
decir, forman proposiciones compuestas a partir de Corchetes [ ]
las proposiciones simples. Llaves { }
Barras | |

Símbolo Nombre Lenguaje común a) Jerarquización

 Negación No, no es cierto que, no Jerarquizar significa agrupar a las variables y los
es el caso que, etc. operadores dentro de los signos de colección,
llamados también de agrupación.
 Y, pero, sin embargo,
 Solo presentan jerarquía los conectivos lógicos
Conjunción además, aunque, a la (y, o, entonces, si solo si, etc)
vez, etc.  Para realizar una correcta jerarquización hay
 Disyunción “O” que tener en cuenta los signos de puntuación del
inclusiva o debil texto a jerarquizar, en cuanto ellos indican la
ubicación de los signos de colección.
 Disyunción “O”, “O ... O ...”
 En el texto, el punto seguido tiene mayor
exclusiva o jerarquía, le sigue el segundo lugar el punto y
fuerte coma, y en tercer lugar la coma.
 “Si ... entonces...”,  La jerarquía de conectores pierden fuerza
“... si ...”, cuando aparecen los signos auxiliares de
agrupación: ( ), [ ], { }.
Condicional “........ solo si..........”
“No......a menos que....” b) Reglas para jerarquizar
“... dado que ...”,  Donde esté ubicado el signo de puntuación más
“... siempre que ...”, importante del texto, ahí se encuentra ubicado el
“... porque ...”, conectivo principal
“... en vista que ...”, etc.  Donde se encuentre un signo de puntuación ahí
se abre o cierra un signo de colección
 Bicondicional “.......si y solo si .....” (paréntesis, corchete o llave)
Negación  El conectivo que se encuentre fuera o en la parte
alterna “no….o no” o en la parte más externa de los signos de
colección es el que tiene mayor jerarquía.
Incompatibilidad …… incompatible con…
|  Si encontramos un texto donde se presente una
Barra de sucesión de idénticos signos de puntuación, será
Shaffer mayor el que presente como conectivo entonces,
Negación luego o cualquiera de sus sinónimos.
 conjunta  La negación antecede a la variable (p), no
Flecha de Nicod “ni…ni” enlaza proposiciones, pues no es conectivo
(pq)
inalterador
Ejemplo:
Ester estudia física y química, o estudia lógica.
p q r
3. Jerarquía de los conectores lógicos
Sin embargo estudia matemática.
De mayor a menor jerarquía
s
1. Bicondicional……………………. . 
2. Disyunción exclusiva…………...  p y q, o r. Sin embargo s
3. Condicional……………………….  (Remplazando proposiciones)
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 12
pq ,  r .  s (Remplazando conectivos) – Nadie que sea A
↓ ↓ – Es objetable que A
Jerarquía 2 Jerarquía 1 – Es absurdo que A
[(pq)  r] s (Jerarquizando) – El falso que A
– Es refutable que A
LOS CONECTORES LÓGICOS – Es falaz que A

I. El Negador (*) Negador Interno

1. Símbolos: - A, A, A, A II. El Conjuntor

2. Se lee: “no” A) Símbolos: A  B, A  B, A x B, A.B, AB

3. Tipos de Negadores: B) Se lee: “ ................. y .................. “

A) Negador Interno: “No, nunca, jamás” se le C) Forma de Identificarlo: Al conjuntor también se le

caracteriza fundamentalmente por su carácter débil, llama “Compatibilizador” porque une a las
sólo afecta a la proposición simple más cercana. proposiciones en un mismo contexto; es decir
ambas proposiciones se cumplen simultáneamente.
B) Negador Externo: “No es cierto que, es mentira
que, es objetable que” son de carácter más fuerte Ejemplo:
que los negadores internos; generalmente se Perú así como Ecuador son países demócratas:
encuentran adelante de la oración, es por ello que p  q
su representación queda indicada explícitamente
fuera de un paréntesis. El átomo posee neutrones, protones también
electrones: p  q  r
Nota:
- Si un término es antecedido por un prefijo de Roxana estudia al mismo tiempo que escucha
sentido negativo; éste se le considera como un música: p  q
negador interno.
Nota: Existen algunos términos de conjunción que
Ejemplo: merecen una mención particular:
Pablo es una persona desleal: - p
Carlos Manrique es un empresario inmoral: -q - No sólo la matemática es precisa sino también
universal: pq
- Las expresiones lingüísticas de doble negación - El ser Leninista es compatible con el ser
(inobjetable, innegable, no es inconcebible) se Marxista: pq
formalizan como tal. - La luna es un satélite no obstante gira alrededor
de la tierra: pq
Ejemplo:
Carmen inobjetablemente es profesora:  p El Conjuntor : A  B
No es mentira que Constantino fuese emperador
– AyB
Romano:  q. – A aunque B
El Negador : – A – A pero B
– A sin embargo B
– No A, nunca A, jamás (A) (*) – A incluso B
– Es incompatible que A – A es compatible con B
– Es inconcebible que A – A así como B
– No ocurre que A – A del mismo modo B
– No es verdad que A – A aún cuando B
– No es el caso que A – A también B
– No acaece que A – A de la misma forma que B
– Es mentira que A – A al igual que B
– Es inadmisible que A – Tanto A como B
– De ninguna forma se da A – Siempre ambos A con B
– En forma alguna A – A no obstante B
– Carece de todo sentido A – No sólo A sino también B
– De ningún modo A – A así mismo B
– En modo alguno A – A al igual que B
– Es incorrecto que A – A a pesar de B
– Es incierto que A – A a la vez B
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 13
– A más B Nota: Algunos disyuntores incluyentes pueden venir
– A con B los dos a la vez acompañados de las palabras: sólo, únicamente,
solamente. Dando mayor fuerza al inclusor
III. El Disyuntor Débil (Incluyente) transformándola en exclusor

A) Símbolos: A v B, A + B. Ejemplo.

B) Se lee: “ ....... o ...... “ (en sentido incluyente).
C) Forma de Identificarlo: Al inclusor se le reconoce
porque el término nos sugiere aceptar una de las
dos proposiciones. Sin embargo la posibilidad que
una compatibilidad queda aceptada o admitida.
- Este año viajaré al extranjero salvo que sólo viaje
a Lima: p v q
- A menos que solamente seas Ingeniero, serás
matemático: p v q

Ejemplo: El Disyuntor excluyente: A v B

- Perú y Ecuador se pondrán de acuerdo salvo que
intervenga EE.UU. : p v q – A o B (sentido excluyente)
- Mañana estudiaremos Química o sino – O bien A o bien B
estudiaremos Física: p v q – O solo A o solo B
– OAoB
Nota: Cuando aparece una disyunción al lado de un – A a menos que solamente B
conjuntor o viceversa, la fórmula lógica será un – A salvo que únicamente B
Disyuntor débil. – A excepto que sólo B
– Amenos que sólo A, B
Ejemplo: – A o bien necesariamente B
Las aves poseen pico excepto que también alas: p – A o exclusivamente B
vq – A no es equivalente a B
Los números son reales y/o complejos: p v q. – A no es idéntico a B
El Disyuntor Incluyente: A  B – Salvo que A o B
– A no es lo mismo que B
– A o B (sentido incluyente) – A o tan solo B
– A a menos que B
– Amenos que A, B V. El Condicional
– A salvo que B
– A excepto que B A) Símbolos: A  B , A  B
– A o también B
– A o en todo caso B B) Se lee: “ Si .............. entonces ............. “
– A o bien B
– A a no ser que B C) Forma de Identificarlo: Una proposición
– A o incluso B condicional se caracteriza porque presenta una
– A y bien o también B causa y un efecto; las mismas que pueden estar en
– Al menos uno de los dos A o B cualquier orden: La causa puede ir primero
– A o sino B (Implicador) o tal vez puede ir en segunda instancia
– A alternativamente B (replicador).
– A y/o B
Si hay inversión interna entonces mejorará nuestra economía .
 
IV. El Disyuntor Fuerte (Excluyente) causa efecto
 
A) Símbolos: A V B, A  B, A  B, A  antecedente consecuente
 B, A  B
 
condición condición
B) Se lee: “ ....... o ....... “ (en sentido excluyente) suficiente necesaria
“o ............ o ............ “
Nota:
C) Forma de Identificarlo: Al exclusor o bidisyuntor se El sentido del operador lógico es de causa a efecto.
le identifica por que acepta una y solo una de las
dos proposiciones, nunca ambas a la vez; es decir Ejemplo:
la compatibilidad queda excluida o descartada.

Ejemplo:
- Eres campeón o subcampeón: p v q
- O estudias o trabajas: p v q
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 14
Siempre que llueva – A ya que B
entonces mejorarán
 – A siempre que B
las cosechas: p  q (implicador). – A cada vez que B
– A a condición de que B
– Es una condición necesaria A para B
Mejorarán las cosechas siempre que llueva: – Una condición suficiente para A es B
 – Solo si A , B
p  q (replicador). – A dado que B
– A se concluye de B
El Implicador: – A , si B
– A supone que B
A  B (Implicación Directa) – A ya que B
– Para A es suficiente B
– Si A entonces B – A puesto que B
– Siempre que A por consiguiente B – A deviene de B
– Ya que A bien se ve que B – A es condición necesaria para B
– Dado que A por eso B – A es insuficiente para B
– En cuanto A por tanto B – Es necesario A para B
– Porque A por eso B – Es insuficiente A para B
– Como A es evidente B – A cada vez que B
– a condición de que A , B – A está implicado por B
– A de manera que B – A con la condición de que B
– A de modo que B – Si solamente A cada vez que B
– A es suficiente para B – A debido a que B
– A por lo tanto B – A depende de B
– Cada vez que A,B – A sigue de B
– Con la condición de A esto trae consigo B – Únicamente si A, B
– Cuando A , B
– Es una condición suficiente A para B
– Para A es necesario B VI. El Bicondicional
– Porque A,B
– Si A ,B A) Símbolos: A  B , A  B , A  B.
– Siempre que A por tanto B
– Una condición necesaria para A es B B) Se lee: “ .............. si y sólo si ............. “
– Con tal que A es obvio que B
– Toda vez que A en consecuencia B C) Forma de Identificarlo: Este término de enlace no
– A consiguientemente B solo señala una consecuencia en doble sentido;
– Dado que A por lo cual B sino también informa una equivalencia existente
– En la medida que A de allí B entre las dos proposiciones.
– En virtud de que A entonces B
– A implica a B Ejemplo:
– A es innecesario para B Los cuerpos chocan porque y solo porque existe
– A es condición suficiente para B una fuerza que los atrae: p  q.
– A sólo si B
– A luego B El que yo te sonría es lo mismo que yo te
– A trae como consecuencia a B enamore: p  q.
– De A deviene B
– Partiendo de A llegamos a B El Biimplicador: A  B
– De A inferimos, deducimos, coligamos B
– Para A es condición necesaria B – A si y sólo si B
– A sólo cuando B – A por lo cual y según lo cual B
– Es suficiente A y B necesario – A cuando y sólo cuando B
– En el caso que A en tal sentido B – A cada vez que y sólo si B
– Si y sólo si A, B
El Replicador: – A se define lógicamente como B
A  B (implicación inversa) – A si de la forma B
– Porque y solamente porque A, B
– Sólo si A, B – Es suficiente A para que suficientemente B
– Sólo cuando A, B – Es necesario A para que necesariamente B
– Solamente porque A, B – A es condición suficiente y necesaria para B
– A si B – A siempre que y sólo cuando B
– A porque B – Siempre que A y siempre que B
– A dado que B – A es equivalente a B
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 15
– A es lo mismo que B a) (- p  - q  - r  - s  - t)
– A es idéntico a B b) (- p  q  r  - s  - t)
– A implica y está implicado por B c) (- p  q  r  - s)
d) (- p  q  r  s  - t)
El Inalternador: A  B e) N.A.

– Ni A ni B SOLUCIÓN
– No A y no B
Definiendo las variables de las proposiciones
El Incompatibilizador: A / B simples:

– No A o no B * Jamás en invierno hace calor : (-p)

* En verano llueve : (q)
* Hay eclipse : (r)
EJERCICIOS RESUELTOS * Hay evaporación de agua : (s)
* No hay granizo : (-t)
01. La proposición: “la lima, naranja, limón no es cierto
que sean cítricos”, se simboliza: Uniendo las proposiciones mediante los
conectores de la conjunción :
a) – (p  q  r) b) (p  q  - r) (- p  q  r  s  - t)
c) (- p  - q  - r) d) [(- p  - q) v – r]
e) N.A. CLAVE “D”

SOLUCIÓN 04. “En modo alguno sucede que, no haya aumentado

Desdoblando las proposiciones simples tenemos:
* la lima no es cierto que sea cítrico … (- p)
* la naranja no es cierto que sea cítrico …(- q)
* el limón no es cierto que sea cítrico … (- r)
Uniendo las tres proposiciones simples mediante el
conector conjuntor:
(- p  - q  - r)
CLAVE “C”
02. Si un matrimonio feliz me espera, entonces recibiré muchos
regalos o saldré del país. Pero no saldré del país. En
consecuencia si no saldré del país, entonces no me espera
un matrimonio feliz o me es indiferente la vida.
la producción armamentista excepto que también
sea absurdo que los países latinos hayan
empobrecido más”, se formaliza:
a) (- p v – q) b) – (- p v – q) c) –(p v – q)
d) –(- p v q) e) N.A.
SOLUCIÓN
Defiendo las variables de las proposiciones simples:
* No hay aumento de la producción armamentista
: (-p)
* Es absurdo que los países latinos hayan
empobrecido más: (-q)

Uniendo las proposiciones simples mediante en

a) [~p v (q  r  s)] b) [~ p v (q  r  s)]
disyuntor incluyente y además tiene un conector
c) [p  (q  r  s)] d) p v (q  r  s) externo: – (- p v – q)
e) {[p(q r)]~ r}[~ r(~ p s)]
CLAVE “B”
SOLUCIÓN 05.La fórmula: - (- p  - q  r) ; se traduce:
Definiendo las variables de las proposiciones
simples: a) Es falso que, ni la pulga ni el chinche ni los
piojos sean insectos.
p: “un matrimonio feliz me espera” b) No es veraz que, la pulga también el chinche no
q: “recibiré muchos regalos” sean insectos pero también lo son los piojos.
s: “me es indiferente la vida” c) Es innegable que, ni la pulga ni el chinche son
r: “saldré del país” insectos pero sí lo es el piojo.
s: “me es indiferente la vida” d) Todas
Así: e) B y C
{[p(q r)]~ r}[~ r(~ p s)]
CLAVE “E” SOLUCIÓN
Formalizando cada una de las alternativas que tiene
03. “Jamás en invierno hace calor, aún cuando en proposiciones:
verano llueve al igual que hay eclipse asimismo a) - (- p  - q  -r)
hay evaporación de agua tal como no hay granizo”,
b) - (- p  - q  r)
se simboliza:
c) - - (- p  - q  r)
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 16
e) N.A.
Por lo tanto la alternativa que tiene la traducción
correcta es la alternativa “ B “ SOLUCIÓN
Definiendo las variables de las proposiciones
CLAVE “B” simples :

06. “El Perú es considerado un país económicamente * Deje de haber movimiento de traslación:
marginal al igual que el más deficiente en (-A)
competencia matemática, y bien o también el * Es mentira que habrá movimiento de rotación de
penúltimo en competencia de lenguaje”, se la Tierra : (-B)
formaliza:
Uniendo las proposiciones simples mediante el
a) (A  B  C) b) (A  B) v C conector bicondicional : – A  - B
c) A  (B v C) d) (A  - B) v C
e) N.A. CLAVE “B”

SOLUCIÓN 09. “Debido que los escritores son imaginativos,

creativos al igual que persistentes; en tal sentido
Definiendo las variables de las proposiciones son famosos e iconoclastas”, se simboliza:
simples:
a) (A  B  C)  (D  E)
* El Perú es considerado un país económicamente b) (A  B  C)  (D v E)
marginal: A c) [(p  q)  r]  (s  t)
* El Perú es considerado el más deficiente en d) (p v q  r)  (s  t)
competencia matemática: B e) N.A.
* El Perú es considerado el penúltimo en
competencia de lenguaje: C SOLUCIÓN

Uniendo las tres proposiciones simples mediante
los conectores del conjuntor y del disyuntor : (A  B)
vC
CLAVE “B”
07. “Puesto que hay globalización se deduce que tanto
hay países altamente tecnologizados cuanto países
bastantes atrasados en ciencia” Se formaliza:
a) p  (q  r) b) p  (q  r)
c) p  (q  r) d) p  (q  r)
e) N.A.
SOLUCIÓN
Definiendo las variables de las proposiciones
simples :
* Hay globalización : (p)
* Hay países altamente tecnologizados : (q)
* Hay países bastante atrasados en ciencia : (r)
Uniendo las tres proposiciones simples mediante
los conectores condicional y conjuntor : p  (q  r)
Definiendo las variables de las proposiciones
simples :
* Los escritores son imaginativos : (A)
* Los escritores son creativos : (B)
* Los escritores son persistentes : (C)
* Los escritores son famosos : (D)
* Los escritores son iconoclastas : (E)
Uniendo las cinco proposiciones simples mediante
los conectores del conjuntor y del condicional :
(A  B  C)  (D  E)
CLAVE “A”
10. “La fórmula: (B  A), se traduce como:
1. Porque las aves tienen alas, vuelan.
2. Siempre que haya huracanes, habrá
devastación.
3. Ya que el hombre es sensible luego llora.
4. De la existencia de ADN deviene la vida.
5. En el caso que el dólar suba, se encarecerán los
precios de los productos.

CLAVE “C” Son falsas:

08. “Siempre que y sólo cuando deje de haber a) 1,2,3 b) 2,3,4 c) 3,4,5
movimiento de traslación entonces es mentira que d) Todas e) N.A.
habrá movimiento de rotación de la Tierra”, se
formaliza: SOLUCIÓN
Formalizamos las proposiciones dadas en el
a) – A  - B b) – A  - B problema:
c) A  - B d) A  (B  - C)
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 17
1) (A  B) 2) (A  B) 3) (A  B) c) ( A  B )  ( A  - B )
4) (A  B) 5) (A  B) d) ( B  A )  ( A  - B )
e) ( A  b )  ( A  B )
Nos damos cuenta que todas las proposiciones
son condicionales directas. 07. La formalización correcta de: “Es inconcebible
Por lo tanto ninguna se traduce a la fórmula pensar que, Benito cometió este crimen a no ser
establecida. que sea por despecho. Sin embargo nunca tuvo
problemas con su esposa dado que ella fue una
CLAVE”D” mujer trabajadora” es:

PRACTICA DE CLASE a) – (p v q)  (- C  D)
b) – (p  q)  (- C  D)
01. La formalización de la proposición: “No es cierto, c) – (p v q)  (C  D)
que el Perú no sea democrático y sea autoritario”, d) – (p v q)  (- C  D)
es: e) N.A.

a) – (A  B) b) - - A  B c) - (- A  B) 08. La proposición: “Es inobjetable que sea necesario

d) - B  - - A e) N.A. tener experiencia para mejorar la calidad. Pero es
suficiente mejorar la calidad para que las ventas
02. La proposición: “En cuanto la teoría de la relatividad puedan aumentar”. Se formaliza:
sostiene que la gravedad y el movimiento acelerado
son equivalentes, consecuentemente se niega todo a) (A  B)  – (B  C)
movimiento absoluto”. Se formaliza: b) - - (A  B)  – (B  C)
c) - - (A  B)  (B  C)
a) (A  B)  C b) (A  B)  C d) - - (A  B)  (B  C)
c) (A  B)  - C d) A  - B e) - - (A  B)  – (B  C)
e) N.A.
10. La proposición: “Como Jenny, Antonio y Enrique
03. La proposición: “Sólo si es falso que la oferta son hermanos es evidente que viven en la misma
favorece a la demanda, la calidad del producto casa. No obstante solo si existe un cuarto habitante,
tendrá que mejorar. Sin embargo bajamos el precio este es el hermano menor”. Se formaliza como:
a menos que solamente mejoremos la calidad del
producto”. Se formaliza:
a) (p  q)  (r  s)
b) (p  q)  - (r  s)
a) – (A  B)  (C V B)
c) [(p  q  r)  s]  (t  u)
b) – (A  B)  (C V B)
d) [(p  q  r)  s]  (t  u)
c) (-A  B)  (C V B)
e) N.A.
d) (-A  B)  (C V B)
e) N.a. 11. La proposición: “Dado que si la lógica es una
ciencia formal, estudia la validez del razonamiento;
04. Si la verruga apareció en el último siglo, su en consecuencia es útil para la sociedad además
descubridor ni fue Alcides Carrión ni Luna Pizarro”. para la comunidad científica”. Se formaliza:
a) A  ( B  C ) b) A  ( B  C ) a) (p  q)  (r  s)
c) A  ( B  C ) d) A  ( B  C ) b) (p  q)  (r v s)
e) A  B  C c) (p  q)  (r  s)
d) (p  q)  (r  s)
05. La proposición: “Es indudable que los Diagramas de
e) (p  q)  (r  s)
Venn se usan en Lógica de Predicados excepto que
se usen en Lógica Proposicional”.
12. La proposición: “Dado que la materia así como la
Se formaliza como :
energía, no se crea ni se destruye; es obvio que
ambos solo sufren transformación”. Se formaliza:
a) (p   q) b)   (p  q)
c)   (p   q) d)   (p   q)
a) ( A   B)  C
e)   (p    q)
b)  (A  B)  C
c) [( A   B)  ( C   D)]  (E  F)
06. “O bien el asma afecta a los pulmones o bien afecta
al corazón; pero no es el caso que afecte al corazón d) [( A   B)  ( C   D)]  E
del mismo modo a los pulmones”. Se formaliza : e) N.A.

13. La correcta formalización de la proposición: “Es

a) ( A  B )  - ( B  A )
innecesario estudiar Razonamiento Lógico para
b) ( A  B )  ( A  B )
Matemática Básica
necesariamente ingresar a la Universidad. Sin
embargo dominar aptitud es condición suficiente
para tener un buen porcentaje de preguntas
aseguradas. Pero sólo si tienes un buen porcentaje
de preguntas aseguradas, estudiarás Raz. Lógico”.
a) [(A  B)  (C  D)]  (D  A)
b) [(A  B)  (C  D)]  (D  A)
c) [(A  B)  (C  D)]  (D  A)
d) [(A  B)  (C  D)]  (D  A)
e) [(A  B)  (C  D)]  (D  A)
14. La proposición: “Siempre y solo cuando las
proposiciones no puedan ser enunciados abiertos,
diremos que las supersticiones tampoco lo serán,
sin embargo es falso decir que nunca las creencias
serán proposiciones dado que no admiten
demostración científica. Por lo tanto, si las
creencias fueran demostrables científicamente, las
supersticiones serían consideradas como
proposiciones lógicas”. Se formaliza:
a) [(- A  – B)  (- D  C)]  (D  B)
b) [(- A  – B)  (C  - D)]  (D  E)
c) [- ( A  – B)  (C  - D)]  (D  B)
d) [(- A  – B)  - (- C  - D)]  (D  B)
e) [(- A  – B)  - (- C  - D)]  (D  E)
15. La proposición lógica : “Existe movimiento material
cada vez que y sólo cuando existe movimiento
energético; pero si no existe movimiento material,
existe el energético, asimismo, si existe movimiento
material, no hay el energético”. Se formaliza:
a) ( A  B )  ( A  B )  C
b) ( A  B )  ( -A  B )  ( A  -B )
c) ( A  B )  ( -A  -B )  ( -A  B )
d) ( A  B )  ( -A  B )  ( A  - B )
e) N.A.
16. La formalización de : “Si trae la caja blanca, traes la
negra. Pero si traes la azul, traes la negra. Empero
es no cierto que las tres juntas. Por lo tanto, traerás
sólo una de las tres” es :
a) ( p  q )  (r  p)  - (p  q  r)  (p  q r )
b)  (p q)  ( r  q)   - (p  q r )  (p  qr)
c) (p  q)  (r  q)  -(p q r) (p q r)
d) ( p  q  r )  ( p  q r )  ( p  q  r )
e) N.A.
17. “O bien Andrómeda es una constelación o bien es
una galaxia y está cerca de la tierra; aunque es
absurdo pensar que Andrómeda sea una
constelación. En consecuencia Andrómeda es una
galaxia así como está cerca de la tierra”. Su
formalización correcta es :
a) A  B  ( C  -A )  B  C
b)   A  ( B  C )   - ( A )   ( B  C )
Dr.Sc. Maximiliano Cóndor Huamán 18
c)  A  ( B  C )   - A  B  C
d) A  B  C  -A  B  C
e) N.A.
18. La proposición “Si el primer nativo es un político, el
tercer nativo dice la verdad. Si el tercer nativo no
dice la verdad, el primer nativo no es un político.
Por consiguiente el primer nativo es un político
porque el tercer nativo no es un político”. Se
formaliza como:
a) [(p  q)  (-q  -p)]  (p  -r)
b) [(p  q)  (-q  -p)]  (p  -q)
c) [(p  q)  (-q  -p)]  (p  -r)
d) [(p  q)  (-q  -p)]  (p  -q)
e) [(p  q)  (-q  -p)]  (p  -r)
19. La proposición: “Es falso que sea indisciplinado y
ocioso, porque estudio en la Universidad. Pero soy
ocioso; en consecuencia nunca seré profesional”.
Se formaliza como:
a) {[(- -p  q)  r]  q}  –s
b) {[(- -p  q)  r]  q}  s
c) {[(- p  q)  r]  q}  –s
d) {[- ( -p  q)  r]  q}  –s
e) {[-(p  q)  r]  q}  –s
20. La proposición: “sólo si existe dedicación docente,
la institución adquiere prestigio; no obstante, es
suficiente que los alumnos ingresen para tener
trabajo”. Se formaliza como:
a) (p  q)  (r  s) b) (p  q)  (r  s)
c) (p  q)  (r  s) d) (p  q)  -(r  s)
e) (p  q)  (r  s)
21. La proposición: “El Perú es subdesarrollado porque
la economía es deprimente. Además, los salarios
aumentan sólo si hay voluntad del gobierno”. Se
formaliza como:
a) (p  q)  (r  s) b) (p  q)  (r  s)
c) (p  q)  (r  s) d) (p  q)  (r  s)
e) (p  q)  (r  s)
22. La proposición: “Sólo si los caracoles son moluscos,
los calamares también lo son; a no ser que, los
peces son vertebrados al igual que los batracios”.
Se formaliza como:
a) (p  q)  (r  s) b) (p  q)  (r  s)
c) (p  q)  (r  s) d) (p  q)  (r  s)
e) (p  q)  (r  s)
23. Dada la proposición: “Pedro y Janet son esposos o
primos hermanos. Pero no son esposos, en
consecuencia son primos hermanos”. Se formaliza
como:
a) {[(p  q)  r]  -(p  q)}  r
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 19
b) [(p  q)  -p]  q a) [(p  q)  (-q  -p)]  (p  -r)
c) [(p  q)  -p]  q b) [(p  q)  (-q  -p)]  (p  -q)
d) [(p  q)  -p]  q c) [(p  q)  (-q  -p)]  (p  -r)
e) N. A. d) [(p  q)  (-q  -p)]  (p  -q)
24. La proposición: “Si un hombre es honrado no tiene e) [(p  q)  (-q  -p)]  (p  -r)
problemas personales. Este hombre no tiene
problemas. En consecuencia, es honrado pero no 05. La proposición: “Es falso que sea indisciplinado y
tiene dinero. Se formaliza como: ocioso, porque estudio en la Universidad. Pero soy
ocioso; en consecuencia nunca seré profesional”.
a) [(p  -q)  -q]  (p  -r) Se formaliza como:
b) [(p  -q)  -q]  (p  -r)
c) [(p  -q)  -q]  (p  -q) a) {[(- -p  q)  r]  q}  –s
d) [(p  -q)  -q]  (p  -r) b) {[(- -p  q)  r]  q}  s
e) N. A. c) {[(- p  q)  r]  q}  –s
d) {[- ( -p  q)  r]  q}  –s
25. La proposición: “A menos que tenga dinero, volaré a e) {[-(p  q)  r]  q}  –s
Japón o Inglaterra. Pero no tengo dinero. De allí
que viajaré a Brasil”. Se formaliza como: 06. La proposición: “Si un hombre es honrado no tiene
problemas personales. Este hombre no tiene
a) {[p  (q  r)]  -p}  s problemas. En consecuencia, es honrado pero no
b) {[p  (q  r)]  -p}  s tiene dinero. Se formaliza como:
c) [(p  q)  -r]  s
d) [(p  q)  -r]  s a) [(p  -q)  -q]  (p  -r)
e) [p  (q  r)]  (-p  s) b) [(p  -q)  -q]  (p  -r)
c) [(p  -q)  -q]  (p  -q)
d) [(p  -q)  -q]  (p  -r)
EJERCICIOS DE AUTOEVALUACIÓN e) N. A.

01. “Una empresa persigue un fin lucrativo porque 07. La proposición: “Es mentira que, si el eje de la
produce dividendos o salvo que únicamente persiga Tierra se inclina cada 27 años, los días serán más
un fin mercantil”. Se formaliza como: cortos. Además, si es mentira que el perímetro
ecuatorial de la Tierra se ensancha, las estaciones
a) (AB) v B b) (AB) v A c) serán más prolongadas”. Se formaliza como:
(BA) v C
d) (AB) v C e) ( AB) v C a)  (p  q)  ( r  s)
b) ( p  q)  ( r  s)
02. “Un juicio apodíctico es analítico, pero también es c)  {p  [ q   (r  s)] }
necesario y forzoso. Por eso usan lenguajes d)  (p  q)   (r  s)
simbólicos”. Se formaliza como: e)  { (p  q)  ( r  s)}

a) [Av(AB)]D b) [A (BC)]D
c) [A+(B+C)] D d) [A (AB)]D
e) [A(BC)] D
03. La proposición: “Los mitos al igual que las leyendas
no son proposiciones lógicas, de ello se infiere
entonces que sólo son oraciones literarias”.
Su formalización es:
a) (A  B)  (C  D)
b) (A  B)  (C  D)
c) (-A  -B)  (C  D)
d) (-A  -B)  (C  D)
e) N.a.
04. La proposición “Si el primer nativo es un político, el
tercer nativo dice la verdad. Si el tercer nativo no
dice la verdad, el primer nativo no es un político.
Por consiguiente el primer nativo es un político
porque el tercer nativo no es un político”. Se
formaliza como:
08. La proposición: “El que los razonamientos sean
válidos está implicado por el que su esquema
formal es tautológico, sin embargo es suficiente que
cumplan con las Reglas de Inferencia para poder
demostrar su validez formalmente”.
Tiene como fórmula:
a) (p  q)  (r  s)
b) (p  q)  (p  r)
c) (p  q)   (p  s)
d) (p  q)  (r  s)
e) (p  q)   (r  s)
09. La proposición: “Siempre que el medio sea
homogéneo, la luz se propaga en línea recta; en
consecuencia es visible la formación de sombra y
penumbra; además la formación de imágenes en la
cámara fotoeléctrica. Se formaliza como:
a) (A  B)  [(C  D) v E]
b) (A  B)  (C v D)
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 20
c) (A  B)  [(C  D)  E] 15. Es necesario que haga frío para que llueva inclusive
d) (A  B)  [(C v D)  E] es suficiente que sea invierno para que haga frío. Si
e) (A  B)  [(C  D)  E] llueve luego hace frío; por tanto estamos en
invierno. Se formaliza como:
10. Formalizar: “Si te alimentas, no enfermarás; si no te
alimentas, no enfermarás y faltarás a clase. Por lo a) [(A  B)  (C  A)  (B  A)]  C
tanto si vas a clase no enfermaste “cuadro”. Se b) [(A  B)  (C v A)  (B  A)]  C
formaliza: c) [(B  A)(C  A)  (B  A)]  C
d) [(B  A) (C  A)  (B  A)]  C
a) [(p-q)(-qqr)] (-p r) e) [(B  A)  (C  A)  (B  A)]  C
b) [(p-q)(-pqr)] (p r)
c) [(p-q)(-pqr)] (-r p)
d) [(p-q)(pqr)] (-r -p)
e) [(p-q)(-p(qr)] (-r -q)

11. La proposición: “Si caigo, me levanto. Si me

levanto, camino. Por tanto ya que caigo bien se ve
que camino”. Se formaliza:

a) [(pq)(qr](pr)
b) [(pq)(qr)](pr)
c) [(pq)(qr)](pr)
d) [(pq)(qr)](pr)
e) N.A.

12. Dada la proposición: “Juan será encontrado

culpable, si hoy rinde su instructiva, por tanto si hoy
rinde su instructiva, dirá la verdad. Juan no será
encontrado culpable, si no dice la verdad”. La
formalización correcta es:
a) [ ( A  B )  ( B  C ) ]  [- C  - A]
b) [ ( A  B )  ( B  C ) ]  [ - C  - A ]
c) ( A  B )  ( B  C )  ( - A  - C )
d) [(B  A)  (B  C)]  [( - C  - A)]
e) N.A.

13. La proposición: “Siempre que y sólo cuando haya

explosión nuclear, habrá radioactividad. Sin
embargo, al haber radioactividad se colige que
habrá mutaciones. De allí que la explosión nuclear
sea condición suficiente para las mutaciones”, se
simboliza

a) [ ( A  B )  ( B  C ) ]  ( A  C )
b) [ ( A  B )  ( B  C ) ]  ( A  C )
c) [ ( A  B )  ( B  C ) ]  ( A  C )
d) [ ( A  B )  ( B  C ) ]  ( A  C )
e) N.A

14. Postulo a Medicina o bien postulo a Derecho.

Siempre que postule a Medicina, seré buen cirujano
y si postulo a Derecho seré un buen penalista, por
tanto, postulo a la Universidad.

a) [(A v B) (A  C) (B  D)]  A
b) [(A  B)  (A C)  (B  D) ] A
c) [(A v B) (A  C)  (B  D)]  E
d) [(A B) (A  C) (B  D)]  E
e) [(A  B)  (A  C)  (B  D)]  E
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 21
Simbología: pq
La función veritativa de la Conjunción es
FUNCIONES VERITATIVAS Y TABLAS DE
Verdadera únicamente cuando ambas
VERDAD
proposiciones componentes son verdaderas y es
Valores veritativos
Falsa cuando al menos una de sus componentes es
Una afirmación es o bien verdadera o bien falsa. La falsa.
verdad y la falsedad son valores veritativos (o valores
de verdad). Las letras 'V' y 'F' representan esos
valores. p q p  q
V V V
Funciones Veritativas
V F F
F V F
Si en una forma de enunciado molecular (por F F F
ejemplo: 'p ^ q' o 'p v q') combinamos los dos
valores veritativos posibles para 'p', con los dos de
'q', obtenemos cuatro combinaciones posibles: DISYUNCIÓN INCLUSIVA ():
Une dos proposiciones mediante el término “o”.
Ejemplo:
El gerente habla inglés o francés.
p : El gerente habla inglés
q : El gerente habla francés.
Simbología: pq
El varlor veritativo de una fórmula molecular está
determinado por los valores veritativos de sus
componenetes. Por ejemplo, si 'p' es falsa y 'q' es La Disyunción Inclusiva es Falsa únicamente
verdadera (observe la tercer línea de las tablas de
verdad), el valor veritativo resultante de la conjunción 'p cuando ambas proposiciones componentes son
^ q' es F, pero el valor veritativo de la disyunción 'p v q' falsas y es Verdadera cuando al menos una de sus
es V. Esto muestra que diferentes conectivas,
aplicadas a los mismos valores veritativos, pueden dar
componentes es verdadera.
resultados diferentes.
p q p  q
Cada conectiva se define indicando el resultado que
ella arroja para cada combinación de valores V V V
veritativos. Cada conectiva arroja (como resultado) un V F V
conjunto de valores veritativos únicos y, por ello, una
conectiva es una función. De manera análoga, una F V V
función matemática que aplicada a números, da como F F F
resultado un número, una conectiva extensional es
una función lógica tal que aplicada a valores
veritativos, arroja como resultado un valor DISYUNCIÓN EXCLUSIVA ():
veritativo. En conclusión una función veritativa es una
interpretación semántica de las posibilidades de verdad Une dos proposiciones mediante el término “o” pero
o falsedad de las proposiciones compuestas en base a exclusivo.
sus conectivas.

Son las siguientes: Ejemplo:

Raimondi nació en Perú o en Italia.
CONJUNCIÓN ():
Une dos proposiciones mediante el término “y”. p : Raimondi nació en Perú.
Ejemplo: q : Raimondi nació en Italia.
Luis es joven y honrado. Simbología: pq
p : Luis es joven.
q : Luis es honrado.
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 22
La Disyunción Exclusiva es Verdadera cuando Simbología: pq
sus componentes tienen diferente valor de verdad
y es Falsa cuando sus componentes tienen el El Bicondicional es Verdadero cuando ambos
mismo valor de verdad. componentes tienen igual valor, de verdad y es
Falso cuando sus componentes tienen valores de
p q p  q verdad diferentes.
V V F
V F V p q p  q
F V V V V V
F F F V F F
F V F
 CONDICIONAL (): F F V
Es la combinación de dos proposiciones mediante:
“Si ........................ entonces ........................ ” NEGACIÓN ():
antecedente consecuente Cambia el valor de verdad de la proposición.

Ejemplo: Ejemplo:
Si estudias, entonces ingresarás: p : Luis es honesto
p : Estudias  p : Luis no es honesto
q : Ingresarás
Simbología: pq “Ingresarás, Por tanto la simbolización y la tabla de verdad de la
si estudias” proposición negativa es:

El Condicional es Falso únicamente cuando el p p

antecedente es verdadero y el consecuente es falso, V F
y es Verdadero cuando al menos el antecedente es F V
falso o el consecuente es verdadero.
La frase “no es el caso que” generalmente se
p q p  q emplea para negar proposiciones compuestas.
V V V
V F F Ejemplo:
F V F No es cierto que Juan sea pintor y se levante
F F F temprano.
p : Juan es pintor.
BICONDICIONAL (): q : Juan se levanta temprano.
Es la combinación de dos proposiciones con: Simbología:  (p  q)
“....................... si y solo si ....................... ”
Resumen

Ejemplo:
Serás un excelente ingeniero si y solo si te
esfuerzas en tus estudios
p : Serás un excelente ingeniero.
q : Te esfuerzas en tus estudios.
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 23
Ejemplos: n
FÓRMULA: C= 2
1. Si: p=F, q=V y r=F; indicar el valor de verdad (verdadero o C = Número de líneas o arreglos que tendrá las tablas.
falso) de las siguientes fórmulas: 2 = Constante numérica
N = Número de variables
a) (qq)  (rr) GRÁFICO
b) ~[r ⊃ q. . (p. q)]
Variables
Solución de la fórmula Fórmula Lógica
a) (qq)  (rr)
1. Asignar los valores correspondientes a cada
variable:
[ (q  p )  (r  p )]
V F F F
2. Evaluar las fórmulas de acuerdo a las reglas de las Combinaciones
de V Y/O F Matríz
funciones veritativas.

[ (q  p )  (r  p )]
V F F F
V V Margen Cuerpo
V Izquierdo

3. El valor final se obtiene del valor principal (Mayor

jerarquía). NOTA: Para hallar los valores de verdad o falsedad de la
Resultado = V (Verdadero) matriz principal de una fórmula lógica, en la tabla de verdad,
es necesario emplear las funciones veritarivas.

b. ~[ r  q .   ~( p  q) ] Funciones veritativas
F V F V
Conjuntiva Disyuntiva Disyuntiva Condicional Bicondicional Negación
V F débi fuerte

VV = V VV = V F F = F VV F VF = F VV V V será F
V FF FF F sera V

F C=2
n
P q p q p q p q pq p q ~p n
F 2 V V V V F V V F V V C=2
C=2 V F F V V F F 1
C=2
C=4 F V F V V V F V F F
F F F F F V V C=2
2. Si la fórmula (proposición simbolizada) (qq)  (rr),
es falsa, halle los valores de p, q, y r,
respectivamente: Pasos a seguir para evaluar las fórmulas lógicas
Solución
1. El valor de verdad de la fórmula se ubica en el 1. Ubicar la fórmula en el lugar correspondiente de la tabla.
operador principal (mayor jerarquía) 2. Jerarquizar la fórmula.
3. Determinar el número de arreglos mediante la fórmula
( p  q )  ( p  r) respectiva.
4. Evaluar la fórmula de acuerdo a las reglas de las
funciones veritativas, procediendo de la matriz de menor
F jerarquía, hasta llegar a la matriz de mayor jeraquía.
2. Se procede a dar valor correspondiente a cada
fórmula o variable de acuerdo al valor dado del Ejemplos
operador principal, que cumpla con las reglas de las Determinar la matriz principal de las siguientes
funciones veritativas. fórmulas
(p  q )  ( p  r)
V F V F
a) ~ {(~ p  ~ q)  ( p  q)}
F F
b) (~ p  q)  (~ q ~ p)
F
3. Luego obtenemos el valor de verdad de cada variable. c) (( p  ~ q )  q )  p
p=V q=F r=F d) ~ p  (q ~ r )  (~ p  q) ~ ( p  r )
Resultado: VFF
Solución
a)
Tablas de Vedad p q ~ {(~ p  ~ q)  ( p  q)}
Llamadas también de valores, tablas veritacionales, V V F F F F V V
métodos de las matrices o algoritmos. Son gráficos en
V F F F F V V V
los que se representan todos los valores de verdad o
falsedad que pueden asumir las distintas F V F V F F V V
interpretaciones de un esquema o fórmula lógica.
F F V V V V F F
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 24

Matriz principal
2. Sabiendo que: p  q es falsa. Hallar “p” y
“q”
Ejercicios

Evaluar las tablas de verdad de los esquemas moleculares: 3. Hallar el valor de verdad de las siguientes
1. (~p  q)  ( (~p  q) proposiciones:
2. (~ p  q)  (r  ~ r) (~ q) I. p  V II. q  F III. F
3. (~ p ~ q)  (~ p ~ q) ~ (p  q) p
4. ( p ~ q) ~ r  ~ p  (r  q)
5. ~ p ~ q  r  q 4. Si la proposición compuesta:
6. ~ (p  q)  (~ p)  (~ q) (p  r)  (r   q)

7.
(~ p ~ q) ~ r  (~ q)  r(~ p ~ q) es falsa, hallar el valor de verdad de las
proposiciones, r, q y p, respectivamente.
Esquemas lógicos
5. Si la proposición compuesta:
Son fórmulas lógicas (proposiciones formalizadas)  (p   q)  (q  r)
las cuales pueden asumir funciones determinadas: es verdadera y las proposiciones s y t tienen
Pueden ser: valor de verdad desconocido, ¿cuáles de las
siguientes proposiciones son verdaderas?
1. TAUTOLOGICOS. Si su matriz principal está conformado solo
de valores verdaderos. Se llama también “Principios Lógicos” I. (p  s)  q II. (t  q)  r III. (s  t)  q
Ejemplo

p q (p  q)  (p  q)
V V V V V 6. Si la proposición:
V
F
F
V
F
F
V
V
V
V
(p   q)  (p  r) es falsa, ¿cuáles de las
F F F V F siguientes afirmaciones son verdaderas?

Matriz principal I. (p  q) no es verdadera.
2. CONTRADICTORIOS. Si en su matriz principal todo los valores II. (r  q) no es falsa.
son falsos. Ejemplo:
III. (p   q) es verdadera
p q (p  q)  (-p  -q)
V V V F F
V F V F F 7. Se sabe que p Λ q y q  t son falsas. De los
F V V F F
F F F F V esquemas moleculares siguientes, cuales son
 verdaderos:
Matriz principal
A = ~ p  t  ~ q ;
B = ~ p  ~ q ~ p;
3. CONTINGENTES.- Si en su matriz principal aparece por lo
menos un valor verdadero y un falso. ejemplo:

p q (p  q)  (p  q) C =  p  q ~ q  t   ~ p  q ~ t 
V V V V V
V F V F F
F V V F F 8. Determinar los valores de verdad de las
F F F V F siguientes proposiciones :
 A) ( 3 + 5 = 8 ) v ( 5 – 3 = 4 )
Matriz principal
B) ( 5 – 3 = 8 )  ( 1 – 7 = 6 )
C) ( 3 + 8 = 11 ) Λ ( 7 – 4 > 1 )
D) ( 4 + 6 = 9 ) (5–2=4)

9. Si las proposiciones A =  p  s  ~ s y B =

1. Sabiendo que: p  q es falsa , hallar “p” y  p  s ~ ps , son verdaderas, hallar los
valores de verdad de p, s y p  s, en ese
“q” orden.
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 25
10. Dada la siguiente información: V(q r ) = V ;
V( n Λ r) = F ; V( m v n )= V y V( p v m ) = F 8. Hallar el valor de verdad de:
determinar el valor de verdad del esquema I.  p  V II. F   q
molecular: A=
m  n   p  r   m  q
A) VV B) FF C) VF D) FV E) N.A.

9. Si: p = V ; q  F
11. Sabiendo que el valor de verdad de las
proposiciones compuestas : Los valores de:
A = ~ p  r   q   p  qs  sp  t p  q,  p   q ;  p  t son en ese orden:
, es siempre falso. Determinar el valor de A) FFF C) VVF E) VVV
verdad de las siguientes proposiciones: B) FVF D) FVV
B = ~ pqr   ~ q  s  p pq
C = ~ p  q r  p ~ r  st 10. Si: q  V ; p   q
Los valores de: ( p  q)  r ;  q   p ; p  q son
12. En los ejercicios establecer, por medio de una en ese orden:
tabla de valores, si cada uno de los siguientes A) FFV C) FFF E) VVV
esquemas moleculares es contingente, B) FVF D) VFV
tautológico o contradictorio.
~ ~ p ~ ~ q  ~ p  ~ ~ p ~ q  11. Si la proposición compuesta: (p   q)  (r   s)
~ p  q   p  ~ p  q   p ~ q es falsa, hallar los valores de: q, p, r y s respectivamente.
 p  ~ q  p   p ~ q  q ~ p A) FVVV C) VVFV E) FVVF
B) VFVV D) FVFV

12. Si la siguiente proposición compuesta:

(p   q)  (p  r) es falsa
son ciertas:
1. Sabiendo que: p   q  F. Hallar los valores de p y q.
I. p  q es falsa
A) VV B) FV C) FF D) VF E) N.A.
II.  ( q  p) es verdadera
III. r  q es verdadera
2. Sabiendo que:  p   q  F, hallar p y q.
A) I y II C) II y III E) N.A.
A) FF B) VF C) FV D) VV E) N.A.
B) I y III D) Todas

3. Si  p  q  F, hallar p y q.
13. De las siguientes proposiciones:
A) VV B) VF C) FV D) FF E) N.A.
I. (p  q)  (p   q)
II. (p  q)  ( p  q)
4. Sabiendo que: p   q  F. Hallar los valores de verdad
III. [ (p   q)  q ]   p
de p y q.
IV. [ (p  q)  q ]  [ (q  p)  q]
A) VV B) VF C) FV D) FF E) N.A. son contingencias.:
A) Sólo I y II D) Sólo III
5. Hallar el valor de verdad de: B) Sólo II y III E) Sólo I
I.  p  F II.  q  V C) Sólo III y IV
A) VV B) FF C) VF D) FV E) N.A.
14. Si la siguiente proposición: (p   q)  (q  r)
6. Hallar el valor de verdad de: es falsa, es verdad que:
I. p   p II. p   p I. (p  q) es falsa.
A) VV B) VF C) FV D) FF E) N.A. II. (r  q) es verdadera.
III. ( q  p) es verdadera.
7. Hallar el valor de verdad de: A) Sólo I y II D) Todas
I.  p  p II.  p  p B) Sólo I y III E) N.A.
A) VV B) FF C) VF D) FV E) N.A. C) Sólo II y III
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 26
15. Si (p  q) y (q  t) son falsas, ¿cuáles de las siguientes
proposiciones son verdaderas?
I. ( p  t)   q
II.  (p  ( q  q))
III. [ p  (q   t)]  [(p  q)   (p  t)]
A) Sólo I y II D) Todas
B) Sólo I y III E) N.A.
C) Sólo II y III

16. Si la proposición: (p  q)   (q  r) es verdadera,

¿cuáles son verdaderas?
I. (s  r)  (p  s)
II. (s  q)  (p  r)
III. (q  r)  (p  r)
A) Sólo I C) Sólo II E) Todas
B) Sólo I y III D) Sólo I y II
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 27

4. De las siguientes proposiciones ¿cuales

PROPOSICIONES EQUIVALENTES
Dos esquemas o proposiciones compuestas A
Y B son equivalentes cuando unidos por el
bicondicional  el resultado es una tautología.
son equivalencias lógicas?.
I. ~ (q  q)  (q  p)
II. (~ p ~ q) ~ q  ( p  q)  q
III. ~ ( p  q)  ( p ~ q) ~ q

Notación: A  B IMPLICACIÓN LÓGICA

Es decir, A  B sii A  B es una tautología. Se dice que una proposición A implica a otra
proposición B, cuando unidas por el condicional
Si A es equivalente a B, entonces B es también "" , resulta una tautología. Se simboliza: A  B
equivalente a A. Y se lee: “A implica a B”, o también, “A es
condición suficiente para que B” o “B es condición
Ejemplo.
necesaria para A”.
Determinar si los esquemas A y B son Si A no implica a B, se escribe: + A  B
equivalentes:
Ejemplo
A= p ~ q
Determinar si A implica B, siendo:
B= ~ p ~ q
Solución A p~ q
p q ( p  q)  ( ~ p ~ p) B  ~ ( ~ p  q)
V V F V F Solución
V F V V V
F V V V V
F F V V V
Ejercicios

Como: A  B es una tautología  A  B

1. Determinar si A implica B, siendo:
A  p ~ (q  r)
Ejercicios B ~ (p  q) ~ r
2. Sea los esquemas moleculares: A  (~ p)(~ r)
1. Determinar si los esquemas y B ~ (p  q) ~ r . Demostrar que A implica
A  ( p  q)  (r  q) y B ~ q  (~ r ~ p)
a B.
Son equivalentes
3. Dados los esquemas moleculares:
2. Determinar cuales de los esquemas
moleculares siguientes son equivalentes A  p ~ q
A  ( p  q)  (r  p)
B ~ (q  p)
B ~ p (~ r  q)
C  r  ( p ~ q)
C ~ q  (~ r ~ p)
 Demostrar si A  C esta implica por B, es
3. Cuál de las siguientes proposiciones:
decir B  ( A  C )
a) ~ (p  ~ q  ~ r)
 Demostrar que: ~ (A  C) ~ B
b) ( p  ~ q)  r
c) (rvp) ~ (~ r  q)
Son equivalentes a:
( p  q)  r
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 28

9. LEYES DE ABSORCIÓN (Abs.)

p  ( p  q)  p
LEYES LÓGICAS p ∧ ( ~ p ∨ q) ≡ p ∧ q
p  ( ~ p  q)  p  q
Ley lógica, tautología o Principio Lógico, es una
proposición que siempre es verdadera, p  ( p  q)  p
independientemente de los valores de las proposiciones
componentes. 10. LEY DEL DISYUNTOR FUERTE
Las leyes lógicas son equivalencias notables que sirven pq  ~ (p  q)
para transformar esquemas o proposiciones y obtener pq  ( p  q)  ~ (p  q)
sus respectivas equivalencias y son las siguientes.
pq  ( p  ~ q)  (q  ~ p)
1. LEY DE INVOLUCIÓN (Doble Negación D.N).
Dos negaciones de igual alcance equivale a una 11. LEYES CONDICIONALES (cond.)
afirmación. p q ~ pq
~ ( ~ p)  p ~ (p  q)  p  ~ q

2. LEY DE IDEMPOTENCIA (Idem) 12. LEYES BICONDICIONALES

p p p p  q  ( p  q)  (q  p)
p p  p p  q  ( p  q)  ( ~ p  ~ q)
3. LEY DE IDENTIDAD (Ident)
p  q  ~ (pq)
pV p ~VF
pFF ~FV 13. LEYES DE TRANSPOSICIÓN (Tras.)
pV  V ( p  q)  ~ q  ~ p
pF p ( p  q)  ( ~ q  ~ p)

4. LEY DEL COMPLENTACIÓN (comp.) 14. EXPORTACIÓN (Exp.)

p~ pF
p~ p  V
( p  q)  r    p  (q  r)
15. LEY DE MUTACIÓN (Mut)
5. LEYES CONMUTATIVAS (conm)
p → (q → r ) ≡ q → ( p → r )
p  q  q  p (conjunción)
16. FORMAS NORMALES PARA LA
p  q  q  p (disyunción)
CONJUNCIÓN Y DISYUNCIÓN
p  q  q  p (bicondicional) V∧ V ≡ V
6. LEYES ASOCIATIVAS (Asoc.) F∨ F ≡ F
p  (q  r )  ( p  q)  r F∨ V ≡ V
p  (q  r )  ( p  q)  r
PRINCIPIOS LOGICOS
p  (q  r )  ( p  q)  r Los tres principios lógicos fundamentales para que el
pensamiento discurra por los “carriles correctos” son:
7. LEYES DISTRIBUTIVAS (Dist.)
PRINCIPIO DE IDENTIDAD (Reflexibidad)
p  (q  r )  ( p  q)  ( p  r ) Una proposición sólo es idéntica a si misma. Se expresa
p  (q  r )  ( p  q)  ( p  r ) por:
p  (q  r )  ( p  q)  ( p  r ) p p pq
p  (q  r )  ( p  q)  ( p  r ) pq

8. LEYES DE MORGAN (De M.)  Si un numero es impar entonces es impar

~ (p  q)  ~ p  ~ q
~ (p  q)  ~ p  ~ q PRINCIPIO DE NO CONTRADICCIÓN
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 29
Una proposición no puede ser verdadera ni falsa a la Vq Ley de elementos neutros
V Ley de elementos neutros
vez.

Se expresa por:
EJEMPLO 6
Reducir la expresión: (p~ q)(~ p~ q)
~ (p  ~ q) Solución:
Es absurdo que un número sea impar y no es impar. (p~ q)(~ p~ q)
~ (p~ q) (p~ q) Ley del condicional
PRINCIPIO DEL TERCIO EXCLUIDO
(~ p q) (p~ q) Ley de Morgan
[(q~ p) p]~ q Ley asociativa
Una proposición o es verdadera o es falsa, no hay una (q p)~ q Ley de absorción
tercera posibilidad. Se expresa por: p (q~ q) Ley asociativa
p V Elemento neutro
p~ p V Elemento neutro

O Alan García es peruano o Ala García no es peruano

EJEMPLO 7
EJEMPLO 1
Reducir la expresión: [(pq) q]p Simplificar la expresión: p~ q~ p
Solución: Solución
[(pq) q]p p~ q~ p (p~ q)~ p ~(p~ q)~ p Agrupamiento y ley del
~[(pq) q]p Ley del condicional condicional
[~(pq)~ q]p Ley de Morgan (~p q)~ p q(~p~ p) Ley de Morgan y asociativa
[(p~q)~ q]p Ley del condicional q~p Ley de idempotencia
[~q(~q p)]p Ley conmutativa pq Ley del condicional
(~q)p Ley de absorción
qp Ley del condicional EJEMPLO 8
EJEMPLO 2
Reducir la expresión: (p q)(p q) Simplificar la siguiente proposición: ~ [~ (p q) ~ q]q
Solución: Solución:
(p q)(p q) ~ [~ (p q) ~ q]q
~(p q) (p q) Ley del condicional ~ [~(~ (p q) ~ q]q Ley condicional
(~p~ q) (p q) Ley de Morgan ~ [ (p q) ~ q]q Doble negación
(~p p) (~ q q) Ley asociativa
 [~ (p q)  q]q Ley de Morgan, DN
VV Ley de complementación
V Ley de idempotencia  [(~p ~q)  q]q Ley de Morgan
 q [q  (~p ~q) ] Ley Conmutativa
EJEMPLO 3  q
Reducir la expresión: (p q)p
Solución: EJEMPLO 9
(p q)p
~(p q) p Ley del condicional
(~p~ q) p Ley de Morgan Simplifique la expresión (pq)[(p q)(p q)]
(~pp)~ q Ley asociativa Solución:
V~ q Ley de elementos neutros (pq)[(p q)(p q)]
V Ley de elementos neutros
EJEMPLO 4 (pq)[{(p q)(p q)} {(p q)(p q)}] Ley del
Simplificar la siguiente proposición: (~ p~ q)p bicondicional
Solución: (pq)[{~(p q) (p q)} {~(p q) (p q)}] Ley
(~ p~ q)p del condicional
[(~ p~ q) (~ q ~ p)]p Ley bicondicional (pq)[{(~ p~ q) (p q)} {(~ p~ q) (p q)}]
~ [(p~ q) (q~ p)]p Ley condicional Ley de Morgan
[~ (p~ q)~ (q~ p)]p De Morgan (pq)[{ (~ p (p q)) (~ q (p q))} {(~ p p)
[(~ p q) (~ q p)]p De Morgan (~ q q)}] Ley distributiva
(~ p q) [(~ q p) p] Asociativa
(pq)[{ ((~ p p) (~ p q)) ((~ q p) (~ q q))}
(q~ p) p Absorción
p q Absorción
{ V V}] Ley distributiva
EJEMPLO 5 (pq)[{ (V (~ p q)) ((~ q p) V))} V] Ley de
Reducir la expresión: ([p(p q)] q)(p q) elementos neutros
Solución: (pq)[(~ p q) (~ q p)] Ley de elementos neutros
([p(p q)] q)(p q) (pq)[(pq) (qp)] Ley del condicional
([~p (pq)] q)(p q) Ley del condicional
([(~pp)q)] q)(p q) Ley asociativa (pq)(pq) Ley de identidad
([V q)] q)(p q) Ley de complementación V Es una tautología
(V q)(p q) Ley de elementos neutros
q(p q) Ley de elementos neutros
q~ (p q) Ley del condicional EJERCICIO 10
(q~ p) q Ley asociativa
Simplifique [(~ pq) (pq)]q
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 30
Solución: a) Tautología b) Contradictorio
[(~ pq) (pq)]q c) Consistente d) Contingente
[(p q) (~ p q)]q e) C y D
~ [(p q) (~ p q)]q Ley del condicional
[~ (p q)~ (~ p q)]q Ley de Morgan 07. ¿Cuántas de las siguientes fórmulas Bicondicionales son
[~ (p q) (p~ q)]q Ley de Morgan tautológicas?
~ (p q) [(p~ q) q] Ley asociativa
I.- - (q  - p)  (q  p)
~ (p q) (q p) Ley de absorción
II.- - (p  - q)  (p  q)
~ (p q) (p q) Ley conmutativa
III.- [(-p  - q)  - q]  - [(p  q)  q]
V Tautología
IV.- - (p  q)  [(p  q)  - q]

EJERCICIO 11 a) una b) dos c) tres

d) cuatro e) ninguna
Sean p, q proposiciones, simplificar con las leyes del álgebra: ~
p(q~ p) 08. Simplificar: [(p  q)  (r  p)]  p
Solución:
~ p(q~ p) [(~ p(~ q~ p)][(~ q~ p)~ p] Ley del a) p b) 1 c) 0
condicional y definición bicondicional d) – p e) N.a
[(p (~ q~ p)][~ (~ q~ p)~ p] Ley del condicional
[(p~ p)~ q][(q p)~ p] Ley asociativa y D morgan 09. ¿Cuál de las siguientes proposiciones son tautológicas?
[V~ q][(q~ p) (p~ p] Ley Distributiva y elemento neutro,
complementación I.- - [- (p  q)  - q]  (p  q)
V [(~ p q) V] Elemento neutro y conmutativa y II.- - (- p  q)  (p  q)
complementación III.- - {(p  q)  [p  (- p  q)]}  (p  - q)
(~ p q) Elemento neutro aplicado dos veces
pq Ley del condicional Son ciertas, excepto:

a) todas b) Ninguna c) solo I

d) sólo II e) sólo III
EJERCICIOS PROPUESTOS
Mediante las leyes logicas simplificar: 10. El equivalente simplificado de: [(A  B)  (C  - A)]  (A  B)
representa un circuito que se apaga en:
a) ~ (p q) (~ p q)
b) (pq)(q q) a) 1er caso b) 1er y 2do caso
c) (p q)[(~ p q) (~ q p)] c) sólo 2do caso d) 3er y 4to caso
d) ( p~ q)[~ (q~p)~(mn)] e) 1er y 3er caso.
e) [( p~ q) (~ r p)][ p~ (q r)]
f) [( pq)(qr)][~ q( pr)] 11. La fórmula:
g) [ p(qr)][~ p(~ q~ r)] [(p  - q)  (- p  q)]  [(-p  - q)  (-p  q)] equivale a:
h) {[~ (pq) p][q(~ q t)]}{[(s t) s][s (s~ t)]}
i) ( p~ r) [~ q~ ( p r)] a) p b) – p c) 1
j) t [( pq)q][~ p (qp)] d) 0 e) p  q
k) [~ p (q~ r)][(~ p q)~ ( p r)]
l) [(~ p q)(qp)]p 12. Simplificar: [(p  q)  (r  q)]  - (- p  r)
m) [( p~ q) (qp) r]p
n) [(~ p q)(r~ r)]~ q a) – p  r b) p  r c) p  - r
d) – p  - r e) N.a

01. Dada la siguiente: [(A  B)  (A  -B)]  (-A  B) 13. La proposición más simple equivalente a:
su equivalente será: [(- q  - p)  (-p  - q)]  - (p  q) es:

a) A b) B c) A  B a) – p b) p c) q
d) –A  B e) A  B d) – q e) (-p  - q)

02. La fórmula: (-p  q)  [(p  -q)  (p   q)] equivale a: 14. Al simplificar la proposición compuesta:
- [- (p  -q)  p  - q]  [(p  q)  -p  r] obtenemos:
a) p b) – p c) – p  q
d) p  - q e) p   q a) q  (p  r) b) r  (p  q) c) p  (q  r)
d) p  (q  r) e) N.a
03. Simplificar: [(-A  B)  (-A  -B)]  [(A  -B)  (A  B)]
15. La proposición: - (p  q)  (q  - r) es equivalente a:
a) A  -A b) A c) – A
d) B  -B e) N.a I. [p  (p  - r)]  - q
II. (p  - q)  - (q  r)
04. La fórmula simplificada de: [(p  q)  (p  - q)]  p III. (p  - q)  [(p  -r)  - q]

a) p b) – p c) q Son ciertas:
d) – q e) p  q
a) todas b) Ninguna c) Sólo I y II
05. Simplificar: [(A  B)  (B  C)]  C d) sólo I y III e) sólo II y III

a) A  C b) A  B c) B 16. Se define: p  q  -(p  q)  -(p  -q)

d) C e) 1
Simplificar: [(-p  q)  q]  [p  (q  p)]
06. La proposición: [(-p  q)  q]  (p  q) es un esquema:
a) p b) q c) -p
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 31
d) V e) F 10. El equivalente simplificante de:
[ (A  B)  (C  - A) ]  (A  B)
17. Simplificar si es posible: representa un circuito que se apaga en:
[-(p  q)  -(q  p)]  (p  q)
a) 1er caso b) 1er y 2do caso
a) p b) q c) -p c) sólo 2do caso d) 3er y 4to caso
d) p  q e) p  q e) 1er y 3er caso

11. La fórmula:
[(p  -q)  (-p  q)]  [(-p  -q)  (-p  q)]
EJERCICIOS DE AUTOEVALUACIÓN equivale a:

01. Dada la siguiente fórmula: a) p b) –p c) 1

[(A  B)  (A  -B)  (- A  B) d) 0 e) p  q

a) A b) B c) A  B 12. Simplificar:
d) –A  B e) A  B [(p  q)  (r  q) ]  - (-p  r)

02. la fórmula: a) –p  r b) p  r c) p  -r
(- p  q)  [ (p  - q)  (p  - q) ] equivale a: d) –p  -r e) N.a.

a) p b) –p c) –p  q 13. La proposición más equivalente a:

d) p  - q e) p  - q [(-q  -p)  (-p  -q)]  - (p  q) es:

03. Simplificar: a) – p b) p c) q
[ (- A  B)  (- A  -B) ]  [(A  - B)  (A  B) ] d) – q e) (- p  - q)

a) A  -A b) A c) – A 14. Al simplificar la proposición compuesta:

d) B  -B e) N.a. - [ - (p  -q)  p  - q]  [(p  q)  -p  r ]
obtenemos:
04. La fórmula simplificada de:
[(p  q)  (p  - q)  p a) q  (p  r) b) r  (p  q)
c) p  ( q  r) d) p  (q  r)
a) p b) – p c) q e) N.a.
d) – q e) p  q 15. La proposición:
- [ (p  q)  (q  -r)] es equivalente a:
05. Simplificar:
[ (A  B)  (B  C)]  C I. [ p  (p  - r)  - q
II. (p  - q)  - (q  r)
a) A  C b) A  B c) B III. (p  - q)  [( p  - r)  - q]
d) C e) 1
Son ciertas:
06. La proposición:
[ (- p  q)  q]  ( p  q) es un esquema: a) Todas b) Ninguna c) Sólo I y II
d) sólo I y III e) sólo II y III.
a) tautológico b) Contradictorio
c) consistente d) contingente
e) C y D

07. ¿Cuántas de las siguientes fórmulas bicondicionales son

tautológicas?.

I. – (q  -p)  (q  p)
II. – (p  -q)  (p  q)
III. – (p  -q)  -q]  - [(p  q)  q]
IV. – (p  q)  [(p  q)  - q]
Son ciertas:

a) una b) dos c) tres

d) cuatro e) ninguna
08. Simplificar:
[(p  q)  (r  p) ]  p

a) p b) 1 c) 0
d) – p e) N.a.

09. ¿Cuál de las siguientes proposiciones son tautológicas?.

I. – [- (p  q)  - q]  (p  q)
II. – (- p  q)  (p  q)
III. – {(p  q)  [ p  (- p  q) ] }  (p  - q)

Son ciertas, excepto:

a) Todas b) Ninguna c) solo I

d) solo II e) Solo III
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 32
Un argumento no se modifica si es una o varias de
las proposiciones p1 , p 2 , ...., p k , q se remplaza
INFERENCIA LÓGICA por otra u otras que sean equivalentes.

La inferencia es el proceso de pasar de un conjunto NOTACIÓN: Un argumento p1  p2  ...  pk )  q

de premisas a una conclusión.
También se denota en la forma:
La inferencia es una condicional de la forma.
p1
( p1  p2  ...  pk )  q
p2
A esta condicional se le llama también argumento .
lógico; donde las proposiciones p1 , p 2 , ...., p k .
son llamadas premisas, y originan como .
consecuencia otra proposición q llamada pk
conclusión.
q
El resultado de la condicional puede ser una
tautología, una contingencia o una contradicción y Ejemplo 2
podemos resumir del siguiente modo: Si Juan participa en un comité electoral de la
universidad entonces los estudiantes se enojaran de
A) El argumento p1  p2  ...  pk )  q recibe el él, y si no participa en el comité electoral de la
universidad entonces la autoridades universitarias
nombre de inferencia válida o argumento
se enojaran con él. Pero Juan participará en el
válido si dicha condicional es una tautología.
comité electoral de la universidad o no participará.
Por lo tanto, los estudiantes o las autoridades
B) Si en argumento p1  p2  ...  pk )  q es universitarias se enojarán con él.
falso, entonces la condicional es una falacia.
Simbolización:
1) Sean las proposiciones simples:
TEOREMA Juan participará en un comité electoral =p
Si el argumento: Los estudiantes se enojarán con el =q
p1  p2  ...  pk )  q es valido, y las premisas Las autoridades universitarias se enojaran con
p1 , p 2 , ...., p k son verdaderas, entonces la Juan: r
conclusión “q” es correcta (V).
2) Formalización:
Ejemplo 1 Formalizando el enunciado tenemos:
p1 : Juan se levanta a las seis a) La premisas son:
p  q)  (~ p  r)  (p ~ p)
p1  p2 : Si Juan se levanta a las seis va a
b) La conclusión es:
trabajar. qr
p2  q : Si Juan va a trabajar, entonces obtiene un
ingreso. 3) La inferencia será:
 p  q)  (~ p  r)  (p ~ p)  q  r 
 q : Juan obtiene un ingreso. Al desarrollarse es una tabla de verdad,
obtenemos una tautología, lo cual indica que la
La tabla de verdad es: inferencia es válida.
p  ( p  q)  (q  r )  r
METODO ABREVIADO

OBSERVACIÓN Es un procedimiento que evita la laboriosa tarea de

construir la tabla de valores para determinar la
validez de las inferencias. Este método consiste en
suponer la conjunción de premisas como verdadera
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 33
y la conclusión falsa, única posibilidad que En p1 :
invalida la implicación: pq
F
( p1  p2  ...  pk )  q
V
V V V F  Si p es F y p  q es V, entonces q puede ser V
oF
Si no se demuestra esta posibilidad la inferencia
En p 2 :
será válida.
~pr
En la prueba de éste método se aplica los
siguientes pasos: V V
1. Asignar el valor de verdad V a cada una de las V
premisas y de falsedad F a la conclusión.
2. Deducir la validez de cada una de las variables  Como p es F, entonces ~ p es V. ahora, si ~ p es
proposicionales en función de las reglas V y ~ p  r es V, entonces r es V
veritativas, empezando por la conclusión o por
el operador de una de las premisas que ofrece
En p3 :
una sola posibilidad.
p ~ p
3. Si cada una de las variables cumple una sola F V
función veritativa, se habrá probado que la V
conjunción de premisas es verdadera y la
conclusión es falsa; por lo que, la inferencia  Si p es F y p  ~ p es V, entonces ~ p es V.
no será válida ( no hay implicación) aquí hay compatibilidad.
4. Si una variable tiene dos valores de verdad y 3º p es F , r es F ; q es V o F
falsedad a la vez, quedará demostrado que no
es posible que la conjunción de premisas sea
4º En p1 , existe contradicción. Por lo tanto, la
verdadera y la conclusión falsa. Por lo que,
hay implicación y la inferencia será válida. inferencia dada es válida.

Ejemplo
LA DEMOSTRACIÓN MATEMÁTICA
Analizar la siguiente inferencia:
 p  q)  (~ p  r)  (p ~ p)  q  r  El uso de las proposiciones implicativas en
diversas demostraciones, específicamente en la de
Solución teoremas, cumple un papel importante en las
matemáticas.
1º Asignar F a la conclusión p  r y V a cada
premisa p  q , ~ p  r ; p  ~ q Fundamentalmente existe dos formas de
 p  q)  (~ p  r)  (p ~ p)  q  r  demostración matemática: la directa y la indirecta.
V V V F
DEMOSTRACIÓN DIRECTA
2º . Hallar los valores p, r, q, teniendo en cuenta Consiste en utilizar la validez de la forma:
los valores de la conclusión y de las premisas.
Veamos p  p  p3 ...  p k  q
1 2 
" p  r" Pr emisas Conclusión

Si la conclusión F F es F entonces En esta forma de demostración, se utiliza todas las

premisas p i , paso a paso, hasta verificar la
F
conclusión q
p es F y r es F, por que tenemos una disyunción.
Ahora analicemos cada premisa. DEMOSTRACIÓN INDIRECTA
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 34
Este método consiste en negar la conclusión q y [(A  B)  - B]  - A
P1 : A  B
considerarla como premisa, luego se trata de inferir P2 : ~B
válidamente la negación de alguna de las premisas ~A

p i del conjunto p1 , p 2 ,....... p k .

[(A  B)  - B]  - A

P1 : A  B
Es decir, se construye y se verifica la validez de la P2 : ~ A
siguiente inferencia: ~B
[(A  B)  - A]  - B

 Excepción: Cuando el conector lógico en la primera premisa

es condicional; la negación del antecedente no implica la
  
Pr emisas
 Conclusión
 negación del consecuente (Falacia formal).
(~ q) ∧ p1 ∧ p 2 ∧ ...∧ p k → ~ p i
Negación de la Negación de una P1 : A  B
de P2 : ~A
~B FALACIA FORMAL
Conclusión una de las Nota: El Bicondicional no es excepción en las reglas anteriores.
premisas
(es decir negación de la tesis) C. Ponendo - Tollens (Afirmando - Niego)
 Regla : La afirmación de una de las variables de la primera
Para ambos métodos, si la conclusión se deduce premisa implica la negación de la otra variable.
correctamente del conjunto de premisas, la  Conectores : (  )

inferencia es válida (o también se dice que el P1 : A  B

P2 : A
conjunto de premisas implica a la conclusión, o a -B
la conclusión es consecuencia lógica del conjunto [(A  B)  A]  - B
de premisas). P1 : A  B
P2 : B
-A
PRINCIPALES IMPLICACIONES O [(A  B)  B]  - A
IMPLICACIONES NOTABLES D. Tollendo - Ponens (Negando - Afirmo)
 Regla : Al negar una de las variables de la primera premisa,
concluimos en la afirmación de la otra variable.

1. Modos. En su estructura constan de dos premisas y una  Conectores : (  , )

conclusión; son 4 modos diferentes validos solo para
determinados conectores.
P1 : A  B
A. Ponendo Ponens (Afirmando - afirmo) P2 : - A
 Regla: La afirmación del antecedente, implica la afirmación B
del consecuente. [(A  B)  - A]  B
 Conectores : (, )
P1 : A  B
P1 = A  B P2 : -B
P2 = A A
B [(A  B)  - B]  A
[(A  B)  A]  B
P1 = A  B P1 : A  B
P2 = A P2 : - A
B B
[(A  B)  A]  B [(A  B)  - A]  B
P1 : A  B P1 : A  B
P2 : B P2 : - B
A A
[(A  B)  B]  A [(A  B)  - B]  A
 Excepción : Cuando el conector en la primera premisa es
condicional, la afirmación del consecuente no implica la Nota. No hay problema al trabajar con el Bidisyuntor en cualquiera
afirmación del antecedente (Falacia Formal) de las dos reglas anteriores (C y D)

2. Silogismo Hipotético Puro: Es una forma de razonamiento que

P1 : A  B
consta de dos premisas (condicionales) y una conclusión.
P2 : B
A FALACIA FORMAL
 Regla: Las dos premisas deben tener forma condicional.
Tiene que existir un término medio (que aparezca tanto en la
B) Tollendo - Tollens (Negando - Niego) primera como en la segunda premisa).
 Regla: La negación del consecuente, implica la negación del
antecedente.  Conectores : ()
 Conectores : ( , ) P1 : A  B
P1 : A  B P2 : B  C
P2 : ~B A  C
~A [(A  B)  (B  C)]  (A  C)
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 35
P1 : B  A
P2 : C  B 7. DILEMAS.
C  A Razonamientos que poseen tres premisas y una conclusión. Son
[(B  A)  (C  B)]  (C  A) de dos tipos:
 Excepciones: El término medio no puede ser causa en
ambas premisas, ni tampoco ser en las dos premisas efecto. 1) Dilema constructivo:
P1 : A  B
P2 : C  B P : A B P : -A B
A  C FALACIA FORMAL 1 1
P1 : B  A P : A D P2 : -C D
2
P2 : B  C P : A C P : A C
A  C FALACIA FORMAL 3 3
3. Transitividad Simétrica : Es similar al Silogismo Hipotético Puro B D B D
pero en este caso no importa la ubicación del término medio en
las premisas. 2) Dilema Destructivo.

 Regla: Las dos premisas deben tener representación

Bicondicional, P : A B P : -A B
1 1
P : C D P2 : -C D
 Conector : () 2
P : -B -D P : A C
P1 : A  B 3 3
P2 : B  C
-A -C -A -C
A  C
[(A  B)  (B  C)]  (A  C)
P1 : A  B PROBLEMAS RESUELTOS
P2 : C  B
A  C
[(A  B)  (C  B)]  (A C) EJEMPLO 1
P1 : B  A Demostrar la siguiente conclusión r ~ q a partir de las
P2 : B  C premisas.
A  C P1: ~ (r s)
[(B  A)  (B  C)]  (A  C) P2: qs
Solución
4. Conjunción: Consta de dos premisas y una conclusión. P1: ~ (r s) ~ r~ s r ~ s
P2: qs ~ s~ q
 Regla : De un conjunto de premisas se puede concluir en la
conjunción de las mismas. En conclusion
 Conectores : (, en la conclusión) P1: r ~ s
P1 : A P2: ~ s~ q
P2 : B C1: r ~ q Ley de Silogismo Hipotético
A  B
(A  B)  (A  B)
5. Simplificación: Es una deducción inmediata porque está EJEMPLO 2
formada por una sola premisa y una conclusión. Hallar la siguiente conclusión: qp , a partir de las premisas:
 Regla: Si se tiene como premisa una fórmula conjuntiva P1: p qp
podemos simplificar y aceptar como conclusión a una de sus P2: q p
variables o componentes.
 Conectores : () Solución
AB P1: p qp ~ (p q) p (~ p~ q) p ~ q p
P1 : (A  B)  A
A Entonces:
P1: ~ q p
AB P2: q p
P1 : (A  B)  B
B C1: ~ q p Por ley simplificación
 Excepciones: No es posible aplicar la simplificación cuando C1: qp Ley condicional
la premisa es una fórmula conjuntiva.
EJEMPLO 3
AvB Demostrar la siguiente conclusión: ~ pr , a partir de las
P1 : FALACIA FORMAL
A premisas:
P1: p~ s
6. Adición: Deducción inmediata donde se agrega una nueva P2: ~ r s
proposición adicional:

 Regla: De una premisa se puede concluir la disyunción de la Solución

misma con cualquier otra fórmula. P1: p~ s ~ p~ s Ley condicional
P2: ~ r s ~ sr Ley de transposición
 Conectores: (v, en la conclusión)
Entonces
A
P1 : A  (A v B) P1: ~ p~ s
Av B P2: ~ sr
 Excepciones: La adición en la conclusión sólo es válida con C1: ~ pr Silogismo hipotético
el disyuntor; mas no con el conjuntor.
A EJEMPLO 4
P1 : FALACIA FORMAL Resolver el siguiente razonamiento
A B
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 36
P1: ~ p~ t s Por equivalencias tenemos en la tercera premisa:
P2: ~ (p t)
Solución: P3 : r  s
P4 : p  r
P1: ~ p~ t s ~ (~ p~ t) s (p t) s
Por el Silogismo Categórico o Hipotético Puro nos queda :  p
P2: ~ (p t) s
Entonces Y de nuestra conclusión por equivalencias tenemos :  -p  s
P1: (p t) s
P2: ~ (p t) CLAVE “C”
C1: s Silogismo disyuntivo
02. Dadas las siguientes premisas formales
P1: F  C P2: A  B
P3: B  C P4: A
EJEMPLO 5
Resolver el siguiente razonamiento Aplicando las reglas de inferencia, podemos concluir en :
P1: ~pqr)
P2: ~q ~r) a) A  B b) F  A c) F
P3: s~p// p s d) C e) N.a.

SOLUCIÓN
Solución: De las premisas 4 y 2 tenemos :
P4: ~qr) P2 DM P2: A  B
P5: ~ p P1 y P4 MT P4: A
P6: ~ p s P5 Adición
P7: p s P6 Condicional Por equivalencias tenemos en la segunda premisa :

P2: -A  B
P4: A

Por el Modus Ponnendo Ponens nos queda : P5 : B

Ahora de la premisa 5 lo unimos con la premisa 3 :

P3: B  C
P5 : B

Por el Modus Ponendo Tollens nos queda : P6 : - C

Ahora de la premisa 6 lo unimos con la premisa 1 :

P1: F  C
P6 : - C

Por el Modus Tollendo Tollens nos queda :  - F

CLAVE”C”
PRÁCTICA
01. De las premisas: 03. De las siguientes fórmulas implicativas :
P1 : p  q 1) ( p  q )  ( p  q )
P2 : q  r 2) (p  q)  [ (p  q)  r ]
P3 : s  r 3) [ ( p  q )  p ]  q

Se concluye en : ¿Cuáles de ellas tienen esquemas válidos?

a) Sólo 1 b) Sólo 2 c) Sólo 3

a) qs b) q  r c) ps
d) Todas e) 1 y 2
d) s e) N.a.
SOLUCIÓN
SOLUCIÓN
Analizando cada uno de ellos :
De las premisas 1 y 2:
1) ( p  q )  ( p  q )
P1 : p  q
P2 : q  r
De la premisa : ( p  q )
Aplicamos Simplificación y nos queda : p
Por equivalencias tenemos en la segunda premisa :
Luego aplicamos adición o nuevo factor:
(pq)
P1 : pq
Y nos damos cuenta que coincide con la conclusión lo cual la
P2 : qr fórmula implicativa es válida.
Por el Silogismo Categórico o Hipotético Puro nos queda : P4 : p
2) (p  q)  [ (p  q)  r ]
r
De la premisa: (p  q)
Ahora de la premisa 4 lo unimos con la premisa 3 :
Aplicamos adición o nuevo factor : [ (p  q)  r ]
Y nos damos cuenta que coincide con la conclusión lo cual la
P3 : s  r
fórmula implicativa es válida.
P4 : p  r
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 37
3) [ ( p  q )  p ]  q De la segunda premisa : ( p  r )
Aplicamos simplificación : p
Si vemos bien la estructura nos damos cuenta que se trata del Y luego lo unimos con la primera premisa :
Modus Ponnendo Ponens por lo cual la fórmula implicativa es (pq)
válida. Y Aplicando Modus Ponnendo Ponens nos queda : q
Finalmente unimos con la variable “r” que nos quedó al
Por lo tanto todas tienen fórmula implicativas válidas. simplificar la segunda premisa y nos queda : ( q  r )
Y nos damos cuenta que coincide con la conclusión lo cual es
CLAVE “D” válido.

2) [ ( p  q )  p ]  q
04. La siguiente estructura:
De las dos primeras premisas aplicamos el Modus Ponnendo
P1: pq Ponens :
P2: rs
P3: p  r [(pq)p]q
C: q s
Como nos damos cuenta nuestra conclusión es : q
Lo cual no coincide con la conclusión que nos dan, por lo tanto el
Tiene como característica: razonamiento es inválido.

1) Tiene una estructura válida 3) [ (p  q)  p]  q

2) Tiene una estructura no válida
3) La conclusión se obtiene por la aplicación de Reglas. De la primera premisa : (p  q)
4) Su matriz principal es una contingencia
Por equivalencias es igual a : - p  q
Son ciertas: Ahora lo unimos con la segunda premisa : p
Y del razonamiento : [ (- p  q)  p ]  Falacia
a) 1 y 3 b) 2 y 3 c) 1 y 4
d) 2 y 4 e) 3 y 4 El argumento nos resulta una falacia por lo cual el razonamiento
es inválido.
SOLUCIÓN
En el razonamiento analizamos por partes: Por lo tanto sólo 1 es fórmula implicativa válida.
De la premisa 3 aplicamos simplificación: CLAVE”A”
P3 : p  r
06. Si el neutrón tiene carga neutra es obvio que el protón sí tiene
Quedándonos : P4 : p P5 : r carga. sin embargo el H es átomo luego H2O es molécula. Así
mismo es absoluto que tiene carga neutra el neutrón excepto
Luego unimos primero las premisas 1 y 4 : que incluso átomo sea el hidrógeno. La consecuencia.

P1: p  q 1) Salvo que el H2O sea molécula, el protón tiene carga

P4 : p eléctrica.
2) El protón tiene carga eléctrica o incluso el H2O es molécula
Aplicamos Modus Ponnendo Ponens y nos queda : P6 : q 3) Es innegable que el H2O es molécula salvo que el protón
tenga carga eléctrica
Luego unimos las premisas 2 y 5 : 4) Si el H2O es molécula en consecuencia el protón tiene carga
P2: r  s eléctrica.
P5 : r 5) Es falso que el protón tiene carga eléctrica y el H2O no sea
molécula.
Aplicamos Modus Ponnendo Ponens y nos queda : P7 : s
No son no ciertas :
Finalmente de las premisas 6 y 7 aplicamos la ley de Conjunción
y nos queda :  q  s a) 1,2 y 3 b) 2,3 y 4 c) 3,4 y 5
d) Todas e) 1,2 y 5
Por lo tanto podemos decir que tiene una estructura válida y que
la conclusión se obtiene por aplicación de reglas. SOLUCIÓN

Por lo tanto son ciertas: 1 y 3 Formalizando cada una de las premisas:

CLAVE “A” P1 : N  P
P2 : A  M
05. De las siguientes fórmulas implicativas P3 : N  A

1) [ ( p  q )  ( p  r ) ]  ( q  r ) Aplicando el Dilema Constructivo en el razonamiento nos queda :

2) [ ( p  q )  p ]  q PM
3) [ (p  q)  p]  q
¿Cuáles de ellas tienen esquemas válidos? De las alternativas :

a) Sólo 1 b) Sólo 2 c) Sólo 3 1) M  P 2) P  M 3) - - (M  P)

d) Todas e) 1 y 3 4) M  P 5) – (P  -M)

SOLUCIÓN De las proposiciones las que son equivalentes a la conclusión

son : 1,2 y 3
Analizando cada uno de ellos :
CLAVE”A”
1) [ ( p  q )  ( p  r ) ]  ( q  r )
07. Del siguiente esquema formal:
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 38
( p  q )   ( r  s )  (q  s ) es acreedor salvo que también Ricardo sea honrado". En
consecuencia inferimos :
Se concluye en :
1) Hipólito no es proveedor o Ricardo no es delincuente.
1) (  p   r ) 2) ( p   r ) 2) Es mentira que, Ricardo es delincuente e Hipólito proveedor
3)  ( r  p ) 4) ( r   p ) 3) Ricardo es delincuente o Hipólito proveedor
5(rp) 4) Si Hipólito es proveedor por tanto Ricardo no es delincuente
5) Hipólito no es proveedor por tanto Ricardo es delincuente
Son correctas :
Son innegablemente correctas :
a) 1,2 y 3 b) 2,3 y 4 c) 3,4 y 5
d) 1,3 y 5 e) Todas a) 1,2,4 b) 3,5 c) 2,3,4
d) 1,3,5 e) 2,3
SOLUCIÓN
SOLUCIÓN
Del razonamiento : ( p  q )   ( r  s )  (q  s ) Formalizando las premisas:
Definiendo premisas :
P1 : ( p  q ) P1 : P  A
P2 :  ( r  s ) P2 : H  D
P3 : (q  s ) P3 : A  H

Aplicamos equivalencias a las premisas . Aplicando el Dilema para el disyuntor excluyente tenemos que la
conclusión es:
P1 : p  q –P  -D
P2 : r  s
Formalizando las alternativas:
P3 : q  s

En el razonamiento aplicamos el Dilema Destructivo y nos queda 1) –P  -D 2) – (D  P) 3) D  P

: -p  -r 4) P  -D 5) –P  D

De las alternativas nos damos cuenta que son equivalentes a la De las alternativas nos damos cuenta que son equivalentes a la
conclusión : Todas conclusión : 1,2,4

CLAVE “E” CLAVE “A”

08 Dadas las premisas: P1; P2; P3 y la conclusión: C 10. "La moral es real o también ficticia. La moral no es ficticia salvo
que incluso sea abstracta ". Por tanto :
P1: Siempre que A entonces B
P2: Dado que C es obvio que B 1) La moral no es real excepto que sea abstracta
P3: ***************** . 2) La moral es real o incluso abstracta.
C: Siempre que A es obvio que no C 3) Si la moral no es real en tal sentido es abstracta

La premisa que completa la estructura válida es : Son correctas, excepto :

a) Siempre que B, A a) 2 y 3 b) Sólo 1 c) Sólo 2

b) Siempre que B es obvio que C d) Sólo 3 e) Todas
c) Dado que no es B, B
d) Porque B; no es B SOLUCIÓN
e) Es condición suficiente A para C. Formalizamos las premisas :

SOLUCIÓN P1 : R  F
Formalizamos la estructura del razonamiento : P2 : -F  A

P1 : A  B Por equivalencias las premisas son :

P2 : C  B
P3 : ………. P1 : -R  F
C:A-C P2 : F  A

Si nos damos cuenta la variable B se repite dos veces, es decir Aplicamos el Silogismo Categórico o Hipotético Puro y nos
que la premisa que falta debe tener las dos variables B. queda : -R  A

Luego tenemos : B  -B Ahora formalizamos las alternativas:

1) –R  A 2) R  A 3) –R  A
Al reemplazar esta variable en la estructura del razonamiento
nos sale válido. Nos damos cuenta que de las alternativas son equivalentes : 2 y
3
Formalizando las alternativas :
Por lo tanto nos piden las que son incorrectas: Sólo 1
a) B  A b) B  C c) –B  B CLAVE” B”
d) B  -B e) A  C PRACTICA DE CLASE

De las alternativas la que es equivalente a la premisa faltante es 01. Encontrar la conclusión válida partiendo de las sgtes premisas.
la alternativa D. P1 : A  E
P2 : A  B
CLAVE”D” P3 : B  - C

09. "O Hipólito es proveedor o bien es acreedor. Asimismo Ricardo o a) C b) – A c) – B

bien es honrado o bien es delincuente. Es el caso que el primero d) D e) – C
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 39
Se infiere deductivamente en la siguiente conclusión lógico-
02. Dados las sgtes premisas formales: formal:
P1 : - D  H
P2 : H  - I a) B b) –A  C c) E  F
P3 : I d) –F e) –E
Se infiere deductivamente en la sgte conclusión:
11. Partiendo de las premisas:
a) D b) H c) – I P1 : - (C  D)
d) – D e) N.a. P2 : C
P3 : - D  - B
03. Dados las premisas: P4 : B  - P
P1 : - A  C
P2 : C  - D a) –A b) –C c) P
P3 : D  E d) – P e) – B
Se llega formalmente a obtener:
12. Dadas las premisas:
a) C b) – D c) A P1 : (p  r)  -q
d) – A e) – E P2 : r  s
P3 : (s  -r)  p
04. Dados las premisas formales: P4 : s  q
P1 : A  C Llegamos a concluir formalmente en:
P2 : B  - C
Por lo tanto podemos deducir: a) r  - t b) – t  r c) r  t
d) t  r e) N.a.
a) –A b) – A  - B c) A
d) – B e) D 13. El sgte argumento
P1 : p  q
05. Pariendo de las premisas: P2 : r  s
P1 : [ (A  B)  (C  D) ] P3 : p  r
P2 : [(A  C)  (B  D) ] qs
P3 : - C
Llegamos a concluir formalmente: a) es válido b) no es tautológico
c) es tautológico d) A y C
a) A b) –B c) A  C e) No se puede demostrar
d) C  D e) N.a.
14. El sgte argumento:
06. Si tenemos: P1 : (p  q)  r
P1 : (A  B)  C luego concluimos: P2 : r  s
P2 : A  D P3 : s  t
P4 : t  q
a) –C b) C d) –A P5 : s  q
d) A  D e) –D q  s
07. Encontrar la deducción válida partiendo de las sgtes premisas: a) es válido
P1 : - p  - q b) no es válido
P2 : - q  (r  s) c) es tautológico
P3 : (t  s)  p d) A y C
e) no se puede demostrar
a) – t  s b) t  s c) t  -s
d) t  s e) N.a. 15. Encontrar la conclusión lógico formal de las sgtes premisas:
P1 : (C=3  D=4)  A  1
08. Deducir la conclusión del argumento: P2 : A = 1  B=2
P1 : A  B P3 : C=3
P2 : C  A
P3 : - B  D a) A=1 b) B=2 c) B  2
d) D=4 e) D  4
a) C  D b) D  C c) D  C
d) – (D  C) e) D 16. Partiendo de las premisas:
P1 : x+y=3  (x+z=4  y+z=5)
09. Si se tiene las premisas: P2 : y+z  5  x+y+z = 5
P1 : B  C P3 : x+z  4
P2 : A  - D Podemos concluir en:
P3 : C  E
P4 : - E  -A a) x+y=3 b) x+y+z  5 c) x+y  3
P5 : D  F d) y+z = 5 e) absurdo
Se infiere de manera correcta en: 17. Hoy es viernes o sábado. Si es viernes iré a la academia. Si es
Sábado iré a la fiesta. Luego
a) B  F b) – B  F c) B
d) – F e) –A a) Iré a la academia
b) No iré a la academia
10. Si tenemos las sgtes. Premisas: c) No iré a la academia pero sí a la fiesta
P1 : - (A  -B) d) Iré a la fiesta tanto como a la academia
P2 : (C  A) e) N.a.
P3 : (B  D)
18. Si seguir los principios cristianos es condición suficiente
P4 : (C  D)  (E  F)
necesaria para vivir en paz. Además si vive en paz salvo que
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 40
solamente la conciencia esté tranquila. Pero como tienes la EJERCICIOS DE AUTOEVALUACIÓN
conciencia intranquila y la moral baja. Entonces:
01. Dadas las siguientes premisas formales:
a) Vives en paz P1 [(A  B)  (C  D)],
b) no sigues los principios cristianos P2 [(A  C)  (B  D)],
c) siguen los principios P3 (¬C)
d) tienes que subir la moral se infiere deductivamente en la siguiente conclusión lógico-
e) N.a. formal

19. Dadas las siguientes premisas formales: a) A b)¬B c) B

P1 (A  B), d) A  C e) C  D
P2 (B  ¬ C),
P3 (A  E), 02. Dadas las siguientes premisas formales:
se infiere deductivamente en la siguiente conclusión lógico- P1 [(A  B)  C],
formal: P2 (A  D),
se infiere deductivamente en la siguiente conclusión lógico-
a) C b)¬A c)¬B formal:
d)D e)¬C
a) A b)¬A c)¬D
20. Dadas las siguientes premisas formales: d) A  D e) C
P1 (¬D  H),
P2 (H  ¬I), 03. Dadas las siguientes premisas formales:
P3 (I), P1 (p  q),
se infiere deductivamente en la siguiente conclusión lógico- P2 (q  ¬r),
formal: P3 (p  s),
se infiere deductivamente en la siguiente conclusión lógico-
a) D b) H c)¬H formal:
d) I e)¬D
a)q b)¬p c)p  q
21. Dadas las siguientes premisas formales: d) p  q e)¬r
P1 (B  ¬E),
P2 (F  B), 04. Dadas las siguientes premisas formales:
P3 (F), P1 (p  q),
se infiere deductivamente en la siguiente conclusión lógico- P2 (¬q),
formal: P3 (¬p  r),
se infiere deductivamente en la siguiente conclusión lógico-
a) E b) B c)¬B formal:
d) F e)¬E
a)¬p b)¬q c)¬p  q
22. Dadas las siguientes premisas formales:
d) q  p e) r
P1 (¬A  (B  C)),
P2 ((D  G)  ¬A), 05. Dadas las siguientes premisas formales:
P3 (D  G), P1 (p  q),
se infiere deductivamente en:
P2 (q  r),
P3 (¬r),
a)¬A b) D c) D  E se infiere deductivamente en la siguiente conclusión lógico-
d) B  C e)¬A formal:
23. Dadas las siguientes premisas formales: a) p  q b)¬q c) p
P1 (A  B), d) r e)¬q
P2 (A  D),
se infiere deductivamente en la deductivamente en la siguiente 06. Si tenemos las siguientes premisas:
conclusión lógico-formal: P1 (A  B),
P2 (B  C),
a) A b)¬A c)B
P3 (D  E),
d) ¬B e) D
P4 (A  D),
se infiere deductivamente en la siguiente conclusión lógico-
24. Dadas las siguientes premisas formales:
formal:
P1 (A  C),
P2 (B  ¬C),
a)A  B b) A  D c) C  E
se infiere deductivamente en la deductivamente en la siguiente
d) B  C e) B
conclusión lógico-formal:
07. Si tenemos las siguientes premisas:
a)¬A b)¬A  ¬B c) A
P1 (¬A  B),
d)¬B e) D
P2 (B  ¬C),
25. Dadas las siguientes premisas formales: P3 (C  D),
P1 [(A  B)  (C  D)], P4 (¬D),
se infiere deductivamente en la siguiente conclusión lógico-
P2 (A  C),
formal:
P3 [(B  C)  (D  E)]
se infiere deductivamente en la siguiente conclusión lógico-
a)¬A b)¬C c) D
formal:
d) A e) B
a) A  E b)A  D c) D  G 08. Si tenemos las siguientes premisas:
d) C  E e)N.A. P1 (C  ¬D),
P2 (C),
P3 (¬D  B),
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 41
P4 (B  ¬P),
se infiere deductivamente en la siguiente conclusión lógico-
formal:

a)¬A b)¬C c)P

d)¬P e)¬B

09. Encontrar la conclusión del siguiente argumento:

DE
AC
C  -D
?

a) C b)-E c) A
d) -A  E e) N.A.

10. Dadas : P1 = -q  -p
P2 = -q  r
P3 = (-r  s)
¿Qué conclusión se deduce?

a) es falacia b) -p c) p  s
d) -p  r e) q  -p

11. Si : P1 = A  (B  C)
P2 = -(B  -C)  -C
P3 = A  D
¿Qué conclusión se infiere?

a) A  C b) B  D c) C
d) -C e) N.a.

12. Si : P1= p  q
P2 = (p  q)  r
P3 = r  -q
¿Qué conclusión se deduce?
a) N.a. b) (p  q)  q c) p
d) -s  -p e) c y d

13. Si :P1 = A  –B
P2 = -C  D
P3 = -A  -D
¿Qué se puede inferir?

a) -B  C b) -B  -C c) B  -C
d) B  -C e) N.a.

14. Si : P1 = -A  -B
P2 = -C  D
P3 = B  -C
¿Qué se deduce?

a) A  D b) (-A  -D) c) -D  A
d) Todas e) N.a.

15. Si : P1 = -A  B
P2 = B  -(C  D)
P3 = A
P4 = D  E

¿En qué se concluye?

a) A  E b) -C c) B  E
d) -B e) N.a.
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 42

CIRCUITOS LÓGICOS
Un circuito lógico es un conjunto de símbolos y
operaciones que satisfacen las reglas de la lógica,
simulando el comportamiento real de un circuito
eléctrico.
La verdad o falsedad de una proposición, también
puede representarse por “1” ó “0” donde:
V = “1” indica el paso de la corriente eléctrica a través
de un circuito eléctrico y
F = “0” indica la interrupción de corriente a través de un
circuito eléctrico. Como lo indica el cuadro el circuito estará cerrado
o pasará corriente solo cuando los dos
Analicemos el comportamiento de un circuito para interruptores estén cerrados y abierto si uno de los
la negación, sea p una proposición, entonces: interruptores está abierto.

p ∽p ó p ∽p CIRCUITO EN PARALELO
V F 1 0 Dos interruptores p y q se encuentran conectados
F V 0 1 en paralelo, cuando tengan esa disposición, como
se muestra en la figura.:

p ∽p

q
Pasa corriente No pasa corriente El circuito estará cerrado cuando uno o ambos
interruptores estén cerrados y abierto cuando los
dos estén abiertos.

No pasa corriente Pasa corriente

Todas las posibilidades del circuito lo podemos
CIRCUITOS EN SERIE observar en la tabla de la disyunción veamos:

Dos circuitos se encuentran conectados en serie, p q p  q p q p  q

cuando lo están uno tras otro (en una misma línea)
V V V 1 1 1
Sea los interruptores p y q, su conexión en serie
esta dada por: V F V 1 0 1

p q F V V 0 1 1

En este circuito pasa corriente sólo en el caso en F F F 0 0 0

que p y q se encuentren cerrados (ambos tengan el
valor 1).

p q p  q p q p  q
V V V 1 1 1
V F F 1 0 0
F V F 0 1 0
F F F 0 0 0
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 43

Representa a :
Ejemplos
A) (p  q) v ( - q v r)
B) [(p v r) v – q] v r
1. p  q C) [(p  q) v – q] v r
2. p  q D) [(p  q) v – q] v – r
E) N.a.
3. (∽p  q)  (∽p  q)
SOLUCIÓN
4. Simbolizar p Nos damos cuenta que el circuito está formado por
circuitos en paralelo y en serie.
Formalizamos el circuito :
q [ (p  q)  -q]  r

EJERCICIOS
12. El circuito siguiente no es equivalente a :
p q
Construir los circuitos lógicos para:
q p
(p  q)  - (p  q)
1. ∽p  (q  p) A)
B) (- q v – p)  (- q  - p)
C) –(p  - q)  (p  - q)
D) (-p  q)  (-q  -p)
E) Ninguna de las anteriores
2. (p  q)  ∽q 13. El siguiente diagrama :
p q

3. (p  q)  (∽p  ∽q) r
t
s
Representa a :
4. (p  ∽q)  ∽p  r
A) {[-(p  - q)   r] v s}  t
B) [(p  q) v ( r v s)] v t
C) [(p v q)  ( r v s)]  t
D) { [(p  q) v  r] v s}  t
5. (∽p  q)  (∽p  q) E) N.a.
14. El siguiente circuito:
q
p s
r
6. (p  ∽q)  p
t
Se representa como :

7. (∽p  q)  (p  ∽q) A) [p  (q  - r)] v (- s v t)

B) {[p  (q v – r)]  - s}  t
C) [p  (q v r)]  (- s v t)
D) [p  (q  -r)  -s]  t
8. [(p  q)  q]  (∽p  q) E) N.A.

15. Simplificar:
A B
9. [(p  q)  q]  (p  ∽q)
-B
A

10. p  q  [(∽p  ∽q)  p  (∽q)] -A

A) A  B B) –A  B C) A  - B
D) –A  - B E) N.A

16. Hallar la proposición que representa el siguiente circuito.

11. El circuito :
p q
p q
q
-q p q

r q
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 44
Formula Sistema Sistema
A) p ∧∼ q B) p ∧ q C) p → q D) p ∨∼ q Lógica ASA ISO Función
E) 𝑝 △ 𝑞

17. Reduzca y determine la expresión equivalente:

-A A A  NOT

p q A A
A B  AND
q B B
p
p A A
A B
B  Or
p B
p
q A A
q AV B  Xor
q q B B
p p
q A A
AB  Nxor
B B

Circuitos a Compuertas A A
- (A  B)  NOTAND
B B
Las compuertas lógicas son bloques de A A
circuitos que producen señales de salida cuyas  NOTOR
- (A  B) B B
entradas solo pueden tomar dos niveles
distintos de tensión (1 = verdadero, 0 = falso). A A
AB B  NOTANDNOT
Esta teoría es la que permite el diseño de las B
computadoras y utilizaremos dos sistemas para
A A
representar a los circuitos lógicos mediante A/B  NOTOR NOT
B B
compuertas para representar a los circuitos
lógicos mediante compuertas y éstos son: El
sistema ASA e ISO. La ventaja de estos tipos Nota:
de diseños mediante compuertas lógicas es 1. Las operaciones o conectores siempre deben
que podemos representar tanto negaciones ser: (, , , , ) para el caso del ( ) es
internas así como externas. necesario trabajar con su respectiva definición:
Las operaciones o funciones lógicas que
participan en el diseño de compuertas son solo A
tres: La negación, la Conjunción y la A  B  - A v B:
B
Disyunción (incluyente o excluyente).
2. Al diseñar el circuito se debe tener en cuenta el
Las demás fórmulas proposicionales son orden de las entradas; las que deben ser
representadas mediante sus equivalencias; y representadas siguiendo el orden alfabético.
las entradas dependen del número de variables
que participan en la fórmula directa a diseñar. (A v B)  -C : A
A continuación les daremos un cuadro B
resumen de las diferentes funciones y sus C
representaciones en los dos sistemas
Americano (ASA) y Europeo (ISO). 3. Al unir las entradas hay que tomar en cuenta la
ubicación de las variables en la fórmula a
diseñar. Si una variable se encuentra antes
que otra entonces su entrada debe ubicarse en
la parte superior y nos valemos del puente para
respetar la nota 2 y 3.

B A: A
B
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 45
EJERCICIOS c) A
&
B 1
01. La compuerta: &
A
B
d) A
&
B =
C
D =1

Se representa como: e) A
&
B 1
a) (A  B)  (C  D)
&
b) (A  B)  (C  D)
c) (A  B)  (C  D)
05. El diseño circuital para:
d) (A  B)  (C  D) (A  B)  ( A  B) es:

e) N.A.
02. El circuito así diseñado:
a) A
1 =1
B
A
B

1
b) A
=
a) [(A  B)  A]  B B
b) [A  (A  B)]  B =1
c) [A  (A  B)]  B
d) [A  (A  B)]  B c) A
e) N.A. 1
B =1

1
03. Formalizar el siguiente diseño:
d) A
= =1
B
A 1

e) A
1 =1
B

a) {[(A  A)  A]  A}  (A  A) 1

b) {[(A  A)  A]  A}  (A  A)
c) {[(A  A)  A]  A}  (A  A) 06. El siguiente diseño:
d) {[(A  A  A)  A]}  (A  A)
A
e) {[(A  A)  A]  A}  (A  A) =1
B
& &
1
04. El diseño del circuito lógico para:
(A  B) /(B  A) es: =

a) A Se formaliza como:
&
B
a) [(A  B)  (A  B)]  (A  B)
b) A
& b) [(A  B)  (A  B)]  (A  B)
B 1
c) [(A  B)  (A  B)]  (A  B)
& d) [(A  B)  (A  B)]  (A  B)
e) N.A.
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 46
07. Encontrar la fórmula del siguiente
circuito dado a continuación:
p
q

a) (p  q)  (r  p)

b) (p  q)  (r  p)
c) (p  q)  (r  p)
d) (p  q)  (r  p)
e) N.A.

08. ¿A qué circuito con compuertas

corresponde la siguiente fórmula:
(A  B)  (C / D) ?

a) A
&
B
1
C
D 1

b) A
1
B
1
C
D &

c) A
1
B
&
C
D &

d) A
1
B
&
C
D &

e) A
1
B
&
C
D &
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 47
LÓGICA CUANTIFICACIONAL P(x): x + 5 > 2 [no es proposición lógica]
y ahora le agregamos el cuantificador
universal "".
1. Función proposicional x: P(x)
x: x + 5 > 2 [proposición
lógica]
Es aquel enunciado que contiene una variable
tendremos una
y que tiene la propiedad de convertirse en
proposición lógica, cuyo valor es falso, por que no
verdadero o falso para cierto valor de la
todos los valores de "x" cumplirán la proposición,
variable. Las funciones proposicionales se
por ejemplo: para x = -4, no se cumple. Entonces
pueden representar por: p(x), q(x), r(x), etc.,
es falso que para todo "x", se cumpla:
donde "x" sería la variable.
x+5>2
Ejemplos:
2.2. Cuantificador Existencial
p(x) : x - 2 > 18
q(x) : x2 + 4 = 16 Si a una función proposicional, le
r(x) : “x” es un número anteponemos la expresión "existe un x tal
que", estaremos indicando el sentido
primo existencial (que exista) de dicha función:
Si en la primera función proposicional p(x) a Notación:
"x" le damos diferentes valores tendremos:

para: x = 10  p(10): 10 - 2 > 18  x: p(x) ó  x/p(x) ó ( x) [p(x) ]

8 > 18 (falso)
Se lee: "existe un x, tal que, se verifique
para: x = 23  p(23): 23 - 2 > 18 p(x)".
21 > 18 "existe por lo menos un x, tal que,
(verdadero) se verifique p(x)".
"al menos un x, verifica p(x)".
Como puede verse,
dependiendo del valor de la variable podemos
Ejemplo:
obtener resultados diferentes.
p(x): x - 3 > 10 [función
proposicional]
2. Cuantificadores universal y existencial x: p(x)
x: x - 3 > 10 [proposición lógica]
2.1.Cuantificador Universal
Si a una función proposicional, le Para verificar que es una proposición lógica,
anteponemos la expresión "para todo x", podemos darnos cuenta que si x = 15, se
estaremos indicando el sentido universal de cumple la desigualdad, ya hemos
dicha función proposicional, obteniéndose encontrado por lo menos un "x", que
ahora una proposición lógica. verifique p(x), por lo tanto es una
proposición lógica, cuyo valor es verdadero.
Notación:
 x: p(x) ó  x/p(x) ó ( x) [p(x) ] 3. Negación de proposiciones que tie-
nen cuantificadores
Se lee: "para todo x, tal que, se verifique
p(x)". Sea la proposición:
x: p(x)
Ejemplo:
Si tenemos una función proposicional:
Matemática Básica Dr.Sc. Maximiliano Cóndor Huamán 48

su negación será: a) Sólo I b) Sólo II c) Sólo III

d) I y III e) I y II

De la misma forma, si tenemos la proposición: 2. Dada la función proposicional: p(x): x3 - 2x > 0

x: p(x)
hallar los valores de verdad para: x = -1; x =
2; x = 1
su negación será:
a) VVV b) VVF c) VFV
Ejemplos: d) FVV e) FVF
i. x: x = 7
~[x: x = 7] = x: x  7 3. Dado el conjunto: A = {3;4;5;6}
ii. x: "x" es un número par. hallar el valor de verdad de cada proposición.
~[x: x es un número par] = x: "x" no
es un nú- mero par. I.  x  A: x + 3 > 4
iii. x: x2 >1 II.  x  A/x - 5 > 1
~[x: x2 > 1] = x: x2  1 III.  x  A/x2 - 15 > 0

3. Negación de proposiciones que tie- a) VVF b) FFF c) FVF

nen cuantificadores d) VFV e) VFF

Sea la proposición: 4. Dado el conjunto: B = {-1;0;1;2}

x: p(x) hallar el valor de verdad de cada proposición.
~[x: p(x)] = x: ~p(x)
I.  x  B/x2 < 0
su negación será: II.  x  B: x2 + 1  0
III.  x  B / (x + 1) (x - 1) > 2
~[x: p(x)] = x: ~p(x)

De la misma forma, si tenemos la proposición: a) FVV b) FVF c) FFV

x: p(x) d) VVF e) VFV

5. Dadas las proposiciones: p, q y r

su negación será:
p:  x  IR/x2 > 0
Ejemplos: q:  x  IR: x2 + x < 1
i. x: x = 7 r:  x  IR:
~[x: x = 7] = x: x  7 hallar el valor de verdad de:
ii. x: "x" es un número par. (p  ~q)  (q  ~r)
~[x: x es un número par] = x: "x" no
es un nú- mero par. a) V b) F c) V o F
2
iii. x: x >1 d) F.D. e) N.A.
~[x: x2 > 1] = x: x2  1

EJERCICIOS

1. ¿Cuál de las siguientes expresiones son

funciones proposicionales?

I. p(x): x2 + x > 4
II. q(x): "x" es un número impar
III. r(x): 3x + 7