Ciclo Semestral tarde
Raz. Lógico N° 03
FORMALIZACIÓN PROPOSICIONAL
I. Marco Teórico: PROCEDIMIENTOS DE FORMALIZACIÓN:
Ejemplo:
DEFINICIÓN: Es el procedimiento mediante el cual se “Es falso que Vallejo fue físico tanto como es mentira
identifican proposiciones simples y estructuras lógicas
que si Vargas Llosa es gobernante, es demócrata”
proposicionales (estudiadas en la unidad anterior),
asignándoles a cada uno un determinado símbolo del
lenguaje de Lógica Proposicional organizándolos con PASO 1. Identificar proposiciones simples y
signos de agrupación. asignarles variables en orden alfabético.
p = “Vallejo fue físico”
Instrucción: Lee detenidamente las expresiones más
q = “Vargas Llosa es gobernante”
comunes de los conectores lógicos y participa en el
r = “Vargas Llosa es demócrata”
desarrollo de la práctica.
NOTA: No debes olvidar que la proposición es
a. Del Lenguaje Objeto p,q,r,s,t,u,v,w,x,y,z
VARIABLES significado. Las proposiciones simples precedentes
b. Del Metalenguaje A,B,C,D,E,F,……..Z
son significados de la proposición compuesta
NOTA: Las variables del Metalenguaje de LP, se
utilizan para hacer operaciones y enunciar reglas. No propuesta.
se utilizan para formalizar.
PASO 2. Identificar la forma:
Las Constantes. Llamados también operadores “Es falso que Vallejo fue físico tanto como
proposicionales se les reemplaza por: es mentira que si Vargas Llosa es
gobernante, es democráta”
OPERADOR La forma es:
Nº ESTRUCTURA SÍMBOLOS “Es falso que …………… tanto como es
NOMBRE
LÓGICA mentira que si ………………, ………………”
1 Negador “no” -
PASO 3. Escribir la fórmula lógica.
2 Conjuntor “… y …” .&
- p -(r → r)
3 Disyuntor “… o …” v+
Incluyente p = “Vallejo fue físico”
4 Disyuntor “o … o ….” v PRACTICA DE CLASE
Excluyente >⎯< <-/->
5 Implicador “si … entonces → 1. La proposición: “El contravalorador, o disyuntor
…” excluyente, es un operador con mayor jerarquía que el
contraimplicador, o replicador“. Se formaliza:
6 Replicador “… porque …” ←
A) (p q) (r s)
7 Biimplicador “… si y sólo B) (p q) r
sí…”
C) p q
8 Inalternador “ni …. ni ….” ↓ D) p (q r)
9 Incompatibilizador “no … o no ….” / E) p
Bienvenidos al único Consorcio de academias especializadas en Trujillo
127
C o n s o r c i o A c a d e m i as E S P E C I A L I Z A D A S
2. La formalización de la proposición: “No es verdad que 9. La proposición: “No solo la proposición conjuntiva es
sea falso que, Perú es un país subdesarrollado”, es: molecular también la bicondicional. De ahí que la
A) p B) p p C) p p proposición predicativa a no ser que la proposición
D) p q E) p relacional son atómicas”. Se formaliza:
A) (p q) → (r s)
3. La proposición: “Juan y Pedro son hermanos y no son B) ( p q) → (r s)
trabajadores de la municipalidad”, se formaliza: C) ( p q) → (r s)
A) (p → q) -r B) (p q) -s D) ( p q) → (r s)
C) p (-q -r) D) [(p q) (-r -s)] E) (p q) → (r s)
E) [(p q) (r s)]
[Link] proposición: “No es cierto que, ni UCV es una
universidad ni CEPUNT es una academia; a no
4. La Proposición: “Ica, Huaura y Cascas son ser que también; las universidades de la Región
productores de ciruela, además de manzanas”. Se
La Libertad son estatales a pesar que son
formaliza:
particulares”. Se formaliza:
A) (p q r) & (s t u)
A) (p q) (p q)
B) (p & q & r) & (s & t & u)
B) (p q) (p q)
C) (p & q r) (s & t & u) C) (p q) (r s)
D) (p & q & r) & s D) (p q) (r s)
E) (p & q & r) s E) (p q) (r s)
5. “No es falso que; el reloj no es un instrumento de 11. "Arañas, escorpiones, garrapatas y ácaros, no
tiempo salvo que únicamente un instrumento de lujo pertenecen a la clase de los insectos. Y éstos si
no lo es”. Se formaliza como: pertenecen a la clase arácnida". Se formaliza:
A) ( p q) B) p q C) ( p q) A) (p q r s) ( – p – q – r – s)
D) ( p q) E) N. A. B) (– p – q – r – s) t
C) (– p – q – r – s) (t u v w)
6. La siguiente proposición: “Ni Perú ni Ecuador forman
D) (– p – q – r – s) (t u)
parte del Mercosur. Ambos países firmaron un
acuerdo de paz”. Se formaliza: E) (p q r s) (– t – u – v – w)
A) ~(𝑝 ˄ 𝑞) B) (𝑝 ↓ 𝑞) ˄ (𝑟˄𝑠) C) (𝑝 ↓ 𝑞) ˄ 𝑟
D) (~𝑝 ↓ 𝑞) ˄ 𝑟 E) (~𝑝 ˄ ~𝑞) ˄ ~𝑟 12. La proposición: “Raúl, Ervando y Carlos son
hermanos, no obstante, ellos aún no laboran” se
7. La siguiente proposición “Una empresa persigue un fin formaliza
lucrativo porque produce dividendos, salvo que
A) [ (p q) r ] → s
únicamente persiga un fin mercantil” Se formaliza
B) ( p q r ) → s
como: C) [ p → ( q r) ] → s
A) (A B) B B) (A B) A C) (B → A) C D) p ( q r s )
D) (A B) C E) (A → B) C E) p ( q r s )
8. La proposición: “Leibniz es considerado el fundador de 13. Dada la siguiente proposición: “Porque la lógica difusa
la lógica matemática. Incluso Ludkasiewicz, es polivalente, sirve como sustento teórico para el
Aristóteles, Wittgenstein no son lógicos matemáticos”. desarrollo de la inteligencia artificial. Todo esto implica
Se formaliza: que la lógica formal tiene un amplio campo de
A) p (q r s) aplicación” Se formaliza:
B) p → (q r s) A) r → (p → q)
B) (p q) → r
C) p (q r s)
C) (p q) (r → s)
D) (q r s) p D) (p → q) → r
E) p (q r s) E) (p q) r
Bienvenidos al único Consorcio de academias especializadas en Trujillo
128
C o n s o r c i o A c a d e m i as E S P E C I A L I Z A D A S
14. La proposición: “Porque Francia y Alemania son 19. “O, es absurdo que el Presidente de la Republica pida
países europeos, integran la Unión Europea. Aunque, apoyo y el gabinete de ministros anuncie cambios;
Francia tiene frontera común con Alemania” Se siempre que los congresistas interpelen al gabinete de
formaliza como: ministros, o según el gabinete de ministros anuncie
A) [(p q) → (r s)] t cambios obviamente los congresistas sancionan el
gabinete”.
B) [(p q) (r s)] t
Se formaliza como:
C) [(p q) → r] s
A) [~(𝑝 ∧ 𝑞) ← 𝑟] (𝑞 → 𝑠)
D) [(p q) r] s B) [(~𝑝 ∧ 𝑞) → 𝑟] ∨ (𝑞 ← 𝑠)
E) (p → q) r C) [~(𝑝 ∧ 𝑞) → 𝑟] ∨ (𝑞 ← 𝑠)
D) [(~𝑝 ∧ 𝑞) → 𝑟] (𝑞 → 𝑠)
15. La proposición: “Para que el éter de petróleo sea una
mezcla de butano con etano contrarreplica a que se le E) [(~𝑝 ∧ 𝑞) ∧ 𝑟] (𝑞 → 𝑠)
considera como un compuesto de dos carbonos. Es
necesario que no se aplique a los motores de 20. La proposición: “No sólo es falso que no sólo viva en
explosión”, se formaliza: Francia sino que también tengo visa para [Link]., sino
que, no sólo es falso que vivo en España sino que es
A) [p → (q r)] t
veraz que viajé a Italia”; se formaliza:
B) [p (q r s)] → –t
C) [p → q ] → – r A) (p q) (r s)
D) [p → (q r s)] → p B) [(p q) (r s)]
E) [p (q r s)] t C) [(p q) (r s)]
D) (p q) (r s)
16. La proposición: “Es falso que si la gasolina es un
compuesto volátil implica a que es un disolvente de las E) (p q) (r s)
grasas. Sólo si; es mentira que si es un líquido muy
inflamable luego arde con facilidad. Está implicado
que su precio se eleva constantemente”, se formaliza:
A) [(p q) (r s)] → (t u) TAREA DOMICILIARIA
B) [ (p → q) → (–r → s)] → t
C) [ (p q) → (r → s)] t 01. La proposición: “Aunque la Lógica no sea una ciencia
D) [ (p q) → ( r s)] t fáctica, sus principios tienen aplicaciones prácticas” Se
E) [ (p → q) → (r → s)] t formaliza como:
A) p q B) p q C) p → q
17. La proposición: “Los alcanos no son hidrocarburos
aromáticos solo si son saturados; Sólo cuando es D) p q E) p → q
suficiente que los alquinos no sean hidrocarburos para
que los cicloalquinos son hidrocarburos naturales”, se
formaliza:
02. La proposición: “Pedro y Juan son primos, y no son
A) –(p → q) → (r → s)
jugadores de ajedraz”, se formaliza:
B) (–p → q) → (–r → s)
C) –(p → q) → (r s) A) (p → q) -r
D) (–p → q) → (r s) B) (p q) -s
E) –(p → q) → (–r → s) C) p (-q -r)
D) [(p q) (-r -s)]
18. “El Rey Carlos III intentó gobernar de manera práctica E) [(p q) (r s)]
al igual que eficaz, puesto que no sólo redujo la
burocracia noble sino también la sustituyó por la 03. La proposición: “Lima y Trujillo son ciudades norteñas
ilustrada” Se formaliza: y capitales de regiones”, se formaliza:
A) (p q) → (r & s) A) (p → q) -r
B) (p & q) (r & s) B) (p q) -s
C) (p & q) → (r & s) C) p (-q -r)
D) (p & q) (r & s) D) [(p q) (r s)]
E) [(p q) (r s)]
E) (p & q) ( r & s)
Bienvenidos al único Consorcio de academias especializadas en Trujillo
129
C o n s o r c i o A c a d e m i as E S P E C I A L I Z A D A S
04. La proposición: “La historia y la matemática son 08. La proposición: “En vista que si se aplica
equivocadamente una regla lógica entonces se
ciencia fáctica y formal respectivamente”, se formaliza: comete una falacia formal, obviamente que si se
comete errores en el uso del lenguaje por ello se
A) (p → q) -r comete una falacia no formal“. Se formaliza:
B) (p q) -s A) (p → q) (r → s)
B) (p q) → (r –q)
C) p q C) (p → q) → (r → s)
D) (p → q) → (r → –q)
D) [(p q) (r s)] E) (p q) → (r s)
E) [(p q) (r s)]
09. La siguiente proposición: “Es absurdo que el país
teniendo tanta materia prima sea pobre, atrasado,
05. La afirmación: “Todos los hombres son inteligentes subdesarrollado además no unido”. Se formaliza
porque el nuevo paradigma psicológico afirma que hay como:
inteligencia múltiples, hay estructuras mentales no A) ABCD
obstante también hay estructuras psíquicas”; se B) –ABCD
C) –A–BC–D
formaliza: D) – (A B C – D)
E) – (A B C D)
A) p (–q r –s)
B) p (q r s) 10. La proposición: “La obra principal de Augustus De
Morgan es ‘La lógica formal o el cálculo de inferencias
C) (p –q) (r –s)
necesarias y probables ‘, allí expone su idea de aplicar
D) p → (q r – s) métodos matemáticos en la lógica así como los
primeros resultados de tal aplicación“. Se formaliza:
E) p → (–q r s)
A) p q r
B) (p q) → (r s)
06. La proposición: “Es inconcebible que, el Perú tenga C) p q
crecimiento económico salvo que se termine con la D) p → q
recesión. A menos que no haya inflación” Se formaliza E) p → (q r)
como:
A) (AB) C CLAVES
B) (AB) C 1. A 6. B
C) (A → B) C D) A B
E) (AB) C 2. C 7. B
07. La proposición: “Que Tarski haya hecho aportes en 3. D 8. C
lógica polivalente, metalenguaje y en conceptos
4. C 9. D
semánticos, es incompatible con que Aristóteles,
Gottlob Frege, Tarski y Kurt Gödel juntos sean
5. B 10. A
considerados los más grandes lógicos de la historia“.
Se formaliza:
A) (pqr) / (stuw)
B) (pqr) / s
C) p / q
D) (pqr) (stuw)
E) (pqr) s
Bienvenidos al único Consorcio de academias especializadas en Trujillo
130
