Ejemplos para el desarrollo Tarea 1 - Proposiciones y Tablas de Verdad
Enviado por Marielly Astaiza • 30 de Agosto de 2018 • Apuntes • 295 Palabras (2 Páginas) • 742 Visitas
Anexo -1-Ejemplos para el desarrollo Tarea 1 - Proposiciones y Tablas de Verdad
Apreciados estudiantes.
A continuación usted podrá consultar los ejemplos para el desarrollo de la tarea 1:
Ejemplos de desarrollo de los ejercicios de la tarea 1:
Ejercicio 2: Proposiciones y Tablas de Verdad
Proposiciones simples:
p: El estadio del Deportes Tolima se llama “Manuel Murillo Toro”
q: Un equipo de futbol lo componen 12 jugadores
(𝒑⋀𝒒)↔(¬𝒑∨¬𝒒)
Proposición compuesta en lenguaje natural:
El estadio del Deportes Tolima se llama “Manuel Murillo Toro” y Un equipo de futbol lo componen 12 jugadores, si y solamente si El estadio del Deportes Tolima NO se llama “Manuel Murillo Toro” o Un equipo de futbol NO lo componen 12 jugadores.
Valor de verdad proposiciones simples:
𝒑: V
𝒒: F
Valor de verdad proposición compuesta:
(𝒑⋀𝒒)↔(¬𝒑∨¬𝒒)
(V⋀ F) ↔(F ∨ V)
(F) ↔ (V)
F
Ejercicio 3: Problemas de aplicación
- Expresión formal o simbólica (dada en el planteamiento del ejercicio):
[(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)
- Definición de las proposiciones simples
p: participo en los CIPAS
q: participo en los B-learning
r: debo obtener buenas calificaciones
s: apruebo el curso de pensamiento Lógico y Matemático
- Lenguaje natural de la expresión formal
Si participo en los CIPAS entonces participo en los B-learning. Si no participo en los CIPAS, debo obtener buenas calificaciones. Si obtengo buenas calificaciones, apruebo el curso de Pensamiento Lógico y Matemático. Por lo tanto, si no participo en los B-learning, apruebo el curso de pensamiento Lógico y Matemático.
- Generar la tabla de verdad manualmente
p | q | r | s | ~p | ~q | (𝑝⟶𝑞) | (∼𝑝⟶𝑟) | (𝑟⟶𝑠) | (∼𝑞⟶𝑠) | [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)] | [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠) |
V | V | V | V | F | F | V | V | V | V | V | V |
V | V | V | F | F | F | V | V | F | V | F | V |
V | V | F | V | F | F | V | V | V | V | V | V |
V | V | F | F | F | F | V | V | V | V | V | V |
V | F | V | V | F | V | F | V | V | V | F | V |
V | F | V | F | F | V | F | V | F | F | F | V |
V | F | F | V | F | V | F | V | V | V | F | V |
V | F | F | F | F | V | F | V | V | F | F | V |
F | V | V | V | V | F | V | V | V | V | V | V |
F | V | V | F | V | F | V | V | F | F | F | V |
F | V | F | V | V | F | V | F | V | V | F | V |
F | V | F | F | V | F | V | F | V | F | F | V |
F | F | V | V | V | V | V | V | V | V | V | V |
F | F | V | F | V | V | V | V | F | F | F | V |
F | F | F | V | V | V | V | F | V | V | F | V |
F | F | F | F | V | V | V | F | V | F | F | V |
...