Scribd
Cargar
106 vistas6 páginas

Proposiciones y reglas de inferencia lógica

Este documento presenta cuatro ejercicios sobre lógica proposicional. El primer ejercicio incluye una tabla de verdad para evaluar la fórmula "(p ∨ q) → (∼ q ∧ r)". El segundo identifica las reglas de inferencia lógica. El tercero aplica estas reglas a enunciados concluyendo que un administrador ayuda a la economía de un país. El cuarto incluye otra tabla de verdad para evaluar la fórmula "{(p ⟶ r) ∧ (q ⟶ p)

Cargado por

Luis Melendez
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
106 vistas6 páginas

Proposiciones y reglas de inferencia lógica

Este documento presenta cuatro ejercicios sobre lógica proposicional. El primer ejercicio incluye una tabla de verdad para evaluar la fórmula "(p ∨ q) → (∼ q ∧ r)". El segundo identifica las reglas de inferencia lógica. El tercero aplica estas reglas a enunciados concluyendo que un administrador ayuda a la economía de un país. El cuarto incluye otra tabla de verdad para evaluar la fórmula "{(p ⟶ r) ∧ (q ⟶ p)

Cargado por

Luis Melendez
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

Ejercicio 1: Proposiciones y tablas de verdad (B)

B. p: La casa de papel es la mejor serie de Netflix

q: Stranger Things es una serie de Netflix

r: La casa de papel es una de las series más vistas del mundo

(𝑝 ∨ 𝑞) → (∼ 𝑞 ∧ 𝑟)

Para calcular el numero de filas, la hacemos con la siguiente formula:

Lenguaje Natural: Si la casa de papel es la mejor serie de Netflix o Stranger


Things es una serie de Netflix. Entonces no es Stranger Things una serie de
Netflix. Y la casa de papel es la mejor serie de Netflix

N= número de proposiciones simples


N= 3 (PQR)
numero de filas= 2³ = 2x2x2= 8 filas

Entonces la tabla quedara de 8 filas= cuatro verdaderas y cuatro falsas y


corresponden a P, dos verdaderas, dos falsas, dos verdaderas y dos falsas y
corresponden a Q, y una verdadera, una falsa, una verdadera y una falsa y así
sucesivamente hasta completar las ocho.

P Q R ∼𝑞 (𝑝 ∨ 𝑞) (∼ 𝑞 ∧ 𝑟) (𝑝 ∨ 𝑞) → (∼ 𝑞 ∧ 𝑟)

v v v f v f f
v v f f v f f
v f v v f v f
v f f v f f f
f v v f f f v
f v f f f f f
f f v v f v f
f f f v f f v

obtenemos como resultado que es una contingencia, porque la proposición nos


resultó verdaderas y falsas.
.
Ejercicio 2: Identificación de las reglas de la inferencia lógica

Modus Tolendo Ponens Modus Tollendo Tollens Doble Negación

P1: p= Elena está estudiando


P2: q= Practica voleibol
P3: p= Elena está estudiando
Lenguaje natural: Elena esta estudiando y nunca practica voleibol. Elena está
estudiando

P1: s= María estudia en la metropolitana


P2: t= La metropolitana es una universidad publica
P3: s= María no estudia en la metropolitana
Lenguaje natural: María estudia en la metropolitana, entonces la metropolitana es
una universidad pública. María no estudia en la metropolitana.
Ejercicio 3: Aplicación de las reglas de la inferencia lógica
B. Si un administrador de empresas liderara organizaciones que
contribuyen a la construcción del progreso económico, entonces un
administrador de empresas ayuda a la economía de un país. Un
administrador de empresas no ayuda en la economía de un país.
a. Lenguaje simbólico: _____________________________
b. Ley de inferencia aplicada: _______________________
c. Conclusión: ____________

(p → q)
P
___________
q
Modus ponendo ponens
Conclusion: un administrador ayudo con la economía de un país

Ejercicio 4: Problemas de aplicación


B. Expresión simbólica: {(𝑝 ⟶ 𝑟) ∧ (𝑞 ⟶ 𝑝) ∧ (𝑝 ∧ 𝑞)} ⟶ (𝑞 ∧ 𝑟)
Premisas:
P1: (𝑝 ⟶ 𝑟)
P2: (𝑞 ⟶ 𝑝)
P3: (𝑝 ∧ 𝑞)
Conclusión: (𝑞 ∧ 𝑟)

P1: P= Camila estudia en la UNAD sociología


P2: q= Camila aprobó el segundo semestre
P3: r= Camila estudia para el tercer semestre
Lenguaje Natural: si Camila estudia en la unad sociología, entonces Camila está
en el tercer semestre y aprobó el segundo semestre.
Conclusion: Camila aprobó el segundo semestre y estudia para el tercer semestre.

p q r 𝑝⟶𝑟 𝑞⟶𝑝 {(𝑝 ⟶ 𝑟) ∧ (𝑞 ⟶ 𝑝) ∧ (𝑝 ∧ 𝑞)} ⟶


(𝑞 ∧ 𝑟)
v v v v v v
v v f f v v
v f v v f v
v f f f f v
f v v v v v
f v f v v v
f f v v v v
f f f v v v

También podría gustarte