Actividad 2

Ejercicio N.º 2
1. Señale la diferencia existe entre lenguaje natural y lenguaje formalizado
2. ¿Por qué el lenguaje de la lógica se llama formalizado?
3. ¿De qué tipos de símbolos consta el lenguaje formalizado de la lógica?
4. ¿Qué diferencia existe entre variable proposicional y operador lógico?
5. ¿Cuáles son las principales notaciones simbólicas de la lógica?
6. ¿Cuáles son las características de las notaciones simbólicas de Scholz, Peano-Russell y
Lukasiewicz, respectivamente?
7. ¿Qué es una fórmula bien formada (fbf)?
8. ¿Qué una fórmula mal formada (fmf)?
9. ¿Qué es la sintaxis lógica?
10. ¿Qué reglas deben tomarse en cuenta al momento de construir una fórmula bien formada (fbf)
11. ¿Qué significa formalizar una proposición?
12. ¿Qué se entiende por forma lógica y qué por fórmula lógica?
13. ¿Cuáles son los pasos que comprende la técnica de formalización de proposiciones?
14. ¿Qué es una inferencia?
15. mencione una regla de formalización.

Reglas de formación de fórmulas lógicas

1. Escriba la palabra ‘sí’ cuando la fórmula esté bien formada y ‘no’, en caso contrario. En el primer
caso diga, además, cómo se llama la proposición, estableciendo previamente la jerarquía entre sus
operadores mediante números y, en el segundo caso, enuncie las reglas de la sintaxis lógica que
viola:
a) ~ p ® ~ q
b) ( p Ù q) Ù ~ ( r Ù s )
c) ~ ( p Ù q ) Ù ~ ( r Ù s )
d) ( p Ù q ) ~ ( r ® s )
e) ~ p ® ~ q ~ r
f) ( p Ù q Ù r ) ~
g).~ [ p ® ( ~ q v ~ r ) ]
h) ( p Ù q ) ® ( r Ù s ) ( t Ù w)
i) ~ ~ [ ( ~ p Ù ~ q ) ® ~ ( t Ù ~ w ) ]
j) { [ ( p ® q ) Ù ( r ® s ) ] Ù (p Ù r ) } ® ( q s )
k) ~ ( p ¯ q ) | ~ ( r ¯ s )
l) ~ [ p ® (~ q ¯ ~ r ) ]
m) p ¯ ~ ( q ~ r )
n) ~ p | [ q ® ~ ( r Ù s Ù t ) ]
ñ) ~ p ¯ ~ [ q ¯ ~ ( r | s ) ]
o) ~ [ p Ù ( q ¯ r ) ] | ~ ( r ~ s )
p) ~ p ® ~ [ ( q Ù r ) ~ (s ¯ t ) ]
q) ( p ® q ) ~ [ r ¯ ~ ( s | t ) ]
r) [ ( p Ù q ) ¯ ( r Ù s ) ] | [ t ® ( q Ù r ) ]
s) ~ p ¯ [~ ( q | r ) ¯ ~ ( ~ s | ~ t ) ] Ù ~ t
Actividad 2

Realiza lo indicado: formalice los siguientes enunciados

1. Formalizar el enunciado: “El hígado es la glándula más grande del cuerpo humano además
depura la sangre”.

2. Formalizar: “Alguien, nadie, alguno, algo y cualquiera son pronombres indefinidos”.

3. Formalizar: “De que una figura geométrica tenga cuatro lados iguales se deriva que es un
cuadrado o un rombo, pero si la figura geométrica tiene cuatro lados iguales así como cuatro
ángulos rectos es obvio que es un cuadrado”

4. La proposición: “Es absurdo que la caja toráxica este formada por menos de 11 pares de
costillas dado que éstas se unen por delante al esternón”. Se formaliza:

5. El siguiente esquema: no es la formalización de: r ← ( ~p ^ q)

(a) La sangre es un liquido de color rojo, puesto que no esta constituido por plasma incluso por
hematíes.
(b) Los dientes caninos nunca tienen la corona aplanada sin embargo la tienen en forma de
pirámide cuadrangular por lo tanto su función es desgarrar los alimentos.
(c) Las neuronas jamás son unidades funcionales del corazón aun cuando lo sean del riñón por lo
tanto actúan como un filtro.
(d) El 12 es número par dado que no es divisible por 5 además es un número compuesto.

6. Formalizar: “El coseno y la secante juntas son razones inversas, a menos que su producto no
sea igual a uno”.

7. Formalizar: “La progresión geométrica no es creciente si su razón esta entre 0 y 1, salvo que su
razón es mayor que 1, por consiguiente es creciente”

8. Formalizar la proposición: “Cuando el Perú firme el tratado de libre comercio así pues exportará
sus productos al extranjero a pesar de que los congresistas se oponen, excepto que exporte sus
productos al extranjero”.

9. Formalizar: “Dado que la magnitud que caracteriza al movimiento es la velocidad por eso la
cinemática estudia al movimiento, además hay movimiento rectilíneo al igual que circular”

10. Formalizar: “Si el agua pasa de estado líquido a sólido entonces se solidifica, asimismo si pasa
de estado gaseoso a líquido implica que se condensa”

11. “Toda vez que un catión es un átomo que nunca ha perdido electrones, por consiguiente posee
un número de cargos positivas siempre y cuando el catión es un átomo que ha perdido electrones”.
Hallar su fórmula lógica.

12. Formalizar: “Si la pendiente del ángulo de inclinación de una recta es positiva, es evidente que
el ángulo es agudo debido a que si no es positiva, derivamos que el ángulo es obtuso”:

13. El siguiente esquema es la formalización de: (p ∆ q) ^ r

(a) Hablas o callas en tu defensa, a pesar de que eres inocente.
Actividad 2

(b) El ángulo es agudo u obtuso, o también el ángulo es recto.

(c) Viajas a Puno o Tumbes, al mismo tiempo que sales de vacaciones.
(d) La mesa es redonda o cuadrada, tanto que es de madera.
Dar como respuesta las inobjetablemente inciertas.
14. Formalizar: “El diámetro de una circunferencia no es menor que cualquier cuerda sólo si mide
dos radios igualmente el radio es la distancia del centro a cualquier punto de la circunferencia”

15. Formalizar la proposición: “Es inadmisible que la energía eólica aprovecha la fuerza del viento
de la misma manera que la energía solar utiliza las radiaciones solares”.

16. Formalizar: “El transporte puede ser terrestre, marítimo y aéreo, además requiere de
infraestructura siempre que y sólo cuando el gobierno se encargue de la construcción y no del
mantenimiento de la infraestructura”.

17. Formalizar: “Las hienas o los buitres se alimentan de presas muertas por eso los necrófagos no
contribuyen a la contaminación del medio ambiente al igual que es innegable que los buitres se
alimenten de presas muertas”.

18. Formalizar la proposición: “Los meteoritos son de composición rocosa o metálica, igualmente
los cometas están formados de polvo cósmico” .

20. Hallar la fórmula de: “La sacarosa y la lactosa son glúcidos implica que los glucidos contienen
azúcares, salvo que ni la sacarosa ni la lactosa son glúcidos, por eso los glucidos jamás contienen
azucares”.

21. Formalizar: “Ni el occipital ni el frontal son músculos del tórax porque y solo porque ambos son
músculos cutáneo del cráneo”.

22. Formalizar: “El hueso calcáneo y astrágalo juntos pertenecen al tarso del pie”

23. Formalizar la proposición “El duodeno no forma parte del intestino grueso en vista que
pertenece al intestino delgado igualmente el yeyuno pertenece al intestino delgado”.

24. Formalizar el argumento: “O Juan es arquitecto o Maria es enfermera; aún cuando, es absurdo
que Maria sea enfermera”.

25. Formalizar: “Si llegas temprano o tarde, de todas maneras no juegas y te vas a entrenar. Si te
vas a entrenar así pues tu madre se molestará”.

26. Formalizar la proposición: “Si estudias en el colegio Harvard y en la Cepre Vallejo, ingresarás a
la UCV. Pero si no estudias en el colegio Havard ni en la Cepre Vallejo, no ingresarás a la UCV.
Por lo tanto ingresarás a la UCV”.

27. Formalizar el argumento: “La Arena, la Unión y Sechura son el medio Piura, sin embargo son
zonas arrozeras”.

28. “Si te preparas a conciencia, serás un buen alumno; pero si no estudias y pierdes tiempo, tus
resultados serán malos”. Hallar su fórmula lógica

29. “Si en el Perú aumentan las exportaciones, por consiguiente aumentan los puestos de trabajo.
Sin embargo en el Perú no aumentan las exportaciones”. Se formaliza:
Actividad 2

30. Simbolizar la proposición: “Gerardo no trabaja o sólo se preocupa por su salario, a menos que
trabaja si gana más de S/. 750 mensuales”