Control Semanal 2

Mayker Céspedes Urriola

Lógica Matemática Y Digital

09-11-2020
 Desarrollo

La lógica de proposiciones es parte fundamental del estudio de la lógica y es muy

necesaria para comprender el estudio de la lógica moderna, luego de que se
reconozcan estas, se da inicio al trabajo con los diferentes conectivos lógicos y el
operador unario para de esta manera crear un conjunto de enunciados lógicos
complejos.
Teniendo en cuenta cada uno de los aspectos anteriores, estos son necesarios para
poder diseñar y construir las tablas de la verdad, las cuales son herramientas
facilitadoras. Mediante el uso de estas se puede obtener el valor lógico de un conjunto
de proposiciones y representarlas de manera mucho más simple, para así lograr
comprender el valor de la proposición, además de que permite organizar todo el
conjunto que se está evaluando.
Partiendo de lo anterior, es estrictamente necesario comprender la funcionalidad de
cada uno de los conectivos lógicos y sus diferentes expresiones además de los
resultados que estos generan al ser evaluados en dos proposiciones, ya que a futuro
será la base para comprender teorías y operaciones más complejas.

Lea atentamente el siguiente texto:

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.

A partir de lo anterior:
1) Construya proposiciones simples y enúncielas con las letras minúsculas de la “p” en
adelante.

p = La universidad es una institución de educación superior.

q = La universidad es una institución para la educación básica.
r = Los profesores son ingenieros.
s = Los profesores son técnicos superiores.
t = Los perros pueden entrar a la universidad.
¬t = Los perros no pueden entrar a la universidad si no llevan correa.
u = Si llevas al perro recuerda llevar los libros.
¬u =Tú no recuerdas llevar los libros aplazaras la materia

2) Construya las fórmulas correspondientes al enunciado.

p ∨ 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.
t ↔ u = Si logras llevar al perro entonces recuerda llevar los libros
3) Determine la tabla de verdad para dichas fórmulas.

p ∨ q = La universidad es una institución de nivel superior o una para educación

básica.
p q p∨q
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

t→¬u= Si logras llevar al perro entonces recuerda llevar los libros si no llevas los libros
aplazas la materia.

t u ¬u t→¬u
1 1 0 0
1 0 1 1
0 1 1 1
0 0 0 0

Bibliografia

IACC (2018). Lenguaje y lógica simbólica. Lógica Matemática y Digital. Semana 1.

IACC (2018). Lógica proposicional. Lógica Matemática y Digital. Semana 2.