Lógica Proposicional.

Alex Burtor

Lógica Matemáticas y Digital

Instituto IACC

19-06-2021
 Desarrollo

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 (3 puntos).

 Los profesores son ingenieros y técnicos superiores.

p = Los profesores son ingenieros.
q = Los profesores son técnicos superiores.

 La universidad es una institución de nivel superior o una para educación

básica.
r = La universidad es una institución de nivel superior.
s = la universidad es una institución para educación básica.

 Si logras llevar al perro entonces recuerda llevar los libros.

t = Si logras llevar al perro.
u = Recuerda llevar los libros.

 Los perros no pueden entrar a la universidad excepto si llevan una correa.

v = Los perros no pueden entrar a la universidad.
w = Los perros con correa pueden entrar a la universidad.

 Si no llevas los libros entonces aplazarás todas tus materias.

x = Si no llevas los libros.
y = Aplazaras tus materias.
2) Construya las fórmulas correspondientes al enunciado (3 puntos).

 Los profesores son ingenieros y técnicos superiores.

p = Los profesores son ingenieros.
q = Los profesores son técnicos superiores.
p^q

 La universidad es una institución de nivel superior o una para educación

básica.
r = La universidad es una institución de nivel superior.
s = la universidad es una institución para educación básica.
rvs

 Si logras llevar al perro entonces recuerda llevar los libros.

t = Si logras llevar al perro.
u = Recuerda llevar los libros.
t→u

 Los perros no pueden entrar a la universidad excepto si llevan una correa.

v = Los perros pueden entrar a la universidad.
w = Los perros usan correa.
v↔w

 Si no llevas los libros entonces aplazarás todas tus materias.

x = Si no llevas los libros.
y = Aplazaras tus materias.
¬x → y

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

1= Verdadero
0= Falso

 Conjunción u operador lógico “Y”, solo será verdadero si ambas lo son.

p^q

p q p^q
1 1 1
1 0 0
0 1 0
0 0 0
 Disyunción u operador lógico “O”, solo será falsa cuando ambas son falsas.

rvs

r s rvs
1 1 1
1 0 1
0 1 1
0 0 0

 Condicional u operador lógico “Si...entonces”, solo será falsa, cuando la

primera es verdadera y la segunda es falsa.

t→u

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

 El bicondicional u operador lógico “si y solo si”, La bicondicion de dos

proposiciones es verdadera si y solo si ambas proposiciones tienen el mismo
valor lógico.

v↔w

v w v↔w
1 1 1
1 0 0
0 1 0
0 0 1
  Condicional u operador lógico “Si...entonces”, solo será falsa, cuando la
primera es verdadera y la segunda es falsa.

¬x → y

¬x y x→y
0 1 1
0 0 1
1 1 1
1 0 0

Bibliografía

Material Semana 2

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

Instrucciones para la sección de las citas bibliográficas:

Escriba la bibliografía aquí en orden alfabético (empezando por el apellido del primer autor o, de
no haber autor, por la primera palabra del título). Esta página ya está formateada con sangrías
francesas. Incluya sólo las citas bibliográficas a las que haya hecho referencia en su trabajo y
asegúrese de incluir todas las citas bibliográficas a las que se haya referido en el mismo.

Ejemplos de un artículo:

Apellido, A. A., Apellido, B. B., y Apellido, C. C. (año). Título del artículo específico. Título
de la Revista, número de la revista, número de página.
https://doi.org/xx.xxxxxxxxxx

Lee, H. W. (2005). Los factores que influyen en los expatriados. Journal of American Academy of
Business, 6(2), 273-279.

Osorio-Delgado, M. A., Henao-Tamayo, L. J., Velásquez-Cock, J. A., Cañas-Gutiérrez, A. I.,

Restrepo-Múnera, L. M., Gañán-Rojo, P. F., Zuluaga-Gallego, R. O., Ortiz-Trujillo, I C. y
Castro-Herazo, C. I. (2017). Aplicaciones biomédicas de biomateriales poliméricos.
DYNA, 84(201), 241-252. https://doi.org/10.15446/dyna.v84n201.60466

Nota: Si el artículo de la revista no tiene un DOI y proviene de una base de datos de investigación académica,
finalice la referencia después del rango de páginas. No incluya información de la base de datos en la
referencia. La referencia en este caso es la misma que para un artículo de revista impresa. Si el artículo de la
revista no tiene un DOI, pero tiene una URL que resolverá para los lectores (por ejemplo, es de una revista en
línea que no forma parte de una base de datos), incluya la URL del artículo al final de la referencia, en vez del
DOI.

Ejemplos de un texto:

Apellido, N. N. (año). Título del texto. Editorial. http://www.dirección.com

McShane, S. L., y Von Glinow, M. (2004). Organizational behavior: Emerging realities for the
workplace. The McGraw-Hill Companies.

Panza, M. (2019). Números: elementos de matemáticas para filósofos.  Universidad Del Valle.