Lógica Proporcional. Lógica Matemática y Digital
Enviado por jehldaiz • 2 de Febrero de 2021 • Examen • 644 Palabras (3 Páginas) • 650 Visitas
Lógica Proporcional
Lógica Matemática y Digital
Instituto IACC
30-11-2020
La universidad es una institución de nivel superior o una para educación básica, los profesores son ingenieros y técnicos superiores, se sabe que los perros no pueden entrar a la universidad excepto si llevan una correa, si logras llevar al perro entonces recuerda llevar los libros, si no llevas los libros entonces aplazarás todas tus materias.
- Construya proposiciones simples y enúncielas con las letras minúsculas de la “p” en adelante.
A continuación, se mencionan las proposiciones encontradas en el texto:
p = La universidad es una institución de nivel superior
q = La universidad es institución para educación básica
r = Los profesores son ingenieros
s = Los profesores son técnicos superiores
t = Los perros no pueden entrar a la universidad excepto
u = Los perros llevan una correa.
v = El alumno lleva al perro a la universidad
w = El alumno lleva los libros
x = El alumno no lleva los libros a la universidad
y = El alumno aplazara todas sus materias
- Construya las fórmulas correspondientes al enunciado.
Fórmula para enunciado 1:
p = La universidad es una institución de nivel superior
q = La universidad es institución para educación básica
Conector: o Formula: p ˅ q
Fórmula para enunciado 2:
r = Los profesores son ingenieros
s = Los profesores son técnicos superiores
Conector: y Formula: r ˄ s
Fórmula para enunciado 3:
t = Los perros no pueden entrar a la universidad
u = Los perros llevan una correa.
Conector: excepto Formula: t ↔ u
Fórmula para enunciado 4:
v = El alumno lleva al perro a la universidad
w = El alumno lleva los libros
Conector: Entonces Formula: v → w
Fórmula para enunciado 5:
x = El alumno no lleva los libros a la universidad
y = El alumno aplazara todas sus materias
Conector: Entonces Formula: ¬ x → y
- Determine la tabla de la verdad para dichas formulas.
Tabla de la verdad para enunciado 1: (p ˅ q)
p | q | p ˅ q |
V | V | V |
V | F | V |
F | V | V |
F | F | F |
Tabla de la verdad para enunciado 2: (r ˄ s)
r | s | r ˄ s |
V | V | V |
V | F | F |
F | V | F |
F | F | F |
Tabla de la verdad para enunciado 3: (¬ t ↔ u)
t | u | ¬ t | ¬ t ↔ u |
V | V | F | F |
V | F | F | V |
F | V | V | V |
F | F | V | F |
Tabla de la verdad para enunciado 4: (v → w)
...