Formas proposicionales y formalización
Enviado por Kathy Sampedro • 2 de Octubre de 2023 • Apuntes • 546 Palabras (3 Páginas) • 26 Visitas
[pic 1]
TALLER DE APRENDIZAJE PRÁCTICO EXPERIMENTAL (APE) N°
DATOS INFORMATIVOS
Carrera: Educación Básica
Asignatura: Matemáticas
Apellidos y nombres: Matute Sampedro Katherine Michelle
Curso: Nivelación “A”
Tema: Formas proposicionales y formalización
Fecha: viernes 4 de diciembre de 2020
ACTIVIDAD: Resuelva los siguientes ejercicios de proposiciones y escriba la forma proposicional a la que corresponde cada uno.
EJERCICIO 1: ¬ (p v q) ↔ (¬ p v ¬ q) . 22
p | q | ¬ p | ¬ q | (p v q) | ¬ (p v q) | (¬ p v ¬ q) | ¬ (p v q) ↔ (¬ p v ¬ q) |
V | V | F | F | V | F | F | V |
V | F | F | V | V | F | V | F |
F | V | V | F | V | F | V | F |
F | F | V | V | F | V | V | V |
FORMA PROPOSICIONAL= SATISFACIBLE, PERO NO ES VALIDA
EJERCICIO 2: (p ˄ q) → p . 22
p | q | (p ˄ q) | (p ˄ q) → p |
V | V | V | V |
V | F | F | V |
F | V | F | V |
F | F | F | V |
FORMA PROPOSICIONAL= Validez o tautología
EJERCICIO 3: (p → q) v (p v ¬ q). 22
p | q | ¬ q | (p → q) | (p v ¬ q) | (p → q) v (p v ¬ q) |
V | V | F | F | V | V |
V | F | V | V | V | V |
F | V | F | V | F | V |
F | F | V | V | V | V |
FORMA PROPOSICIONAL= Validez o Tautología
EJERCICIO 4: p → (p v q) . 22
p | q | (p v q) | p → (p v q) |
V | V | V | V |
V | F | V | V |
F | V | V | V |
F | F | F | V |
FORMA PROPOSICIONAL= Validez o Tautología
EJERCICIO 5: (¬ q ↔ p) → (¬ r ˄ ¬ q) . 23
p | q | r | ¬ q | ¬ r | (¬ q ↔ p) | (¬ r ˄ ¬ q) | (¬ q ↔ p) → (¬ r ˄ ¬ q) |
V | V | V | F | F | F | F | V |
V | V | F | F | V | F | F | V |
V | F | V | V | F | V | F | F |
V | F | F | V | V | V | V | V |
F | V | V | F | F | V | F | F |
F | V | F | F | V | V | F | F |
F | F | V | V | F | F | F | V |
F | F | F | V | V | F | V | V |
...