Lógica Proporcional

Christian Valdés Álvarez

Lógica Matemática y Digital
Instituto IACC
21 de junio de 2021

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 preposiciones simples y enúncielas con letras minúsculas de la “p” en

adelante.

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

q= La universidad es para 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
u= los perros llevan correa
v= lograr llevar al perro
w= Recordar llevar los libros
x= Llevar los libros
¬ x= No llevar los libros
Y= Aplazar todas las materias

2.Construya las fórmulas correspondientes al enunciado.

p v q = La universidad es un instituto 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 correa.
V → w = Si logras llevar al perro entonces recuerda llevar los libros.
¬ x → y= Si no llevas tus libros entonces aplazaras todas tus materias.
3.Determine la tabla de verdad para dichas formulas.

p v q = La universidad es un instituto 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 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 tus libros entonces aplazaras todas tus materias.

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

IACC (2018). Lógica proporcional. Lógica Matemática y Digital. semana 2.

 Bibliografía

[Haga triple clic en cualquier parte de este párrafo para escribir la primera referencia

bibliográfica.]

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.

https://www.reddebibliotecas.org.co/