“UNIVERSIDAD NACIONAL “JORGE BASADRE GROHMANN” LÓGICA

CENTRO PREUNIVERSITARIO
FORMALIZACION PROPOSICIONAL
CEPU CICLO I-2023 06

TEORIA A incluso B
Es el procedimiento mediante el cual se A tanto como B
identifican proposiciones simples y estructuras
lógicas proposicionales, asignándoles a cada uno A así mismo B
un determinado símbolo del lenguaje de lógica
A también B
proposicional organizándolos con signos de
agrupación. A al igual que B
La formalización o simbolización de No solo A también B
proposiciones es el proceso de codificación del
A no obstante B
pensamiento a fórmulas para su respectivo
análisis desde el punto de vista formal. A Además B
Pasos:
1. Detectar la equivalencia formal del conector DISYUNTOR: A v B (Incluyente)
lógico y formalizar.
2. Asignar variables a las proposiciones A o también B
simples. A o incluso B
3. Agrupar usando signos de colección de ser
necesario. A a no ser B
A a no ser que B
Términos del Lenguaje Natural que Designan
Operadores Proposicionales: A y/o B

NEGADOR: ~ A A o en todo caso B

No A, nunca A, jamás A A y bien o también B

Es falso que A A excepto que B

Es absurdo que A A a menos B

Es mentira que A A salvo que B

A alternativamente B
Es negable que A
A o bien B
Es inconcebible que A
DISYUNTOR: A  B (Excluyente)
No ocurre que A
A o sólo B
Es inadmisible
A o únicamente B
Es refutable A
A o solamente B
Es contradictorio que A
A o tan solo B
O bien A o bien B
CONJUNTOR: A Λ B
OAoB
A pero B
A no es equivalente a B
A aunque B
IMPLICADOR: A → B
A con B
A implica a B
A sin embargo B
1
 LÓGICA Práctica 06

A por lo tanto B A implica y esta implicado por B

A luego B Solo si A entonces B
A consecuentemente B EJERCICIOS RESUELTOS
Ya que A entonces B 1. Formalizar:
Puesto que A entonces B “Es cierto que la materia se crea y a la vez se
destruye”
Siempre que A entonces B
a)p b) p  q c) p  q d) p 
Dado que A entonces B q e)q
De A deviene B Resolución:
A condiciona a B p: la materia se crea
A solo cuando B q: la materia se destruye
A es condición suficiente para B : y
A solo si B Por lo tanto resulta: p  q

REPLICADOR: A  B (Implicador inverso) Respuesta la letra c)

A porque B
A, si B 2. Formalizar:
“Mario al igual que María ejercen la
A se concluye (deduce, infiere) de B docencia, sin embargo no tienen título
A siempre que B profesional”
a) ( p  q) (r s) b) p  q c) p 
A pues B q
A cada vez que B d)( p  q) (r vs) e)q

A dado que B Resolución:

p: Mario docente
A ya que B
q: María docente
A puesto que B
r: Mario no tiene título profesional
A supone que B
s: María no tiene título profesional
A en vista que B
Al igual que: 
A deviene de B
Sin embargo: 
Formalizando
BIIMPLICADOR: A ↔ B
( p  q) (r s)
A siempre y cuando B
Respuesta la letra a)
A es condición suficiente y necesaria para B
3. Formalizar:
A porque y solamente B
“No es cierto, que Lima no es capital del
A es suficiente y B también Perú”
a) ( p) b) p c) p
A es equivalente a B
d) p   q e)p  q
A es idéntico que B
Resolución:
A es lo mismo que B
p: Lima es la capital del Perú

2
 LÓGICA Práctica 06

: no es cierto C) p  (q  r) D) p  q   r E) r
: no es capital
7. Simbolizar: “No es el caso que Luis baile y
no cante”
A)  (p   q) B)  (p  q) C) (  p   q)
Formalizando
 ( p) D)  (p  q) E) p v q.

Respuesta la alternativa a) 8. Todo cuerpo se encuentra en reposo salvo

que este en movimiento. Se formaliza:
A) A  B B) A  B C) A  B
4. “Ni Bolivia, ni tampoco Perú son
productores de café” se formaliza como D) AB E) A  B
a)pvq b) pvq c) pq d)p↓q
9. Mañana será lunes puesto que hoy es
e)p↑q domingo. Se formaliza:
A) A  B B) A→B C) A B D) A→B
Resolución:
E) A  B
p: Bolivia productor de café
10. “O eres campeón o subcampeón” se
q:Perú productor de café
formaliza:
↓: ni p ni q 1. A  B 2. (A  B) 3. A → B
Formalizando 4. A  B 5. A  B
p↓q Son inciertas:
Respuesta d) A) 1, 2 B) 1, 2, 3 y 5 C) 4 D) 2, 4 y 5
E) 1,4
EJERCICIOS PROPUESTOS
11. Formalizar: “Si juegas por ganar entonces
1. Simbolizar el enunciado: “ Pedro no es triunfaras, sin embargo no juegas por ganar”.
médico, ni Julia es enfermera”
A) p → (r  s) B) (p → q)  p
A)  p   q B)  p   q C)  p  q
C) (p → q)  q D) p → (r  s)
D) ( p  q) E) p E) (p → q)  (r  s)

2. Simbolizar: “Como bailé me cansé” 12. “el razonamiento es válido siempre y cuando
A) p → q B)  p   q C) p → q no es correcto”. Se formaliza:
A)p  q B) p  q C) p  q D) p  q
D)  p → q E) q E) p  q
3. La proposición “Llueve o sino nieva” se
formaliza como: 13. “Hace calor siempre que, cierre la puerta
A)p q B) p  q C) p  q pero no encienda el ventilador” se formaliza:
D) p → q E)p A) (p  q) → r B) p  (q  r)
C) p  (q  r) D) p  (q  r) E) p  q
4. La proposición “ Eliana y Eduardo son
universitarios” se formaliza como: 14. La proposición: “O te vas o me voy yo. Sin
A)p q B) p  q C) p  q embargo, nunca te fuiste en consecuencia
tendré que irme”.
D) p → q E)p
Se formaliza:
5. La proposición “ Eliana y Eduardo son A) (AB)(A→B) B) (AB)(A→B)
esposos” se formaliza como: C) (AB)(A→B) D) (AB)(A→B)
A)p q B) p  q C) p  q E) ( A  B)  (A → B)
D) p → q E) p
15. “Teniendo en cuenta que hace frio, bien se
6. Simbolizar: “Carlos estudia y trabaja, pero ve que la gente se abriga” se formaliza:
practica fútbol” A)p  q B) p → q C) p → q
D)p  q E) p  q
A) ( p  q ) → r B) ( p  q )  r
3
 LÓGICA
16. La proposición: “Hace frío siempre que;
apague la luz pero no cierre la puerta”. Se
formaliza como:
A) (p  q) → r B) p  (q  r)
C) p  (q  r) D) p  (q  r) E) p  q
17. “Mientras el precio del petróleo es bajo y la
energía barata; el mundo despilfarra este
recurso”
A) (p  q) → r B) (p  q)  r
C) (p  q) → r D) (p  q) → r E) p → q
18. La proposición: “Que los partidos políticos
sean democráticos es una condición
suficiente y necesaria para que no exista
corrupción”. Se formaliza como:
A)p  q B) p  q C) p  q D) p → q
E) p  q
19. Formalizar: “Es inobjetable que, trabajar es
condición suficiente para que tengas dinero.
Además, tendrás dinero a menos que seas
ahorrativo”.
A) (p→q)  (qr) B) (p→q)  (qr)
C) (pq)  (qr) D) (pq)  r
E) (p  q)  (q  r)
20. “Si el número es una idea, la aritmética es
psicología. Empero, la aritmética no es
psicología a menos que la astronomía se
ocupe de los planetas”
A) (p → q)  (q  r) B) (p → q)  q
C) (p → q)  (q  r) D) (p  q)  r
E)(p → q)  (q  r)
21. El Perú es subdesarrollado porque la
economía es deprimente, además, los
salarios aumentan solo si hay voluntad del
gobierno” se formaliza:
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. “Si la verruga apareció en el último siglo, su
descubridor ni fue Alcides Carrión ni Luna
Pizarro”, su formalización es:
A) p → (r  q) B) p  (r  q)
C) p → (r  s) D) p  (r → q) E) p  (r  q)
23. “Subirá el precio del pan porque subió el
precio de la gasolina, en vista de que si subió
el precio de la gasolina el gobierno no puede
controlar la inflación”
4
Práctica 06
A) (p  q) → (q → c) B) (p  q)  (q → c)
C) (p  q)  (q → c) D) (p  q)  (q → c)
E) (p  q)  (q → c)
24.El argumento: “No es cierto que, si es verano,
hace calor. Así como, si es verdad que si llueve es
obvio que es invierno”. Se formaliza como:
A) (A → B)  (C → D) B) A → B
C) (A → B)  (C → D) D) (A → B)  C
E) (A → B)  C
25.“Es absurdo que, nunca haya crimen perfecto de
igual modo tampoco haya ladrón perfecto. Mas,
sólo hay crímenes planificados o tan solo ladrones
sagaces”. Se formaliza:
A) (p  q)  (r  s) B) (p  q)  (r  s)
C) (p  q)  (r  s)
D) p  (r  q) E) (p  q)  (r  s)
26.“Ingresar a la universidad no es suficiente para
ser profesional. Asimismo, ser profesional no es
condición necesaria para tener dinero. De allí que
seré comerciante”
A) (p  q)  (q → r) → s
B) (p → q)  (q → r) → s
C) (p → q)  (q  r) → s
D) (p → q)  (q  r) → s
E) (p → q)  (q → r) → s
27.“Si traes la caja blanca, traes la negra. Pero si traes
la azul, traes la negra. Empero no es cierto que traigas
las tres juntas. En consecuencia, traes solo una de las
tres”, su formalización correcta es:
A) (p→q)  (r →q)  (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q)  (pqr) → (pqr)
E) (p→q)  (r →q)  s →t
28.La ley: “La negación de una disyunción de dos
variables implica a la conjunción de las negaciones
de cada variable”. Se formaliza:
a. (AB)  (A  B)
b. (A  B) → (A  B)
c. (A  B) → (A  B)
d. (A  B)  (A  B)
e. A v B
29.Simbolizar:
“Canadá es un país norteamericano tanto como
México, aunque Brasil no lo es. Luego Brasil es
sudamericano”.
A)  ( p → q )   r  → s
B)  ( p  q )   r  → s
 LÓGICA Práctica 06

C)  ( p → q ) →  r  → q 35. La proposición “Martin al igual que Carlos

D)  ( p  q ) →  r  → q son arquitectos, no obstante no tienen título
E) p v q profesional se formaliza como:
A)( pq)  r B) ( pq)  r
30.Simbolizar: C) (pq) (rs) D) (pq) v(rs)
“El jabalí es un mamífero y el murciélago E) (pq)  (rs)
también, por lo tanto, ambos son cuadrúpedos”.
A) ( p  q ) → ( p  q ) 36. Formalizar: “Solo si los cuerpos caen, la ley
B) ( p  q )  ( p  q) de la gravedad es perfecta. Pero como la ley
C) ( p  q ) → ( r  s ) de gravedad no es perfecta, es obvio que
D) ( p  q )  ( s  t ) algunos cuerpos se rechazan”.
E) p v q A) (p→q)  (qr) B) (pq)  (q→r)
C) (pq)  (qr) D) (pq)  r
31.La proposición: E) (p → q)  (q → r)
“Los logaritmos son positivos o se encuentran
entre los valores 0 y 1 salvo que también 37. El Perú es subdesarrollado porque la
aquellos que no son negativos y son menores economía es deprimente, además, los salarios
que 0”. aumentan solo si hay voluntad del gobierno”
Se simboliza: se formaliza:
A) ( A  B )  ( C  D ) A) (p  q) → (r → s) B) (p  q) → (r  s)
B) ( A  ( B  C ) )  (  D  E ) C) (p  q)  (r → s) D) (p  q)  (r → s)
C) ( A  ( B  C ) )  ( D  E )
E) (p → q)  (r → s)
D) ( A  B )  (  A  C )
E) A v B 38. La fórmula: p  q, se lee:
1. Transpiro si hago deporte.
32. La siguiente proposición: 2. Tengo vacaciones en el caso que salga
“La información se transmite vía analógica así invicto.
mismo digital, en consecuencia, existe un canal 3. ingreso tarde porque hubo corte de luz.
físico de transmisión. Pero si el canal es fibra 4. Si salgo de casa luego me voy un paseo.
óptica la velocidad de transmisión de datos es 5. En el caso que ingreso al aula virtual del
muy elevada”. CEPU, inmediatamente entro a clase.
Se formaliza: Son ciertas:
A) ( A  B ) → C   ( D → E )
B) A → B   ( D → E ) A) 4 y 5 B) 1, 2 y 3 C) 2 y 3 D) Sólo 4 E)
C) A → B    ( D → E ) Sólo 1
D) ( A  B ) → ( C  D )  → E 39. “Es absurdo que, haya crimen perfecto al
E)N. A igual que ladrón perfecto. Mas, solo hay
crímenes planificados o solo ladrones
33. Formalizar: “El que un cuerpo posea energía
astutos”. Se formaliza:
cinética esta implicado por el hecho de que esta
en movimiento, aunque un cuerpo en reposo no A) (p  q)  (r  s)
posee energía cinética”. B) (p  q)  (r  s)
A) (p→q)  r B) p→q C) p  q C) (p  q)  (r  s)
D) (pq)  r E) (p  q)  r D) p  (r  q)
E) (p  q)  (r  s)

34. La proposición:
“En modo alguno es posible que Aristóteles
haya escrito el Organon al igual que el Novum
Organon “ se formaliza:

A)pvq B)pq C) (pq)

D) p→q E) p→q Jesucristo es el Señor

5
LÓGICA Práctica 06