LÓGICA MATEMÁTICA Y DIGITAL

SEMANA 2

.
02-enero-2022
DESARROLLO
DESARROLLO DEL CONTROL: 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.

2) Construya las fórmulas correspondientes al enunciado.

3) Determine la tabla de verdad para dichas fórmulas.

Las proposiciones simples encontradas serian:

A) p= La universidad es una institución de nivel superior.

q= O es una institución de educación básica.

p˅q

p q p˅q
1 1 1
1 0 0
0 1 0
0 0 0
B)

r= Los profesores son ingenieros.

s= Y técnicos superiores.

r˄s

r s r˄s
1 1 1
1 0 0
0 1 0
0 0 0

C)

t= Los perros no pueden entrar a la universidad.

u= Los perros pueden entrar a la universidad con correa.

¬t→u.

t u ¬t ¬t→u

1 1 0 1

1 0 0 1

0 1 1 1

0 0 1 0
D)

v= Si logras llevar al perro.

w= Entonces recuerda llevar los libros.

v→w

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

E)

x= Si no llevas los libros.

y= Entonces aplazarás todas tus materias.

¬x→y

x y ¬x ¬x→y

1 1 0 1

1 0 0 1

0 1 1 1

0 0 1 0
REFERENCIAS BIBLIOGRÁFICAS
http://prepa8.unam.mx/academia/colegios/matematicas/paginacolmate/applets/tsm/Applets_Geogebra
/oplogicos.html

guía semana 2 lógica proposicional.

Material adicional (tablas de verdad).