3 Formalizar - Docente

Grupo de estudio “ALBERT EINSTEIN” Tema 2: Proposiciones Lógicas
FORMALIZACIÓN DE PROPOSICIONES
Es el proceso por el cual una proposición escrita en el lenguaje natural es traducida a un lenguaje
simbólico. Para ello cada proposición se reemplaza por una variable proposicional ( p, q, r, etc.) y
el conector lógico por el operador correspondiente.
CARACTERÍSTICAS DEL LENGUAJE FORMALIZADO
a) Es simbólico
b) Es universal
c) Es convencional
d) Es abstracto
e) No es ambiguo
SIGNOS DE AGRUPACIÓN: Son:
( ) : paréntesis
[ ] : corchete
{ } : llaves
PASOS PARA FORMALIZAR:
1) Determinar las proposiciones simples que se encuentran en toda la expresión y reemplazarlos
con las variables preposicionales, cada proposición con una variable.
2) Identificar las conjunciones gramaticales y los adverbios de negación para reemplazarlos por
sus respectivas constantes.
3) Jerarquizar las constantes lógicas, para ello debemos analizar los signos de agrupación y el
sentido de la expresión.
Ejercicios de formalización
1. Mario Vargas Llosa obtuvo el premio nobel de literatura 2010. Formalización: p

2. Roxana estudia al mismo tiempo que escucha música
p = Roxana estudia; q= Roxana escucha música. Formalización: p ∧ q
3. Democracia significa un modo de vida en el que la libertad y la justicia están presentes.
p= Democracia significa un modo de vida en el que la libertad está presente
q= Democracia significa un modo de vida en el que la justicia está presente
Formalización: p ∧ q
4. Los hombres han nacido iguales o no son libres.
p=Los hombres han nacido iguales; q= Los hombres son libres
Formalización: p ∨ ¬q
5. Si Pablo se queda entonces Luis se va.
p= Pablo se queda
q= Luis se va
Formalización: p → q
6. En los polos el frío es intenso únicamente si los planetas giran en torno al sol.
Prof. Angelo Abanto Ulfe
Grupo de estudio “ALBERT EINSTEIN” Tema 2: Proposiciones Lógicas
p: en los polos el frío es intenso; q: los planetas giran en torno al sol;
Formalización: p → q
7. Siempre que los herbívoros corren o el frío en los polos es intenso, los planetas giran en torno al sol
p: los herbívoros corren; q: el frío en los polos es intenso; r: los planetas giran en torno al sol
Formalización: p ∨ q → r
8. O está lloviendo y nevando, o está soplando el viento.
p=Está lloviendo; q=Está nevando; r=Está soplando el viento
Formalización: (p ∧ q) ∆ r
9. Cientos de vidas podrían salvarse cada año si la gente utilizara el cinturón de seguridad
p = cientos de vidas pueden salvarse cada año; q= La gente utiliza el cinturón de seguridad
Fórmula: q → p
10. No es el caso que, si la luna está hecha de queso verde, entonces los vehículos espaciales no pueden alunizar en ella.
p= La luna está hecha de queso verde; q= Los vehículos espaciales pueden alunizar en la luna Fórmula: ¬(p → ¬q)
11. Dos es un número primo porque sólo es divisible por sí mismo y por la unidad.
p = 2 es un número primo
q = 2 es divisible por sí mismo
r = 2 es divisible por la unidad
Fórmula: p ↔ (q ∧ r)
12. Decir que la suma de sucesiones positivas es una sucesión positiva y el producto de sucesiones positivas es una sucesión
positiva equivale a decir que la suma y el producto de dos números reales positivos es un número real positivo.
p = La suma de sucesiones positivas es una sucesión positiva
q = El producto de sucesiones positivas es una sucesión positiva
r = La suma de dos números reales positivos es un número real positivo
s = El producto de dos números reales positivos es un número real positivo.
Fórmula: (p ∧ q) ↔ (r ∧ s)
13. Los virus son alternados no obstante son virulentos. Por tanto, tienen una clasificación
p: “Los virus son alternados”
q: “Los virus son virulentos”
r: “Tienen una clasificación”
Formalización: (p ∧ q) → r
14. Siempre que se apruebe el crédito entonces compraré el departamento; sin embargo se aprueba el crédito. Por tanto,
compraré el departamento
p: “Se aprueba el crédito”; q: “Compraré el departamento”; Formalización: [(p → q) ∧ p] → q
15. La crisis mundial afecta a los países de bajos recursos económicos pero los analistas en economía buscan soluciones, a
pesar de que la crisis mundial no afecta a los países de bajos recursos.
p: “La crisis mundial afecta a los países de bajos recursos económicos”
q: “Los analistas en economía buscan soluciones”
p: “La crisis mundial afecta a los países de bajos recursos económicos”
Formalización: (p ∧ q) ∧ ¬p
Prof. Angelo Abanto Ulfe

3 Formalizar - Docente

Cargado por

Copyright:

Formatos disponibles

3 Formalizar - Docente

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

3 Formalizar - Docente

Cargado por

Copyright:

Formatos disponibles

Grupo de estudio “ALBERT EINSTEIN” Tema 2: Proposiciones Lógicas

1. Mario Vargas Llosa obtuvo el premio nobel de literatura 2010. Formalización: p

Prof. Angelo Abanto Ulfe

También podría gustarte