Lógica Proposicional

Alexis Adrian Villalobos Salazar

Lógica Matemática Digital

Instituto IACC

30 de enero de 2019
 Desarrollo

1.- Construya proposiciones simples y enúncielas con letras minúsculas de la “p” en

adelante.

Respuesta:

p V q = La universidad es una institución de nivel superior o una para educación básica

r Λ s = Los profesores son ingenieros y técnicos superiores

t ↔ u = Los perros no pueden entrar a la universidad excepto si llevan una correa

v → w = Si logras llevar al perro entonces recuerda llevar los libros

¬ x→ y = Si no llevas los libros entonces aplazarás todas tus materias

2.- Construya las formulas correspondientes al enunciado.

Respuesta:

p V q = La universidad es una institución de nivel superior o una para educación básica

r Λ s = Los profesores son ingenieros y técnicos superiores

t ↔ u = Los perros no pueden entrar a la universidad excepto si llevan una correa

v → w = Si logras llevar al perro entonces recuerda llevar los libros

¬ x→ y = Si no llevas los libros entonces aplazarás todas tus materias

3.- Determine la tabla de verdad para dichas formulas.

Respuesta:

p V q = La universidad es una institución de nivel superior o una para educación básica

p q pVq
1 1 1
1 0 1
0 1 1
0 0 0

r Λ s = Los profesores son ingenieros y técnicos superiores

r s rΛs
1 1 1
1 0 0
0 1 0
0 0 0

t ↔ u = Los perros no pueden entrar a la universidad excepto si llevan una correa

t u t↔u
1 1 1
1 0 0
0 1 0
0 0 1
v → w = Si logras llevar al perro entonces recuerda llevar los libros

v w v→w
1 1 1
1 0 0
0 1 1
0 0 1

¬ x→ y = Si no llevas los libros entonces aplazarás todas tus materias

x y ¬x v→w
1 1 0 1
1 0 0 1
0 1 1 1
0 0 1 0
 Bibliografía

IACC (2019). Lógica Matemática y Digital, Lógica proposicional, semana 2.

IACC (2019).Lógica Matemática y Digital, recursos adicionales, Ejercicios resueltos,
semana 2.