“Tarea 1 – Proposiciones y Tablas de Verdad – Ejercicio 3”
Enviado por haylo2311 • 14 de Marzo de 2020 • Tarea • 345 Palabras (2 Páginas) • 256 Visitas
“Tarea 1 – Proposiciones y Tablas de Verdad – Ejercicio 3”
Luis Betancourt Rojas
Universidad Nacional Abierta y a Distancia UNAD
Notas de Autor
Luis Gildardo Betancourt Rojas, Ingeniería en Telecomunicaciones, Escuela ECBTI, Universidad Nacional Abierta y a Distancia
La correspondencia relacionada con este trabajo debe ser dirigida a Luis Betancourt Rojas
Universidad Nacional Abierta y a Distancia UNAD, Ibagué – Tolima
Contacto: lgbetancourtro@unadvirtual.edu.co
EJERCICIO 3: PROBLEMAS DE APLICACIÓN (Rodríguez, 2013) (Cardona, 2010)
Descripción del ejercicio:
A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento) para el desarrollo del ejercicio 3; en este caso utilizaré el enciso B, escogido con anterioridad:
- B. [(𝑝∧𝑞)⟷(∼𝑟 ⋀ 𝑠)]
- Argumento:
Luis estudia en la UNAD y tiene un examen, no llega temprano y reprueba.
p∧q: Luis estudia en la UNAD y tiene un examen
¬r∧s: No llega temprano y reprueba.
(p∧q)]↔(¬r∧s) : Luis estudia en la UNAD y tiene un examen, si y solo si no llega temprano y reprueba.
- Proposición simple del argumento:
p: Luis estudia en la UNAD
q: Luis tiene un examen
r: Llega temprano
s: Luis reprueba el examen.
- Simulador Lógica UNAD:
[pic 1][pic 2]
- Tabla de verdad manual: (Internet, 2016)
p | q | r | s | [(𝑝 ∧ 𝑞) ⟷ (∼𝑟 ⋀ 𝑠)] | ||||||
V | V | V | V | V | V | V | F | F | F | V |
V | V | V | F | V | V | V | F | F | F | F |
V | V | F | V | V | V | V | V | V | V | V |
V | V | F | F | V | V | V | F | V | F | F |
V | F | V | V | V | F | F | V | F | F | V |
V | F | V | F | V | F | F | V | F | F | F |
V | F | F | V | V | F | F | F | V | V | V |
V | F | F | F | V | F | F | V | V | F | F |
F | V | V | V | F | F | V | V | F | F | V |
F | V | V | F | F | F | V | V | F | F | F |
F | V | F | V | F | F | V | F | V | V | V |
F | V | F | F | F | F | V | V | V | F | F |
F | F | V | V | F | F | F | V | F | F | V |
F | F | V | F | F | F | F | V | F | F | F |
F | F | F | V | F | F | F | F | V | V | V |
F | F | F | f | F | F | F | V | V | F | F |
El resultado es una Contingencia; porque se obtuvieron proposiciones verdaderas y falsas. (Ortega, 2014)
PANTALLAZO ELABORACIÓN TABLA DE VERDAD MANUAL
[pic 3]
Bibliografía
Cardona, T. S. (2010). Lógica matemática para ingeniería de sistemas y computación. Madrid: Ediciones Elizcom.
...