UNIVERSIDAD SAN PEDRO

FACULTAD DE INGENIEA
ESCUELA PROFESIONAL DE INGENIERA CIVIL

Proposiciones Lgicas
La lgica proposicional estudia las leyes lgicas que existe entre
las proposiciones a travs de ciertos operadores proposicionales.
Es imposible no hablar de las proposiciones lgicas en la lgica
moderna; veamos algunos conceptos bsicos de este tema.
I)

Esto trae como consecuencia lo siguiente:

(a + b) 2 =a2+2ab+b2 ; a ,b R
-

Las leyes o hiptesis cientficas aceptadas. Ejemplo:

Todo cuerpo ejerce una fuerza de atraccin sobre

otro

Los enunciados cerrados o definidos. Ejemplo:

+ + = 180

, si , y = s internos de un mismo

tringulo.

x + y = 50 ;
-

si x = 10 , y = 30

Las oraciones informativas. Ejemplo:

Toda materia posee masa

Los caballos poseen una cola y 4 patas

Las oraciones explicativas. Ejemplo:

Si comienza a llover, entonces las calles se

mojarn

Las creencias, mitos o leyendas. Ejemplo:

Dios es un ser misericordioso

Manco Cpac y Mama Ocllo fueron enviados por
el sol

Las metforas o refranes. Ejemplo:

Las canciones de Alejandro Saenz son muy

bonitas
El es digno de este trabajo

+ + = 180
x = y si y solo si x = 2

Las oraciones exclamativas. Ejemplo:

Hoy es un da maravilloso

Las oraciones desiderativas. Ejemplo:

Quisiera viajar este ao a Europa.

Las oraciones dubitativas. Ejemplo:

Posiblemente este ao ingrese a la universidad.

Las oraciones interrogativas. Ejemplo:

Cuntos aos tienes?

Las oraciones imperativas :

prohibiciones, consejos. Ejemplo:

ordenes,

splicas,

Soldado Prez ...... Venga rpidamente

Por favor; Podras prestarme dinero?
Levntate y sigue adelante, nunca mires atrs.

II. Estructura de una Proposicin:

Sujeto verbo predicado

Las oraciones descriptivas. Ejemplo:

2. No son proposiciones lgicas:

-

La sinceridad es lo ms valiosos de un hombre.

Los enunciados abiertos o indefinidos. Ejemplo:

Nocin de Proposicin.- Es una expresin lingstica, con

sentido completo que se puede determinar si son verdaderos
o falsos.
Una proposicin lgica es enunciada mediante oraciones
aseverativas que pone de manifiesto la funcin informativa del
lenguaje.

1. Son proposiciones lgicas:

- Las frmulas cientficas ya demostradas. Ejemplo:

Hechos discutibles : La moral, la belleza, los valores.

Ejemplo:

El Per es un mendigo sentado en un banco de

oro

Hoy da me ir muy mal por ser Martes 13

Los hechos de la literatura o personajes ficticios. Ejemplo:

1) El verbo o cpula 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 implcito; es como
decir: Jos est estudiando incansablemente)
2) El algunas proposiciones no aparece el sujeto; pero ste
queda implcito en la oracin (recordar que una
proposicin es slo significado).
Ejemplo:
Actualmente estoy preparndome en la Academia
Integralclass ..... sujeto: Yo
Amanece ...... sujeto: Hoy

Has el bien, sin mirar a quin

Las supersticiones. Ejemplo:

Observaciones:

Romeo y Julieta murieron por amor

Superman es muy valiente.

Cajamarca

III. Propiedades de una Proposicin:

1. Segn su cantidad:

Universal: Si el sujeto est acompaado de la

palabra todos
Ejemplo:
Todos los alumnos son estudiantes
Dr. Sc. Maximiliano Cndor Huamn

Todo hombre es honesto

Todos los historiadores son investigadores
Todo medico es cirujano

Ejemplo:
La seleccin Peruana jug un partido intenso con su similar de
Argentina.
relacin de accin.

Particular: Si el sujeto est acompaado de la palabra

algunos

Vallejo y Maritegui fueron contemporneos.

relacin de tiempo.

Ejemplo: Algunos actores son cmicos

Algunas personas honestas son polticas
Algunos estudiantes son universitarios
algunos nios son intranquilos

Jos es el hermano mayor de Juan.

relacin de parentesco.

Singular (Individual): Si el sujeto adopta un nombre

propio.

2. Proposiciones Compuestas o Moleculares (Coligativas):

se caracterizan principalmente porque poseen conectores
lgicos.

Ejemplo: Trujillo es llamado la Capital de la

Primavera
M. Grau es el hroe del combate de
Angamos
G. Mendel es el padre de la Gentica

A. El Conector Lgico: Es un trmino que sirve de enlace

entre proposiciones o le cambian el sentido de verdad.
B. Principales Conectores Lgicos:
El negador: ............ no ..............
El conjuntor: ............ y ..............
El disyuntor: ............ o ..............
El condicional: Si ....... entonces .........
El bicondicional: .......... si y slo si ..........
El inalterador: ni ............ ni ..............
El Incompatibilizador: no ............ o no ..............

2. Segn su calidad:
Afirmativo: Si el verbo est afirmado.
Ejemplo: La lgica es una ciencia formal
Negativo: Si el verbo se encuentra negado.
Ejemplo: El saber no es propio de todo ser humano.
3. Por su Modalidad:

EJERCICIOS RESUELTOS

Asertrico: Cuando expresan un grado de certeza; su

valor de verdad se puede determinar comparndolo con la
realidad inmediata. Son enunciados que describen
hechos.

01. Los siguientes enunciados son proposiciones lgicas

1)
2)
3)
4)
5)

Ejemplo:
Cristbal Coln descubri el continente Americano.
Los insectos carecen de huesos.
Apodctico: Expresan un grado muy fuerte de certeza o
de seguridad; de carcter obligatorio o necesario, su valor
de verdad se puede determinar por el anlisis lgico de la
proposicin.

Silencio por favor!

Sintate ahora!
Regresar pronto
Ojal apruebe matemtica
Ay!

Son correctas :
A) 1,2,3
D) Todas

Ejemplo:
Todo nio tiene que ser ingenuo
si a = b a + c = b + c
p q - q - p

B) 2,3,4
E) N.A.

C) 3,4,5

SOLUCIN

Problemtica: Expresa un grado dbil de certeza, su

verdad no se puede determinar de manera inmediata,
requiere de cierto tiempo o circunstancias.

1) No es una proposicin lgica ya que se trata de una

oracin interrogativa.
2) No es una proposicin lgica ya que se trata de
una orden.
3) No es una proposicin lgica ya que se trata de un
enunciado informativo.
4) No es una proposicin ya que se una oracin
desiderativa
5) No es una proposicin ya que se trata de una
oracin exclamativa

Ejemplo:
Maana posiblemente ser un da nublado.
Existe vida en otras galaxias.
IV. Clases de Proposiciones
1. Proposiciones Simples o Atmicas: Carecen de conector
lgico, y pueden ser:
A. Predicativas: Cuando se le atribuye alguna cualidad al
sujeto (utiliza el verbo SER en cualquiera de sus tiempos)
Ejemplos:
Carlos Marx fue el creador del Materialismo Dialctico.
Gregorio Mendel es el padre de la Gentica.

CLAVE E
02. Son proposiciones simples:

B. Relacionales: Cuando se compara un sujeto con otro

mediante una relacin que puede ser de orden, tiempo,
espacio, parentesco, accin, etc.

-2-

SAN PEDRO

1)
2)
3)
4)
5)

Si llegas temprano haremos fiesta.

Trabajas o juegas.
O tienes sed o tienes hambre.
La lluvia moja la pista.
La uva es cereal.

1)
2)
3)
4)
5)

La Luna tiene desiertos.

La Tierra es estrella vieja.
El sol es un planeta.
Lima es capital de Chile.
Santiago es capital del Per.

Son incorrectas :
Son incorrectas:
A) 1,2,3
D) 1,3,5

B) 2,3,4
E) N.A.

C) 3,4,5
A) 1,2,3
D) Todas

B) 2,3,4
E) N.A.

C) 3,4,5

SOLUCIN
SOLUCIN
Formalizando las proposiciones :
Las proposiciones individuales son las proposiciones
simples:

1) A B .... (Proposicin molecular).

2) A B .... (Proposicin molecular).
3) A B .... (Proposicin molecular).

Formalizando las proposiciones:

4) A .... (Proposicin simple)

5) A .... (Proposicin simple)

1) A
4) A

2) A
5) A

3) A

CLAVEA
Si nos damos cuentas las proposiciones son simples o
llamadas tambin individuales.

03. Son proposiciones los siguientes enunciados:

1)
2)
3)
4)
5)

CLAVEE

Cinco es un nmero par.

Dios mo, aydame.
Ojal ingrese a la U
Fujimori es presidente.
8 + 5 = 12

05. Son proposiciones moleculares:

1)
2)
3)
4)
5)

Son correctas:
A) 1,2,3
D) 1,3,4

B) 2,3,4
E) 1,4,5

C) 3,4,5

No solamente ro, sino tambin lloro.

Al llover, la cosecha ser muy buena.
Si hay oro, seremos millonarios.
Siempre que haya produccin, habr empleo.
O bien postulo a la U o bien trabajo.

Son correctas:
SOLUCIN
A) 1,2,3
D) Todas

1) S es proposicin ya que es un enunciado

matemtico
2) No es proposicin ya que es una oracin
interrogativa
3) No es una proposicin ya que es una oracin
desiderativa
4) S es una proposicin ya que es un enunciado

B) 2,3,4
E) N.A.

C) 3,4,5

SOLUCIN
Formalizando las proposiciones:
1) A B .... (Proposicin molecular).
2) A B .... (Proposicin molecular).
3) A B .... (Proposicin molecular).

informativo
5) S es una proposicin ya que es un enunciado
matemtico

4) A B .... (Proposicin molecular).

5) A B .... (Proposicin molecular).

CLAVE E
04. Son proposiciones individuales:

CLAVE D
06. Son trminos dependientes:

-3-

SAN PEDRO

1)
2)
3)
4)
5)

1)
2)
3)
4)

El Nilo es ro americano.
El Amazonas es ro africano tambin americano.
El Misti es un nevado incluso un volcn.
La Universidad Nacional de Trujillo es institucin
pblica.
5) El Instituto Nacional de Cultura es institucin
privada.

Los, luego, entonces

Siempre, obvio, de all que
Salvo que, o en todo caso
Tambin, incluso.
Se contrapone, es equivalente.

Son incorrectas:
A) 1,2,3
D) Todas

Es absurdamente falsas:

B) 2,3,4
E) N.A.

C) 3,4,5

A) 1,2,3
D) 1,3,5

SOLUCIN

Formalizando las proposiciones:

1) A .... (Proposicin atmica).

concepto.
Entre los trminos dependientes tenemos a los
conectores.
Por lo tanto son trminos dependientes : Los, luego,
entonces, siempre, obvio, de all que, salvo que, o en
todo caso, tambin, incluso, se contrapone, es
equivalente.

2) A B .... (Proposicin molecular).

3) A B .... (Proposicin molecular).
4) A .... (Proposicin atmica).
5) A .... (Proposicin atmica).
CLAVE C
09. Son proposiciones moleculares:

CLAVE D

1)
2)
3)
4)
5)

07. Son trminos independientes:

Si, luego, entonces
Mujer, carro, avin
Al, de, siempre
Sol, nido, tierra
Jarra, casa, lobo

B) 2,3,4
E) 2,4,5

2 es un nmero y representa dos unidades.

La palabra lima tiene varios significados.
5 es un nmero primo e impar.
Al ser hoy da jueves, el viernes ser maana.
Los institutos son instituciones de educacin
superior.

No son correctas, excepto:

Son correctamente incorrectas, salvo:

A) 1,2,3
D) 1,3,5

C) 1,4,5

SOLUCIN

Los trminos dependientes son aquellos que para tener

significado necesitan estar acompaados de un

1)
2)
3)
4)
5)

B) 2,3,4
E) 3,4,5

C) 3,4,5

A) 1,2,3

B) 2,3,4

D) 1,3,4

E) 2,4,5

C) 3,4,5

SOLUCIN
Formalizando las proposiciones :
1) A B .... (Proposicin molecular).
2) A .... (Proposicin atmica).
3) A B .... (Proposicin molecular).
4) A B .... (Proposicin molecular).
5) A .... (Proposicin atmica).
CLAVE D
10. Son proposiciones conjuntivas.

SOLUCIN
Los trminos independientes son aquellos que tienen
significado propio por s solos.
Entre los trminos independientes estn los conceptos.

1) Los alumnos del colegio Integral son muy estudiosos y

dedicados.
2) Los peruanos son ciudadanos civilizados.
3) Los animales vertebrados son carnvoros y ovparos.
4) Es falso que los estudiantes de la UNT son negligentes.
5) No solamente el mercurio es un metal sino tambin el
bromo.

Por lo tanto son trminos independientes : Mujer, carro,

avin, sol, nido, tierra, jarra, casa, lobo
CLAVE E
08. Son proposiciones atmicas:

Son ciertas :

-4-

SAN PEDRO

a) 1, 3 y 5
d) 1, 2 y 3

b) Slo 1 y 3
e) Todas

c) 3, 4 y 5

1. El mundo es ancho y ajeno

2. A rincn quita calzn
3. Acrcate
4. Rezando cambiar tu suerte
5. Bsame

SOLUCIN
Formalizando las proposiciones :

No son proposiciones lgicas:

1) A B .( Proposicin conjuntiva)
2) A . ( Proposicin simple)
3) A B .( Proposicin conjuntiva)
4) A ( Proposicin negativa)
5) A B .( Proposicin conjuntiva)

a) Slo 1 y 2
d) Slo 3 y 5

DE

a) Descriptiva b) Dubitativa
d) Exclamativa e)Directiva

1.
2.
3.
4.
5.

Tienen carcter bivalente

Son mandatos u ordenes
Tienen sentido completo
Algunas son informaciones completamente falsas
Son los enunciados abiertos

a) 1,2,3
d) 3,4,5
b) 2,3,4
e) 1,2,4

c) 3,4,5

George Boole fue el creador del Lenguaje simblico

Aristteles fue el autor de la obra Organn
Isaac Newton era una persona maravillosa
Carlos Marx fue un representante del Materialismo
Dialctico
e) N.a.
09. Es una proposicin simple :

Son ciertas:
b) 3,4,5
e) 1,4

c) 1,2,5

a) Javier y Enrique estudian en la Universidad

b) Vernica es vecina de Carlos y Rodolfo
c) Per no clasifico al Mundial de Francia 98
d) Jenny y Flor son compaeras de carpeta
e) N.a.

03. De las siguientes oraciones, son proposiciones lgicas:

1. Einsten es el creador de la Fsica Clsica
2. Rocinante es el caballo de Don Quijote
3. Francisco Pizarro fue natural de Inglaterra
4. Ingresar a la Universidad?
5. Ningn nmero par es divisible por dos.

10. De las siguientes proposiciones son compuestas:

1. Melissa, Blanca y Carol son estudiantes
2. Todo tomo no puede ser indivisible
3. Per y Bolivia son pases vecinos
4. Ayer trabaje. Hoy descanso
5. Te amo en cuerpo y alma

Son correctas:
b) 2,3,5
e) 1,4,5

c) 1,3,5

Son innegablemente inciertas:

04. De las siguientes expresiones ,son proposiciones logicas:

a) 1,2,4
d) 3,5

1. EE.UU. se encuentra entre Francia y Espaa

2. Macondo fue la ciudad donde vivi Aureliano Buenda
3. Ojal pudiese ingresar a la Universidad
4. Simn Bolvar fue el hroe de Arica
5. La educacin Peruana es bonita
Son ciertas:
a) Todas
d) 1 y 4

c) 4,5,1

a)
b)
c)
d)

1. Oracin Interrogativa
2. Oracin Aseverativa
3. Frmula Cientfica
4. Enunciado Indefinido
5. Oracin Informativa

a) 1,2,3
d) 2,3,4

b) 2,3,4
e) N.a.

08. De los siguientes enunciados, no representan a una

proposicin lgica:

02. Todas proposicin lgica puede ser:

a) 1,2,3
d) 2,3,5

En tus ojos veo mi futuro

Mas vale pjaro en mano que ciento volando
El Coronel Aureliano muri en una profunda soledad
Todas los caminos conducen a Roma
Espero algn da llegar a conocerte mejor

Son proposiciones lgicas:

Son ciertas:
a) 1,2,3
d) 1,3,4

c) Explicativa

07. Dados los sgtes. enunciados:

CLASE

01. Las proposiciones:

1.
2.
3.
4.
5.

c) Slo 4

06. Si como mucho entonces engordar, cumple la funcin :

CLAVE A

PRACTICA

b) Todas
e) N.a

b) 1,2,4 y 5
e) N.a.

b) 2,5
e) N.a.

c) 2,3,5

11. Las expresiones : (UNT. 1998)

1.
2.
3.
4.

c) 1,4 y 5

Por qu existen tantos postulantes a la UNT?

Soldado Prez, Cuadrase!
El sol es amarillo, adems es anaranjado
Amar es nunca tener que pedir perdn

No son proposiciones lgicas simples:

05. (UNT. 1998) De las siguientes expresiones:

a) Slo 1,3 y 4 b) Slo 2,3 y 4 c) Slo 1, 3

-5-

SAN PEDRO

d) Slo 1,2,4

e) Todas

No son proposiciones lgicas, excepto:

12. No representa a una proposicin relacional:

a) 1,2,3
d) 3,4,5

a)
b)
c)
d)

Vctor y Carmen son novios

Carla, Elissa y Erika estudian juntas
Per esta entre Ecuador y Chile
La matemtica es ciencia formal as como la lgica
tambin lo es.
e) Todas

c) 2,3,5

19. Son proposiciones compuestas:

1.
2.
3.
4.
5.

13. Son proposiciones lgicas simples

1.
2.
3.
4.
5.

b) 1,3,4
e) 2,3,4

La radio es un medio de comunicacin y distraccin

Venus y Marte son planetas de nuestro Sistema Solar
El Per es un mendigo sentado en un banco de oro
La Historia es una ciencia Fctica
Lo Fatal es un poema de Rubn Daro

Egipto pertenece al continente africano.

Leonardo Da Vinci fue fsico y pintor.
Si corro, transpiro.
Jos Carlos Maritegui es el mejor ensayista del Per
Si llueve, las casas se mojan.

Son ciertos:
a) 2,4,5
d) 1,3,5

b) 1,2,3
e) 2,3,5

c) 3,4,5

20. De las siguientes oraciones:

Son correctas, excepto:
a) 1
d) 4

b) 2
e) 5

1. El producto de potencia igual base es otra potencia de la

misma base.
2. La chilindrina es un excelente personaje del Chavo del
Ocho.
3. Solucin es una institucin financiera.
4. Recuperar mi dinero?
5. Ningn nmero primo es divisible por cinco
Son proposiciones lgicas, excepto:

c) 3

14. (UNT 1995) De las proposiciones siguientes es relacional:

a) Ellas son extranjeras
b) Mireya come una manzana
c) Nosotros somos Peruanos
d) Juana es Chimbotana
e) Lee y escribe

a) 1,2,3
d) 1,3,5

a) Sencilla - siempre es relacional

b) Lgica - es expresiva
c) Coligativa - posee conectores lgicos
d) Atmica - se puede separar
e) N.a.

1. Problemtica
3. Compuesta
5. Asertrica

2. Apodctica
4. Individual

De las anteriores afirmaciones son ciertas:

16. La expresin : Algn da lograr ingresar a la Universidad?,

es:

a) 1,2,3
d) 2,4,5

1. Una proposicin lgica

2. Oracin informativa
3. No es proposicin lgica
4. Oracin indefinida
5. Oracin Directiva

b) 1,3,5
e) 3,4,5

c) 2,3,4

22. Dados los siguientes enunciados:

1. Cuando el ro suena es porque piedras trae.
2. Slo Dios sabe cunto te quiero.
3. Aquella noche me la llev al ro creyendo que era
mozuela.
4. Algn da llegar a ser un gran profesional.
5. Robin es el compaero inseparable de Batman.

Son ciertas:
b) 1,3 y 4
e) Slo 3

c) 2 y 4

21. La proposicin: Si Grau es peruano necesariamente es

americano. Es:

15. Una proposicin ........................... se caracteriza porque

....................................

a) 2,3 y 5
d) 3 y 5

b) 2,3,5
e) 1,3,4

c) 2,4 y 5

No son proposiciones lgicas:

17. De los siguientes enunciados, es una proposicin lgica:
a) 1,2,3
d) Todas

a) Mira que hermoso pas!

b) A mal tiempo buena cara.
c) La razn es una facultad humana.
d) Rie al perro.
e) Espero que ingreses a la Universidad.

b) 2,3,4
e) Ninguna

c) 3,4,5

23. Analizando los enunciados:

I. x = y si x = 2
II. x > 0 , x N
III. p q - q - p

18. Las siguientes expresiones:

1. Alejandro Toledoi es presidente del Per.
2. H 2 O 2 es la frmula del agua oxigenada.

Podemos decir que:

1. Hay dos proposiciones lgicas
2. II es un enunciado abierto
3. I es una proposicin compuesta
4. III es una proposicin relacional

3. El da de ayer llovi en Trujillo.

4. Dios mo! que pobreza.
5. Caperucita Roja se escap del lobo.

-6-

SAN PEDRO

5. Slo hay una proposicin lgica

2.
3.
4.
5.

Son ciertas:
a) 1 y 2
d) 4 y 5

b) 2 y 4
e) 1 y 4

c) 2 y 5
Son ciertas:

24. No representa a una proposicin lgica:

a)
b)
c)
d)
e)

a) 1,2,3
d) 3,4,5

Giovana es una mujer supersticiosa

Ella es supersticiosa en el amor
Es supersticiosa desde su niez
Las supersticiones no son proposiciones lgicas
N.A.

1.
2.
3.
4.
5.

1. (a b)2 a 2 2ab b 2
2. Todo S es P
3. c 2 a 2 b 2 ; c=hipotenusa

c) 1,3,5

01. Representa a una proposicin lgica:

c) 2,3,5

a)
b)
c)
d)

Espera algn da estar cerca de ti.

El amor es el ms sublime sentimiento.
Del odio al amor hay un solo paso.
El que no ama no ha conocido a Dios, por que Dios es
amor.
e) El amor es una facultad humana.

El sol es el centro del sistema planetario

Las aves trinan al atardecer en primavera
Oh, mi amor. cunto te quiero!
Romeo amo apasionadamente a Julieta
Si se estudia lgica, se ingresa a la universidad

02. Son caractersticas de las proposiciones:

1.
2.
3.
4.
5.

27. De las siguientes proposiciones lgicas:

San Martn y Bolvar son contemporneos
Algunos animales no poseen extremidades
Carlos es estudioso y respetuoso
Roxana y Edith se escriben
Scrates y Platn son filsofos

Pueden ser vlidas o no vlidas

Son aseveraciones
Es independiente del lenguaje
Transmiten informacin
Es la idea o mensaje que transmite una oracin

Son inciertas:
a) 1 y 2
d) slo 1

Son atmicas :
a) 1 y 4
d) Solo 4

b) 2,4,5
e) N.A.

EJERCICIOS DE AUTOEVALUACIN

26. Cul de las siguientes expresiones es una proposicin

molecular?

1.
2.
3.
4.
5.

Alemania y Japn son pases fronterizos

Estados Unidos y Francia son potencias econmicas
Los osos polares viven en los trpicos
Sus componentes son hidrgeno y oxgeno
Los virus son inmortales

a) 1,2,3
d) 2,3,5

No son inciertas:

a)
b)
c)
d)
e)

c) 1,4,5

Son ciertas:

a, b = catetos )
4. x Z , x > 0
5. a + b = 50 siempre y cuando a, b R x

b) 1,2,3
e) todas

b) 2,3,5
e) Ninguna

30. No son proposiciones simples:

25. Son proposiciones lgicas

a) 1,3,4
d) 1 y 4

El Huscar fue hundido el 12 de Octubre de 1879

El Apolo XI aluniz el ao 1969 por primera vez
Las culturas preterrcolas sufrieron grandes hecatombes
Las culturas prehispnicas conocieron la orfebrera.

b) 2 y 3
e) slo 5

c) 3 y 4

03. Una proposicin lgica no puede ser:

b) 1,4 y 5
e) 4 y 5

c) 2,3 y 5

1. Oracin Imperativa 2. Oracin Indefinida

3. Oracin Declarativa 4. Oracin Descriptiva
5. Oracin Expresiva

28. No son proposiciones:

Son inciertas:
1. Aureliano Buenda fue contemporneo de Francisco
Bolognesi.
2. Augusto B. Legua fue hermano menor de Jos Glvez.
3. Los cocodrilos son mamferos.
4. Los centauros fueron carnvoros.
5. Los albatros realizan vuelos migratorios.

a) 1,2,5
d) 3 y 4

c) 3 y 5

04. El enunciado: Para todo x real, este es siempre negativo.

1. Es proposicin
2. No es proposicin
3. Enunciado abierto
4. Oracin informativa
5. Puede ser verdadero o falso

Son no ciertas:
a) 1,3,4
d) Todas

b) 2 y 4
e) 1,3,4

b) 2,3,5
e) 2,4,5

c) 1,2,3
Son ciertas:
a) 2,3,5
d) 4 y 5

b) 2,3,4
e) 2 y 5

c) 1 y 4

05. Es una proposicin relacional:

29. Son proposiciones:

a) La materia es equivalente a la energa.

1. El caballo de Troya tuvo un elevado costo marginal

-7-

SAN PEDRO

b) Arturo, Miguel y Csar estudian Ingeniera Industrial

e) N.A.
13. La oracin: Algunos Universitarios son necesariamente
profesionales, ser:

c) El Per es un pas no desarrollado.

d) Carla y Elisa ingresaron a la misma facultad
e) El espritu y el alma son la misma cosa.

1. Particular
4. Indefinida

06. Representa a una proposicin predicativa:

a)
b)
c)
d)
e)

2. Asertrica 3. Apodctica
5. Problemtica

Son ciertas:

Los felinos son ms carnvoros que los primates.

Trujillo es una ciudad maravillosa.
Amn es un trmino que significa as sea.
Tener un buen amigo es el ideal de todo hombre.
N.A.

a) 1 y 2
d) 1 y 4

b) 1 y 3
e) N.A.

c) 1 y 5

14. Si: a = b a + c = b + c es un enunciado:

07. Es una proposicin coligativa:

a) Asertrico b) Apodctico
d) Problemtico e) N.A.

a) Nunca jams osar tocarte.

b) Antonio y Andrea se escriben por internet
c) El peso de los cuerpos es equivalente a la fuerza de
atraccin
d) Te amo en cuerpo y alma
e) N.A.

c) Indefinido

15.Existe vida en otras galaxias, ser:

a) Asertrica
d) Universal

b) Problemtica c) Apodctica
e) Indefinida

08. Representa a una proposicin compuesta:

1.
2.
3.
4.
5.

Ayer trabaj. Hoy descanso.

Es divertido cantar as como bailar.
El que yo te mire no significa que yo te quiera.
Alex es el hijo de Percy con Flor
Los opositores y oficialistas del gobierno nunca se ponen
de acuerdo.

Son ciertas:
a) 1,2,3,5
d) Todas

b) 1,4,5
e) N.A.

c) 1,3,5

09. Las proposiciones ......... son aquellas que ......................

1. Lgicas pueden ser verdaderas o falsas
2. Coligativas carecen de conectores
3. Sencillas no tienen conectores
4. Simples tienen conectores
5. Lgicas siempre tienen sujeto explcito
Son correctas:
a) 1 y 5
b) 2 y 4
c) 3 y 1
d) 1 y 5
e) 3 y 5
10. Representa a una proposicin simple:
a) Mi anhelo es trabajar por el Per
b) La seleccin nacional de ftbol no clasific al mundial
c) El amor es el ms sublime sentimiento
d) Todas
e) N.A.
11. Es una proposicin relacional:
a) Nunca podr dejar de amarte.
b) Violeta es una joven muy hermosa.
c) Vanessa y Aida se sientan juntas.
d) Javier y Fernando estudian en la UNT.
e) N.A.
12. Es una proposicin atmica:
a) Per y Ecuador son pases sudamericanos.
b) As como llueve as tambin nieva.
c) Soy pobre pero feliz.
d) Pizarro y Almagro fueron conquistadores

-8-

SAN PEDRO

Formalizacin de Proposiciones Lgicas

Una frmula proposicional adopta el nombre del conector de

mayor jerarqua.

El anlisis del pensamiento formuladas en castellano o en

cualquier otra lengua natural son difciles de evaluar,
debido a la ambigedad que a veces sufre nuestro
lenguaje. El pensamiento es imperceptible por nuestros
sentidos, de all la dificultad de estudiarlos; para ello es
necesario crear un Lenguaje Simblico Artificial
(formalizacin) el mismo que represente perfectamente el
enunciado en cuestin (traduccin).

Ejemplo:
-pq-r
..... frmula condicional
- p q r -s ..... frmula bicondicional
Nota: La jerarqua de conectores pierden fuerza cuando aparecen
los signos auxiliares de agrupacin: ( ), [ ], { }.

Es Aristteles quien por primera vez hace uso de ciertas

abreviaturas para facilitar su labor al proponer la Teora del
Silogismo, desarrollando la lgica formal; hecho que permiti se le
considerara como "El padre de la Lgica Formal Antigua.

LOS

CONECTORES

LGICOS

I. El Negador
1. Smbolos: - A, A, A, A

La formalizacin consiste en representar simblicamente la

relacin que existe entre las diferentes formas del pensamiento
mediante el uso de variables y constantes; las mismas que fueron
descubiertas ms adelante por Gotlob Frege.

2. Se lee: no
3. Tipos de Negadores:

I. Smbolos usados en la formalizacin

A) Negador Interno: No, nunca, jams se le caracteriza

fundamentalmente por su carcter dbil, slo afecta a la
proposicin simple ms cercana.

1. Variables proposicionales

Letras minsculas que representan a una proposicin

simple (p, q, r, ...).

B) Negador Externo: No es cierto que, es mentira que, es

objetable que son de carcter ms fuerte que los negadores
internos; generalmente se encuentran adelante de la oracin,
es por ello que su representacin queda indicada
explcitamente fuera de un parntesis.

Ejemplo:
Alfredo es profesor de Raz. Lgico: p
Cristbal Coln descubri Amrica: q
2. Variables Metalingsticas

Nota:
- Si un trmino es antecedido por un prefijo de sentido
negativo; ste se le considera como un negador interno.

Letras maysculas que son usadas en la representacin

de frmulas u operaciones lgicas (A, B, C, ...)
Ejemplo:
AB AvB
(A v A) A

Ejemplo:
Pablo es una persona desleal: - p
Carlos Manrique es un empresario inmoral: -q

3. Constantes u operadores lgicos

- Las expresiones lingsticas de doble negacin (inobjetable,

innegable, no es inconcebible) se formalizan como tal.

Smbolos que representan y detallan la

relacin que hay entre las proposiciones, regulan la
construccin de una frmula lgica, por ejemplo: si los
cuerpos se calientan entonces dichos cuerpos se dilatan.

Ejemplo:
Carmen inobjetablemente es profesora: p
No es mentira que Constantino fuese emperador Romano:

Su estructura lgica es: si ............ entonces ..........

q.
El operador lgico es: ()
El Negador : A

Las proposiciones son:

p = los cuerpos se calientan.
q = los cuerpos se dilatan
La relacin entre las proposiciones: causa efecto.
Su formalizacin correcta: p q.

Nota:
Cabe aclarar que cada parte de la lgica formal trabaja con sus
propios operadores lgicos; as por ejemplo, la Lgica
Proposicional emplea los Conectores Lgicos.
4. Jerarqua de los conectores lgicos

(v)

(v)

operadores
de la lgica proposicional.

-9-

No A, nunca A, jams (A) (*)

Es incompatible que A
Es inconcebible que A
No ocurre que A
No es verdad que A
No es el caso que A
No acaece que A
Es mentira que A
Es inadmisible que A
De ninguna forma se da A
En forma alguna A
Carece de todo sentido A
De ningn modo A
En modo alguno A
Es incorrecto que A
Es incierto que A
Nadie que sea A
Es objetable que A

SAN PEDRO

Es absurdo que A
El falso que A
Es refutable que A
Es falaz que A

Ejemplo:
- Per y Ecuador se pondrn de acuerdo salvo que
intervenga EE.UU. : p v q
- Maana estudiaremos Qumica o sino estudiaremos Fsica:
pvq

(*) Negador Interno

II. El Conjuntor

Nota: Cuando aparece una disyuncin al lado de un conjuntor

o viceversa, la frmula lgica ser un Disyuntor dbil.

A) Smbolos: A B, A B, A x B, A.B, AB

Ejemplo:
Las aves poseen pico excepto que tambin alas: p v q
Los nmeros son reales y/o complejos: p v q.
El Disyuntor Incluyente: A B

B) Se lee: ................. y ..................

C) Forma de Identificarlo: Al conjuntor tambin se le llama
Compatibilizador porque une a las proposiciones en un
mismo contexto; es decir ambas proposiciones se cumplen
simultneamente.

Ejemplo:
Per as como Ecuador son pases demcratas:
p q
El tomo posee neutrones, protones tambin electrones: p
qr
Roxana estudia al mismo tiempo que escucha msica: p q
Nota: Existen algunos trminos de conjuncin que merecen
una mencin particular:
- No slo la matemtica es precisa sino tambin universal:
pq
- El ser Leninista es compatible con el ser Marxista:
pq
- La luna es un satlite no obstante gira alrededor de la tierra:
pq

IV. El Disyuntor Fuerte (Excluyente)

A) Smbolos: A V B, A B, A B, A
B, A B
B) Se lee: ....... o ....... (en sentido excluyente)
o ............ o ............

El Conjuntor : A B

A o B (sentido incluyente)
A a menos que B
Amenos que A, B
A salvo que B
A excepto que B
A o tambin B
A o en todo caso B
A o bien B
A a no ser que B
A o incluso B
A y bien o tambin B
Al menos uno de los dos A o B
A o sino B
A alternativamente B
A y/o B

AyB
A aunque B
A pero B
A sin embargo B
A incluso B
A es compatible con B
A as como B
A del mismo modo B
A an cuando B
A tambin B
A de la misma forma que B
A al igual que B
Tanto A como B
Siempre ambos A con B
A no obstante B
No slo A sino tambin B
A as mismo B
A al igual que B
A a pesar de B
A a la vez B
A ms B
A con B los dos a la vez

C) Forma de Identificarlo: Al exclusor o bidisyuntor se le

identifica por que acepta una y solo una de las dos
proposiciones, nunca ambas a la vez; es decir la
compatibilidad queda excluida o descartada.
Ejemplo:
- Eres campen o subcampen: p v q
- O estudias o trabajas: p v q
Nota: Algunos disyuntores incluyentes pueden venir
acompaados de las palabras: slo, nicamente, solamente.
Dando mayor fuerza al inclusor transformndola en exclusor
Ejemplo.
- Este ao viajar al extranjero salvo que slo viaje a Lima: p
vq
- A menos que solamente seas Ingeniero, sers
matemtico: p v q

El Disyuntor excluyente: A v B

III. El Disyuntor Dbil (Incluyente)

A) Smbolos: A v B, A + B.
B) Se lee: ....... o ...... (en sentido incluyente).
C) Forma de Identificarlo: Al inclusor se le reconoce porque el
trmino nos sugiere aceptar una de las dos proposiciones. Sin
embargo la posibilidad que una compatibilidad queda
aceptada o admitida.

- 10 -

A o B (sentido excluyente)
O bien A o bien B
O solo A o solo B
OAoB
A a menos que solamente B
A salvo que nicamente B
A excepto que slo B
Amenos que slo A, B

SAN PEDRO

A o bien necesariamente B
A o exclusivamente B
A no es equivalente a B
A no es idntico a B
Salvo que A o B
A no es lo mismo que B
A o tan solo B

V. El Condicional
A) Smbolos: A B , A B
B) Se lee: Si .............. entonces .............

El Replicador:

C) Forma de Identificarlo: Una proposicin condicional se

caracteriza porque presenta una causa y un efecto; las
mismas que pueden estar en cualquier orden: La causa puede
ir primero (Implicador) o tal vez puede ir en segunda instancia
(replicador).
Si hay inversin interna entonces mejorar nuestra economa

causa
efecto

consecuente
antecedente

condicin
condicin
suficiente
necesaria

A B (implicacin inversa)

Nota:
El sentido del operador lgico es de causa a efecto.
Ejemplo:

Siempre que llueva

entonces mejorarn

las cosechas: p q (implicador).

M ejorarn las cosechas

siempre que llueva:

p q (replicador).
El Implicador:
A B (Implicacin Directa)

A implica a B
A es innecesario para B
A es condicin suficiente para B
A slo si B
A luego B
A trae como consecuencia a B
De A deviene B
Partiendo de A llegamos a B
De A inferimos, deducimos, coligamos B
Para A es condicin necesaria B
A slo cuando B
Es suficiente A y B necesario
En el caso que A en tal sentido B

Si A entonces B
Siempre que A por consiguiente B
Ya que A bien se ve que B
Dado que A por eso B
En cuanto A por tanto B
Porque A por eso B
Como A es evidente B
a condicin de que A , B
A de manera que B
A de modo que B
A es suficiente para B
A por lo tanto B
Cada vez que A,B
Con la condicin de A esto trae consigo B
Cuando A , B
Es una condicin suficiente A para B
Para A es necesario B
Porque A,B
Si A ,B
Siempre que A por tanto B
Una condicin necesaria para A es B
Con tal que A es obvio que B
Toda vez que A en consecuencia B
A consiguientemente B
Dado que A por lo cual B
En la medida que A de all B
En virtud de que A entonces B

Slo si A, B
Slo cuando A, B
Solamente porque A, B
A si B
A porque B
A dado que B
A ya que B
A siempre que B
A cada vez que B
A a condicin de que B
Es una condicin necesaria A para B
Una condicin suficiente para A es B
Solo si A , B
A dado que B
A se concluye de B
A , si B
A supone que B
A ya que B
Para A es suficiente B
A puesto que B
A deviene de B
A es condicin necesaria para B
A es insuficiente para B
Es necesario A para B
Es insuficiente A para B
A cada vez que B
A est implicado por B
A con la condicin de que B
Si solamente A cada vez que B
A debido a que B
A depende de B
A sigue de B
nicamente si A, B

VI. El Bicondicional
A) Smbolos:

A B , A B , A B.

B) Se lee: .............. si y slo si .............

C) Forma de Identificarlo: Este trmino de enlace no solo seala
una consecuencia en doble sentido; sino tambin informa una
equivalencia existente entre las dos proposiciones.
Ejemplo:
Los cuerpos chocan porque y solo porque existe una fuerza
que los atrae: p q.
El que yo te sonra es lo mismo que yo te enamore: p q.

- 11 -

SAN PEDRO

El Biimplicador: A B

[- p v (q r s)]
CLAVE B

A si y slo si B
A por lo cual y segn lo cual B
A cuando y slo cuando B
A cada vez que y slo si B
Si y slo si A, B
A se define lgicamente como B
A si de la forma B
Porque y solamente porque A, B
Es suficiente A para que suficientemente B
Es necesario A para que necesariamente B
A es condicin suficiente y necesaria para B
A siempre que y slo cuando B
Siempre que A y siempre que B
A es equivalente a B
A es lo mismo que B
A es idntico a B
A implica y est implicado por B

03. Jams en invierno hace calor, an cuando en verano

llueve al igual que hay eclipse asimismo hay
evaporacin de agua tal como no hay granizo, se
simboliza:
a) (- p - q - r - s - t)
b) (- p q r - s - t)
c) (- p q r - s)
d) (- p q r s - t)
e) N.A.
SOLUCIN
Definiendo las variables de las proposiciones simples:

El Inalternador: A B

* Jams en invierno hace calor : (-p)

* En verano llueve : (q)
* Hay eclipse : (r)
* Hay evaporacin de agua : (s)
* No hay granizo : (-t)

Ni A ni B
No A y no B

El Incompatibilizador: A / B

No A o no B

Uniendo las proposiciones mediante los conectores de la

conjuncin :
(- p q r s - t)

EJERCICIOS RESUELTOS

CLAVE D

01. La proposicin: la lima, naranja, limn no es cierto que sean

ctricos, se simboliza:
a) (p q r)
c) (- p - q - r)
e) n.a.

04. En modo alguno sucede que, no haya aumentado la

produccin armamentista excepto que tambin sea
absurdo que los pases latinos hayan empobrecido
ms, se formaliza:

b) (p q - r)
d) [(- p - q) v r]

SOLUCIN
Desdoblando las proposiciones simples tenemos:
* la lima no es cierto que sea ctrico (- p)
* la naranja no es cierto que sea ctrico (- q)
* el limn no es cierto que sea ctrico (- r)

a) (- p v q)

b) (- p v q) c) (p v q)

d) (- p v q)

e) N.A.

SOLUCIN
Defiendo las variables de las proposiciones simples :

Uniendo las tres proposiciones simples mediante el conector

conjuntor:
(- p - q - r)

CLAVE C

02. o bien inexiste igualdad econmica a no ser que nicamente

haya globalizacin, virtualizacin tanto como robotizacin del
proceso productivo, se formaliza:
a) [-p v (q r s)]
c) [p v (q r s)]
e) N.a.

No hay aumento de la produccin armamentista : (p)

Es absurdo que los pases latinos hayan
empobrecido ms : (-q)

Uniendo las proposiciones simples mediante en disyuntor

incluyente y adems tiene un conector externo : (- p v q)

b) [- p v (q r s)]
d) p v (q r s)

CLAVE B

SOLUCIN

05.La frmula: - (- p - q r) ; se traduce:

Definiendo las variables de la proposicin establecida :

*inexiste igualdad econmica (-p)
*hay globalizacin del proceso productivo (q)
* hay virtualizacin del proceso productivo (r)
* hay robotizacin del proceso productivo (s)

a) Es falso que, ni la pulga ni el chinche ni los piojos

sean insectos.
b) No es veraz que, la pulga tambin el chinche no
sean insectos pero tambin lo son los piojos.
c) Es innegable que, ni la pulga ni el chinche son
insectos pero s lo es el piojo.
d) Todas

Uniendo las proposiciones simples mediante los conectores

del disyuntor excluyente e incluyente y del conjuntor:

- 12 -

SAN PEDRO

e) B y C
Uniendo las tres proposiciones simples mediante
conectores condicional y conjuntor : p (q r)

SOLUCIN

CLAVE C

Formalizando cada una de las alternativas que tiene

proposiciones:

08. Siempre que y slo cuando deje de haber movimiento

de traslacin entonces es mentira que habr
movimiento de rotacin de la Tierra, se formaliza:

a) - (- p - q -r)
b) - (- p - q r)
c) - - (- p - q r)

a) A - B
c) A - B
e) N.A.

Por lo tanto la alternativa que tiene la traduccin

correcta es la alternativa B

*
*

06. El Per es considerado un pas econmicamente

marginal al igual que el ms deficiente en competencia
matemtica, y bien o tambin el penltimo en
competencia de lenguaje, se formaliza:
b) (A B) v C

c) A (B v C)

d) (A - B) v C

b) A - B
d) A (B - C)

SOLUCIN
Definiendo las variables de las proposiciones simples :

CLAVE B

a) (A B C)

los

Deje de haber movimiento de traslacin:

(-A)
Es mentira que habr movimiento de rotacin de la Tierra :
(-B)

Uniendo las proposiciones simples mediante el conector

bicondicional : A - B
CLAVE B

09. Debido que los escritores son imaginativos, creativos

al igual que persistentes; en tal sentido son famosos e
iconoclastas, se simboliza:

e) N.A.

a) (A B C) (D E)
b) (A B C) (D v E)
c) [(p q) r] (s t)
d) (p v q r) (s t)
e) N.A.

SOLUCIN
Definiendo las variables de las proposiciones simples:

SOLUCIN

*
*
*

El Per es considerado un pas econmicamente

marginal : A
El Per es considerado el ms deficiente en
competencia matemtica : B
El Per es considerado el penltimo en

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)

competencia de lenguaje : C

Uniendo las cinco proposiciones simples mediante los

conectores del conjuntor y del condicional :

Uniendo las tres proposiciones simples mediante los

(A B C) (D E)

conectores del conjuntor y del disyuntor : (A B) v C

CLAVE A

CLAVE B

10. La frmula: (B A), se traduce como:

07. Puesto que hay globalizacin se deduce que tanto hay

pases altamente tecnologizados cuanto pases
bastantes atrasados en ciencia Se formaliza:
a) p (q r)
c) p (q r)
e) N.A.

1.
2.
3.
4.
5.

b) p (q r)
d) p (q r)

Son falsas:

SOLUCIN
Definiendo las variables de las proposiciones simples :
*
*
*

Porque las aves tienen alas, vuelan.

Siempre que haya huracanes, habr devastacin.
Ya que el hombre es sensible luego llora.
De la existencia de ADN deviene la vida.
En el caso que el dlar suba, se encarecern los
precios de los productos.

a) 1,2,3
d) Todas

Hay globalizacin : (p)

Hay pases altamente tecnologizados : (q)
Hay pases bastante atrasados en ciencia : (r)

b) 2,3,4
e) N.A.

c) 3,4,5

SOLUCIN

- 13 -

SAN PEDRO

Formalizamos las proposiciones dadas en el problema:

1) (A B)
4) (A B)

a) (p v q) (- C D)
b) (p q) (- C D)
c) (p v q) (C D)
d) (p v q) (- C D)
e) N.A.

2) (A B) 3) (A B)
5) (A B)

Nos damos cuenta que todas las proposiciones son

condicionales directas.
Por lo tanto ninguna se traduce a la frmula establecida.

08. La proposicin: Es inobjetable que sea necesario tener

experiencia para mejorar la calidad. Pero es suficiente mejorar
la calidad para que las ventas puedan aumentar. Se
formaliza:

CLAVED

a) (A B) (B C)
b) - - (A B) (B C)
c) - - (A B) (B C)
d) - - (A B) (B C)
e) - - (A B) (B C)

PRACTICA DE CLASE
01. La formalizacin de la proposicin: No es cierto, que el Per
no sea democrtico y sea autoritario, es:
a) (A B)
d) - B - - A

b) - - A B
e) N.A.

c) - (- A B)

10. La proposicin: Como Jenny, Antonio y Enrique son

hermanos es evidente que viven en la misma casa. No
obstante solo si existe un cuarto habitante, este es el hermano
menor. Se formaliza como:

02. La proposicin: En cuanto la teora de la relatividad sostiene

que la gravedad y el movimiento acelerado son equivalentes,
consecuentemente se niega todo movimiento absoluto. Se
formaliza:
a) (A B) C
c) (A B) - C
e) N.A.

a) (p q) (r s)
b) (p q) - (r s)
c) [(p q r) s] (t u)
d) [(p q r) s] (t u)
e) N.A.

b) (A B) C
d) A - B

11. La proposicin: Dado que si la lgica es una ciencia formal,

estudia la validez del razonamiento; en consecuencia es til
para la sociedad adems para la comunidad cientfica. Se
formaliza:

03. La proposicin: Slo si es falso que la oferta favorece a la

demanda, la calidad del producto tendr que mejorar. Sin
embargo bajamos el precio a menos que solamente
mejoremos la calidad del producto. Se formaliza:

a) (p q) (r s)
b) (p q) (r v s)
c) (p q) (r s)
d) (p q) (r s)
e) (p q) (r s)

a) (A B) (C V B)
b) (A B) (C V B)
c) (-A B) (C V B)
d) (-A B) (C V B)
e) N.a.

12. La proposicin: Dado que la materia as como la energa, no

se crea ni se destruye; es obvio que ambos solo sufren
transformacin. Se formaliza:

04. Si la verruga apareci en el ltimo siglo, su descubridor ni fue

Alcides Carrin ni Luna Pizarro.
a) A ( B C )
c) A ( B C )
e) A B C

b) A ( B C )
d) A ( B C )

a) ( A B) C
b) (A B) C
c) [( A B) ( C D)] (E F)
d) [( A B) ( C D)] E
e) N.A.

05. La proposicin: Es indudable que los Diagramas de Venn se

usan en Lgica de Predicados excepto que se usen en Lgica
Proposicional.
Se formaliza como :
a) (p q)
c) (p q)
e) (p q)

13. La correcta formalizacin de la proposicin: Es innecesario

estudiar Razonamiento Lgico para necesariamente ingresar
a la Universidad. Sin embargo dominar aptitud es condicin
suficiente para tener un buen porcentaje de preguntas
aseguradas. Pero slo si tienes un buen porcentaje de
preguntas aseguradas, estudiars Raz. Lgico.

b) (p q)
d) (p q)

06. O bien el asma afecta a los pulmones o bien afecta al

corazn; pero no es el caso que afecte al corazn del mismo
modo a los pulmones. Se formaliza :

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)

a) ( A B ) - ( B A )
b) ( A B ) ( A B )
c) ( A B ) ( A - B )
d) ( B A ) ( A - B )
e) ( A b ) ( A B )

14. La proposicin: Siempre y solo cuando las proposiciones no

puedan ser enunciados abiertos, diremos que las
supersticiones tampoco lo sern, sin embargo es falso decir
que nunca las creencias sern proposiciones dado que no
admiten demostracin cientfica. Por lo tanto, si las creencias
fueran demostrables cientficamente, las supersticiones seran
consideradas como proposiciones lgicas. Se formaliza:

07. La formalizacin correcta de: Es inconcebible pensar que,

Benito cometi este crimen a no ser que sea por despecho.
Sin embargo nunca tuvo problemas con su esposa dado que
ella fue una mujer trabajadora es:

- 14 -

SAN PEDRO

c) {[(- p q) r] q} s
d) {[- ( -p q) r] q} s
e) {[-(p q) r] q} s

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)

20. La proposicin: slo si existe dedicacin

docente, la institucin adquiere prestigio; no
obstante, es suficiente que los alumnos
ingresen para tener trabajo. Se formaliza
como:

15. La proposicin lgica : Existe movimiento material cada vez

que y slo cuando existe movimiento energtico; pero si no
existe movimiento material, existe el energtico, asimismo, si
existe movimiento material, no hay el energtico. Se
formaliza:

a) (p q) (r s)
c) (p q) (r s)
e) (p q) (r s)

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.

21. La proposicin: El Per es subdesarrollado

porque la economa es deprimente. Adems,
los salarios aumentan slo si hay voluntad del
gobierno. Se formaliza como:

16. La formalizacin 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, traers slo una de las tres es :
a)
b)
c)
d)
e)

a) (p q) (r s)
c) (p q) (r s)
e) (p q) (r s)

( p q ) (r p) - (p q r) (p q r )
(p q) ( r q) - (p q r ) (p qr)
(p q) (r q) -(p q r) (p q r)
( p q r ) ( p q r ) ( p q r )
N.A.

b) (p q) (r s)
d) (p q) (r s)

22. La proposicin: Slo si los caracoles son

moluscos, los calamares tambin lo son; a no
ser que, los peces son vertebrados al igual
que los batracios. Se formaliza como:

17. O bien Andrmeda es una constelacin o bien es una galaxia

y est cerca de la tierra; aunque es absurdo pensar que
Andrmeda sea una constelacin. En consecuencia
Andrmeda es una galaxia as como est cerca de la tierra.
Su formalizacin correcta es :

a) (p q) (r s)
c) (p q) (r s)
e) (p q) (r s)

a) A B ( C -A ) B C
b) A ( B C ) - ( A ) ( B C )
c) A ( B C ) - A B C
d) A B C -A B C
e) N.A.

b) (p q) (r s)
d) (p q) (r s)

23. Dada la proposicin: Pedro y Janet son

esposos o primos hermanos. Pero no son
esposos, en consecuencia son primos
hermanos. Se formaliza como:

18. La proposicin Si el primer nativo es un

poltico, el tercer nativo dice la verdad. Si el
tercer nativo no dice la verdad, el primer
nativo no es un poltico. Por consiguiente el
primer nativo es un poltico porque el tercer
nativo no es un poltico. Se formaliza como:
a)
b)
c)
d)
e)

b) (p q) (r s)
d) (p q) -(r s)

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

b) [(p q) -p] q
c) [(p q) -p] q
d) [(p q) -p] q
e) N. A.

24. La proposicin: Si un hombre es honrado no

tiene problemas personales. Este hombre no
tiene problemas. En consecuencia, es
honrado pero no tiene dinero. Se formaliza
como:

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

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

19. La
proposicin:
Es
falso
que
sea
indisciplinado y ocioso, porque estudio en la
Universidad.
Pero
soy
ocioso;
en
consecuencia nunca ser profesional. Se
formaliza como:

a)
b)
c)
d)
e)

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

[(p -q) -q] (p -r)
[(p -q) -q] (p -q)
[(p -q) -q] (p -r)
N. A.

25. La proposicin: A menos que tenga dinero,

volar a Japn o Inglaterra. Pero no tengo

a) {[(- -p q) r] q} s
b) {[(- -p q) r] q} s

- 15 -

SAN PEDRO

c) [(p -q) -q] (p -q)

d) [(p -q) -q] (p -r)
e) N. A.

dinero. De all que viajar a Brasil. Se

formaliza como:
a)
b)
c)
d)
e)

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

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

07. La proposicin: Es mentira que, si el eje de la Tierra se inclina

cada 27 aos, los das sern ms cortos. Adems, si es
mentira que el permetro ecuatorial de la Tierra se ensancha,
las estaciones sern ms prolongadas. 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)}

EJERCICIOS DE AUTOEVALUACIN
01. Una empresa persigue un fin lucrativo porque produce
dividendos o salvo que nicamente persiga un fin mercantil.
Se formaliza como:
a) (AB) v B
d) (AB) v C

08. La proposicin: El que los razonamientos sean vlidos est

implicado por el que su esquema formal es tautolgico, sin
embargo es suficiente que cumplan con las Reglas de
Inferencia para poder demostrar su validez formalmente.
Tiene como frmula:

b) (AB) v A c) (BA) v C
e) ( AB) v C

02. Un juicio apodctico es analtico, pero tambin es necesario y

forzoso. Por eso usan lenguajes simblicos. Se formaliza
como:
a) [Av(AB)]D
c) [A+(B+C)] D
e) [A(BC)] D

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)

b) [A (BC)]D
d) [A (AB)]D

09. La proposicin: Siempre que el medio sea homogneo, la luz

se propaga en lnea recta; en consecuencia es visible la
formacin de sombra y penumbra; adems la formacin de
imgenes en la cmara fotoelctrica. Se formaliza como:

03. La proposicin: Los mitos al igual que las leyendas no son

proposiciones lgicas, de ello se infiere entonces que slo son
oraciones literarias.
Su formalizacin es:

a) (A B) [(C D) v E]
b) (A B) (C v D)
c) (A B) [(C D) E]
d) (A B) [(C v D) E]
e) (A B) [(C D) E]

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 proposicin Si el primer nativo es un
poltico, el tercer nativo dice la verdad. Si el tercer nativo
no dice la verdad, el primer nativo no es un poltico. Por
consiguiente el primer nativo es un poltico porque el tercer
nativo no es un poltico. Se formaliza como:
a)
b)
c)
d)
e)

10. Formalizar: Si te alimentas, no enfermars; si no te alimentas,

no enfermars y faltars a clase. Por lo tanto si vas a clase no
enfermaste cuadro. Se formaliza:
a) [(p-q)(-qqr)] (-p r)
b) [(p-q)(-pqr)] (p r)
c) [(p-q)(-pqr)] (-r p)
d) [(p-q)(pqr)] (-r -p)
e) [(p-q)(-p(qr)] (-r -q)

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

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

11. La proposicin: Si caigo, me levanto. Si me levanto, camino.

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

05.
La proposicin: Es falso que sea
indisciplinado y ocioso, porque estudio en la Universidad.
Pero soy ocioso; en consecuencia nunca ser profesional.
Se formaliza como:
a)
b)
c)
d)
e)

a)
b)
c)
d)
e)

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

[(pq)(qr](pr)
[(pq)(qr)](pr)
[(pq)(qr)](pr)
[(pq)(qr)](pr)
N.A.

12. Dada la proposicin: 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 formalizacin 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.

06.
La proposicin: Si un hombre es
honrado no tiene problemas personales. Este hombre no
tiene problemas. En consecuencia, es honrado pero no
tiene dinero. Se formaliza como:

13. La proposicin: Siempre que y slo cuando haya explosin

nuclear, habr radioactividad. Sin embargo, al haber
radioactividad se colige que habr mutaciones. De all que la

a) [(p -q) -q] (p -r)

b) [(p -q) -q] (p -r)

- 16 -

SAN PEDRO

explosin nuclear sea

mutaciones, se simboliza

condicin

suficiente

para

las

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)
b)
c)
d)
e)

[(A v B) (A C) (B D)] A
[(A B) (A C) (B D) ] A
[(A v B) (A C) (B D)] E
[(A B) (A C) (B D)] E
[(A B) (A C) (B D)] E

15. Es necesario que haga fro para que llueva inclusive es

suficiente que sea invierno para que haga fro. Si llueve luego
hace fro; por tanto estamos en invierno. Se formaliza como:
a)
b)
c)
d)
e)

[(A B) (C A) (B A)] C
[(A B) (C v A) (B A)] C
[(B A)(C A) (B A)] C
[(B A) (C A) (B A)] C
[(B A) (C A) (B A)] C

- 17 -

SAN PEDRO