LÓGICA

PRACTICA 06
FORMALIZACIÓN PROPOSICIONAL

1. La proposición: “En modo alguno es posible que 7. La proposición: “La obra principal de Augustus De
Aristóteles haya escrito el Organon al igual que el Morgan es La lógica formal o el cálculo de
Novum Organon”. Se formaliza: inferencias necesarias y probables, allí expone su
A) ~[(p q) (~p r)] idea de aplicar métodos matemáticos en la lógica
B) ~(p q) (~p r) así como los primeros resultados de tal aplicación”.
C) ~[(p q) (~p r)] Se formaliza:
D) ~(p q) A) p q r
E) ~(p q) (~p r)] B) (p q) (r s)
C) p q
2. La proposición: “No solo es falso que ni Frege ni D) p q
Wittgenstein fueron coetáneos con Russell; sino E) p (q r)
que Russell era mayor que cada una de las
anteriores”. Se formaliza: 8. La proposición: “Dado que G. Boole es el inventor
A) ~(~p) (q r) del álgebra de Boole, base de la Aritmética
B) ~(~p ~q) (r s) computacional, obviamente que en su obra “Una
C) ~(~p ~q) r investigación de las leyes del pensamiento”
D) ~(~p) q especifica reglas para la conjunción, disyunción
E) ~~ (~p ~q) (r s) incluyente y excluyente, implicación al igual que
para la biimplicación”.
3. La proposición: “Es falso que no solo Leibniz y Se formaliza:
Newton hayan sido los iniciadores del cálculo sino A) (p q) (r s t u v)
que ninguno fue precursor de la lógica difusa”. Se B) (p q) (r s t u v)
formaliza: C) p (q r s t u)
A) ~(p q) (~r ~s) D) p (q r s t u)
B) ~(p q) ~(r s) E) p (q r s t)
C) ~[(p q) (~r ~s)]
D) ~[(p q) ~(r s)] 9. La proposición: “B. Russell fue un filósofo,
E) ~[(p q) ~(~r ~s)] historiador y matemático inglés;
consecuentemente, enfocó su trabajo en la
4. La proposición: “Wittgenstein si escribió ‘El filosofía analítica como en la teoría del
Tractatus’ al igual que ‘Investigaciones Filosóficas’; conocimiento y en el atomismo lógico”.
Frege escribió ‘Conceptografía’ o quizás Se formaliza:
‘Investigaciones lógicas’, escrita poco antes de su A) (p q r) (s t)
muerte”. Se formaliza: B) (p q r) (s t u)
A) (p q) (r s) C) (p q r) [s (t u)]
B) (p q) (r s) D) (p q r) (s t u)
C) (p q) (r s) E) (p q r) [(s t) u]
D) (p q) (r s)
E) (p q) (r s) 10. La proposición: “Es imposible que J. Lukasiewicz
haya centrado su trabajo en la lógica matemática
5. La proposición: “A menos que sea imposible que el salvo que en la lógica polivalente; porque propuso
conjunto pueda representarse por ‘’, ‘&’, y por ‘’; la lógica trivalente e intento innovar el principio del
tercero excluso”.
el inalternador puede ser representado por ‘’, ‘’ o
Se formaliza:
‘’, solo uno de ellos”. Se formaliza:
A) ~(p q) (r ~s)
A) ~(p q r) (r s t)
B) ~(p q) (r ~s)
B) ~(p q r) (~r ~s ~t)
C) ~(p q) (r s)
C) ~(p q r) (r s t)
D) ~(p q) [r (s t)]
D) ~(p q r) (~r ~s ~t)
E) ~(p q) (r s)
E) ~(p q r) (s t u)
11. La proposición: “O los megáricos y los estoicos son
6. La proposición: “C. Peirce enfocó su trabajo la
continuadores de Aristóteles porque se basaron en
ciencia, la vedad y el conocimiento, cuando y sólo
los trabajos de éste, o, los estoicos hicieron
cuando, haya propuesto la abducción como
aportes en lógica preposicional”.
complemento a la deducción e inducción”. Se
Se formaliza:
formaliza:
A) [(p q) r] s
A) (p q r) (s t)
B) [(p q) (r s)] t
B) (p q r) ~s
C) (p q) (r s)
C) (p q r) (s t)
D) (p q) [(r s) t]
D) (p q r) s
E) [(p q) (r s)] (t u)
E) (p q r) s

1
LÓGICA PRÁCTICA 06

12. La proposición: “Ya que el plasma es el estado de 5) No sucede que siempre que la inteligencia no
agregación de la materia más abundante en el sea factor del desarrollo social, así pues la razón si
universo, el condensado Bose-Einstein es el lo es.
estado de agregación que se encuentra a más baja Son falsas:
temperatura cuando no cumple con el principio de A) Solo 1 y 2 B) 1, 2 y 3 C) 1, 4 y 5
exclusión en Pauli”. Se formaliza: D) Solo 4 y 5
A) p (q r)
B) p (q ~r) 18. La proposición: “De ninguna manera no habrá
C) (p q) r prórroga, para pagar los impuestos”, es
D) p (q r) equivalente a:
E) p (q r) 1) Habrá prórroga para pagar los impuestos.
2) Es imposible que haya prórroga para pagar los
13. La proposición: “Perú y Chile declararon la guerra impuestos.
a Alemania y Japón en 1945, por lo que la 3) Es cierto que habrá prórroga para pagar los
participación de ambos no fue decisiva”. Se impuestos.
formaliza: 4) No habrá prórroga para pagar los impuestos.
A) [(p q) r] ~s 5) Para pagar los impuestos no habrá prórroga.
Son ciertas:
B) [(p q) (r s)] ~t
A) 1 y 3 B) 1 y 4 C) 2 y 4
C) [(p q) (r s)] (~t ~u)
D) 2 y 5 E) 3 y 5
D) (p q) (r s)
E) (p q) ~t 19. La proposición: “No es el caso que si la
temperatura ambiental baja, hará un día caluroso”.
14. La proposición: “Cascas produce uva, al igual que No equivale a:
Compón en vista que se extraen minerales en 1) La temperatura ambiental baja aunque el día
Lucma salvo que incluso en Sayapullo”. Se no sea caluroso.
formaliza: 2) Es mentira que como el día no es caluroso
A) (p q) (r s) obviamente la temperatura ambiental sube.
B) (p q) (r s) 3) El día no es caluroso, ni la temperatura
C) (p q) (r s) ambiental sube.
D) (p q) (r s) 4) Es inobjetablemente falso que el día es
E) (p q) (r s) caluroso a menos que además la temperatura
ambiental no baja.
15. La proposición: “Dado que al calentar un metal, 5) No acaece que la temperatura ambiental sube
éste se dilata, consecuentemente, al calentar un excepto que el día sea caluroso.
gas, éste aumenta su volumen”. Se formaliza: Son correctas:
A) (p q) (r s) A) 1, 3 y 4 B) 2, 3 y 5 C) 2 y 3
B) (p q) (r s) D) Todas E) Ninguna
C) p q
D) p [q (r s)] 20. Sabiendo que la afirmación:
E) (p q) (r s) “P es verdadero siempre que Q sea falsa”, es falsa
¿Cuáles de las siguientes afirmaciones son
verdaderas?
16. Al simplificar equivalentemente la proposición: “Ni
I. P es falsa y Q es verdaderas.
es falso que no sólo hay lluvia sino que no hay
II. Si P es falsa, Q es falsa.
nieve; ni es veraz que cada vez que hay nieve, no
III. Q es verdadera si P es verdadera.
hay lluvia”. Se tiene:
IV. Q es falsa y P es falsa.
A) Hay nieve aunque no haya lluvia.
B) No hay nieve ni lluvia.
C) Si hay lluvia, no hay lluvia. A) Sólo I B) Sólo II C) Ii Y III D) I Y III E) N.A.
D) Es mentira que, si hay lluvia es obvio que
haya lluvia. 21. La proposición: “Es absurdamente inobjetable
E) Hay lluvia siempre y cuando no deje de que de la uva deviene el vino”, es equivalente a:
haber lluvia.
1) Es falso que si no existe el vino, en
17. La proposición: “Tanto la inteligencia como la
consecuencia no existe la uva.
razón no son factores del desarrollo social”,
equivale a:
2) El vino no existe así como existe la uva.
1) Aunque la inteligencia es factor del desarrollo 3) Existe la uva y no el vino.
social, la razón también lo es. 4) No existe el vino así como no existe la uva.
2) Si la razón es factor del desarrollo social, es 5) Si existe el vino, entonces no existe la uva.
inevitable que la inteligencia no lo sea. Son ciertas:
3) La inteligencia no es factor del desarrollo social.
4) Es falso que la razón sea factor del desarrollo a) 1; 2 y 3 b) 2; 3 y 4 c) 3; 4 y 5
social a menos que la inteligencia también lo sea. d) 1; 3 y 4 e) 2; 3 y 5