Scribd
Cargar
38 vistas3 páginas

Ejercicio 3 Unidad 3 - Nestor Alexis Garay Farfan

Cargado por

Alejo Nuñez

Este documento presenta un ejercicio de lógica proposicional que involucra varias proposiciones y su expresión simbólica. Se dan las premisas del ejercicio y se explican las proposiciones simples involucradas. Luego, se desarrolla la tabla de verdad correspondiente y se concluye que la expresión es una tautología.

Copyright:

© All Rights Reserved
Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
Descargar como docx, pdf o txt

Ejercicio 3 Unidad 3 - Nestor Alexis Garay Farfan

Cargado por

Alejo Nuñez
38 vistas3 páginas
Este documento presenta un ejercicio de lógica proposicional que involucra varias proposiciones y su expresión simbólica. Se dan las premisas del ejercicio y se explican las proposiciones simples involucradas. Luego, se desarrolla la tabla de verdad correspondiente y se concluye que la expresión es una tautología.

Título original

ejercicio 3 unidad 3_Nestor Alexis Garay Farfan

Derechos de autor

© © All Rights Reserved

Formatos disponibles

DOCX, PDF, TXT o lea en línea desde Scribd

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Este documento presenta un ejercicio de lógica proposicional que involucra varias proposiciones y su expresión simbólica. Se dan las premisas del ejercicio y se explican las proposiciones simples involucradas. Luego, se desarrolla la tabla de verdad correspondiente y se concluye que la expresión es una tautología.

Copyright:

© All Rights Reserved
Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
Descargar como docx, pdf o txt
38 vistas3 páginas

Ejercicio 3 Unidad 3 - Nestor Alexis Garay Farfan

Cargado por

Alejo Nuñez
Este documento presenta un ejercicio de lógica proposicional que involucra varias proposiciones y su expresión simbólica. Se dan las premisas del ejercicio y se explican las proposiciones simples involucradas. Luego, se desarrolla la tabla de verdad correspondiente y se concluye que la expresión es una tautología.

Copyright:

© All Rights Reserved
Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
Descargar como docx, pdf o txt
Está en la página 1/ 3

Ejercicio 3: Problemas de aplicación

C. Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → ~𝑟) ∧ (𝑝 ∧ 𝑠)] → ~𝑟

Premisas:

P1: 𝑝 → 𝑞

P2: 𝑞 → ~𝑟

P3: 𝑝 ∧ 𝑠

Conclusión: ~𝑟

Proposiciones simples:

si se entrega el trabajo a tiempo entonces se cumplirá el reto 3 y al cumplir el reto 3

entonces no tendrá una mala nota y si se entrega el trabajo a tiempo y sustenta las

respuestas entonces no tendrá una mala nota.

 p = si se entrega el trabajo a tiempo

 q = se cumplirá el reto 3

 ~𝑟 = no tendrá una mala nota

 S = sustenta las respuestas

 P1: 𝑝 → 𝑞 = si se entrega el trabajo a tiempo entonces cumplirá el reto 3

 P2: 𝑞 → ~𝑟 = cumplirá el reto 3 y al cumplir el reto 3 entonces no tendrá una mala

nota

 P3: 𝑝 ∧ 𝑠 = si se entrega el trabajo a tiempo y sustenta las respuestas

 Conclusión: ~𝑟 = no tendrá una mala nota


Tablas de verdad

Teniendo el lenguaje simbólico correspondiente a la pregunta c se desarrolla la tabla

de verdad:

C. Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → ~𝑟) ∧ (𝑝 ∧ 𝑠)] → ~𝑟


Proposiciones
simples
Negaciones Conectores lógicos
(p→q)∧ (p→q)∧ [(𝑝 → 𝑞) ∧ (𝑞 → ~𝑟) ∧ (𝑝 ∧ 𝑠)]
p q r s ~𝑟 (𝑝 → 𝑞) (q→~r)
(q→~r)
(𝑝 ∧ 𝑠)
(q→~r)∧(p^s) → ~𝑟
V V V V F V F F V F V
V V V F F V F F F F V
V V F V V V V V V V V
V V F F V V V V F F V
V F V V F F V F V F V
V F V F F F V F F F V
V F F V V F V F V F V
V F F F V F V F F F V
F V V V F V F F F F V
F V V F F V F F F F V
F V F V V V V V F F V
F V F F V V V V F F V
F F V V F V V V F F V
F F V F F V V V F F V
F F F V V V V V F F V
F F F F V V V V F F V

 El resultado de esta tabla de verdad es una TAUTOLOGIA

 La siguiente tabla es elaborada por medio de a herramienta Simulador Lógica

UNAD que se encuentra en el entorno de aprendizaje practico:

También podría gustarte