Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CENTRO PREUNIVERSITARIO
FORMALIZACIÓN
CEPU CICLO I-2022
Es el proceso mediante el cual llevamos una proposición En general los conectores se clasifican en 2 grupos:
verbal hacia una proposición formal utilizando para ello un
lenguaje simbólico. a) Conectores monarios (Monádicos): son aquellos
que se enlazan sólo a una proposición simple.
La formalización es el proceso que nos facilita la aplicación Ejemplo:
de leyes y reglas y por ende el RAZONAR HUMANO. “”
F
O b) Conectores Binarios (Diádicos): Son aquellos que
R Si Larissa es estudiosa entonces será enlazan a 2 proposiciones simples:
M una mujer de éxito. Ejemplo:
A
L “−”, “”, “”, “”, “.”, “x”, “&”, “”, “”, “+”, “”,
I “⊻”, “”, “”, “>--<”, “<-->”, “→”, “”, “”, “”,
Z
A “”, “”, “”, “”, “=”, “”, “”, “”, “”, “”,
C p→q “”
I
O
N Nota: En general los conectores lógicos pueden ser
también sinónimos de las formas básicas del lenguaje
Para esta operación debemos asignar variables y común ya estudiado.
conectores a la proposición a formalizar, organizándolos
con signos de agrupación. Ejemplo: Para el conjuntor:
- Camila estudia Medicina y Larissa estudia
Pasos para formalizar: Derecho.
1. Explicitar o mostrar la forma lógica de las - Camila estudia Medicina pero Larissa estudia
proposiciones. Derecho.
2. Reemplazar cada proposición y cada nexo gramatical - Camila estudia Medicina sin embargo Larissa
(y adverbio de nagación) por sus respectivos símbolos. estudia Derecho.
3. Jerarquizar los operadores lógicos en función de la - Camila estudia Medicina no obstante Larissa
intensidad de pausa de los signos de puntuación y el estudia Derecho.
sentido de la proposición.
De aquí vemos que y, pero, sin embargo, no obstante,
1) Variables proposicionales: son sinónimos para el conjuntor.
Son letras minúsculas tomadas de la 2da. mitad del
alfabeto, es decir, desde “p” hasta “z”, que sirven para Luego, un ejemplo de formalización sería:
representar a las proposiciones atómicas.
p, q, r, s, t, … etc. Proposición Verbal:
Se asignan en forma correlativa alfabética. “Manuel es ingeniero civil o ingeniero mecánico, sin
embargo, Martín es abogado.”
Ejemplo:
Formalizar: “Camila es deportista, cantante o actriz” Fórmula Proposicional (Formalización):
(p q) r
p q r ………. CORRECTO
r p q ………. INCORRECTO Dentro de los términos del lenguaje natural que designan
operadores proposicionales tenemos:
2) Conectores Lógicos:
Son signos artificiales que representan a los
conectivos que enlazan a las proposiciones simples.
Términos del Lenguaje Natural que Designan Operadores REPLICADOR: A B; A B; B → A (Implicador inverso)
Proposicionales:
A, si B A debido a que B
NEGADOR: A, A, - A A porque B A, si B
Este conectivo nos invierte el sentido de la clasificación A siempre que B A pues B
que utilizamos. A cada vez que B A dado que B
Es decir, la negación de una proposición es falsa y la A ya que B A puesto que B
negación de una proposición falsa es verdadera. A supone que B A en vista que B
A deviene de B A en razón de B
No A, nunca A, jamás A Es falso que A Para A es suficiente B
No acaece que A Es mentira que A Es condición necesaria A para B
Es negable que A Es inconcebible que A A se concluye (deduce, infiere) de B
No ocurre que A Es inadmisible que A
Es refutable A Es innegable que no A BIIMPLICADOR: A ↔ B
Es contradictorio que A Es imposible que A
No acontece que A A si y solo si B A siempre y cuando B
A es igual que B A es equivalente a B
CONJUNTOR: A B; A . B; A B; A x B A es idéntico que B A es lo mismo que B
A porque y solamente B
AyB A aunque B A se define lógicamente como B
A con B A sin embargo B A es condición suficiente y necesaria para B
A incluso B A tanto como B A es suficiente y B también
A así mismo B A también B A implica y está implicado por B
A al igual que B No solo A también B Solo si A entonces B
A no obstante B A Además B
A a la par que B A tal como B Ejemplos:
A sino B A es compatible con B Juan nació en Tacna o Piura, se formaliza: “p q”
Simultáneamente A con B A aun cuando B Camila estudia medicina o solamente derecho: “p q”
A vemos que también B Tanto A como cuanto B
El que A no excluye que B A pero B EJERCICIOS RESUELTOS:
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)
4
LÓGICA Práctica 06
14. La proposición “Ingresar a la universidad es 19. La proposición: “No es el caso que si la temperatura
insuficiente para ser profesional. Asimismo, ser ambiental baja, hará un día caluroso”, no equivale a:
profesional es condición innecesaria para tener
dinero. De allí que seré comerciante”. Tiene como 1) Es mentira que como el día no es caluroso
fórmula: obviamente la temperatura ambiental sube.
2) La temperatura ambiental baja salvo que el día no
A) [(p q) (q → r)] s sea caluroso.
B) [(p q) (q → r)] → s 3) Es inobjetablemente falso que el día es caluroso
a menos que además la temperatura ambiental
C) [(p q) (q → r)] → s no baja.
D) [(p q) (q r)] → s 4) Dado que el día es caluroso, la temperatura
E) [(p →q) (q → r)] → s ambiental sube.
5) No acaece que la temperatura ambiental sube
15. La proposición: “Es falso que, no solo Leibniz y excepto que el día sea caluroso.
Newton hayan sido los iniciadores del cálculo, sino
que ninguno fue precursor de la lógica difusa”. Se Son correctas:
formaliza: A) 1, 4 y 5 B) 1, 2 y 3
C) Solo 4 y 5 D) Todas
A) ~[(p q) ~(~r ~s)] E) 1, 3 y 5
B) ~(p q) ~(r s)
C) ~[(p q) (~r ~s)] 20. La proposición: “Marco compra entradas para el cine
D) ~[(~p ~q) ~(r s)] cuando estrenan una película, no obstante, no
E) ~(p q) (~r ~s) estrenan una película a menos que el cine tenga
fondos, aunque, es mentira que el cine no tenga
16. La proposición: “A menos que sea imposible que el fondos o de lo contrario Marco no compre entradas
conjunto pueda representarse por ‘’, ‘’, y por ‘+’; el para el cine”, equivale a:
incompatibilizador puede ser representado por ‘’ o
‘’, solo uno de ellos”. Se formaliza: 1) Marco compra entradas para el cine.
2) El cine no tiene fondos, pero Marco compra
A) ~(p q r) (r s) entradas.
B) ~(p q r) → (r s) 3) Es falso que si el cine no tiene fondos, estrenen
una película.
C) ~(p q r) → (~r ~s)
4) Marco compra entradas al igual que el cine tiene
D) ~(p q r) (~s ~t) fondos.
E) ~(p q r) (s t) 5) Es inobjetablemente incierto que si Marco compra
entradas, el cine no tenga fondos.
17. La proposición: “Los megáricos y los estoicos son
continuadores de Aristóteles porque se basaron en Son ciertas, salvo:
los trabajos de éste, o solo, los estoicos hicieron
aportes en lógica preposicional”. Se formaliza:
A) 1, 4 y 5 B) 1, 2 y 3
C) Solo 4 y 5 D) Todas
A) [(p q) r] s
B) (p q) (r s) E) 1, 3 y 5
C) [(p q) (r s)] t
21. Si:
D) (p q) [(r s) t]
E) [(p q) (r s)] (t u) p q : Los números negativos cuando y solo cuando
son menores que cero.
18. La proposición: “Ya que el plasma es el estado de
Entonces el esquema:
agregación de la materia más abundante en el
universo, el condensado Bose-Einstein es el estado [(p q) → p] → [q (p → q)]
de agregación que se encuentra a más baja Equivale a:
temperatura cuando no cumple con el principio de
exclusión en Pauli”. Se formaliza: A) Los números son negativos.
B) Los números son menores que cero.
C) Los números son negativos tal como son menores
A) p → (q → r)
que cero.
B) (p → q) r
D) Los números son menores que cero a menos que
C) p → (q r) sean negativos.
D) p → (q ~r) E) Es mentira que los números sean negativos pero
E) p (q r) es cierto que son menores que cero.