Lógica proporcional

Francisco Iván Collipal Ortega

Lógica matemática y digital

Instituto IACC

10/11/18
 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 (3 puntos)

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

q= los profesores son ingenieros y técnicos superiores
r= se sabe que los perros no pueden entrar a la universidad excepto si llevan una correa
s= si logras llevar al perro entonces recuerda llevar los libros
t= si no llevas los libros entonces aplazarás todas tus materias

2) Construya las fórmulas correspondientes al enunciado (3 puntos).

pVu
qΛp
r ¬u
s →r
t →u
3) Determine la tabla de verdad para dichas fórmulas (3 puntos).
p u pVu Q P qΛp
1 1 1 1 1 1
1 0 1 1 0 0
0 1 1 0 1 0
0 0 0 0 0 0

p u s →r
p ¬u 1 1 1
1 0 1 0 0
0 1 0 1 1
0 0 1

p u t →u
1 1 1
1 0 0
0 1 1
0 0 1
 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.

Ejemplo de un periódico:

Lee, H. W. (2005). Los factores que influyen en los expatriados. Journal of American Academy of

Business, 6(2), 273-279. Consultado el 29 de enero de 2009, del banco de datos

ProQuest.

Ejemplo de un texto:

McShane, S. L., & Von Glinow, M. (2004). Organizational behavior: Emerging realities for the

workplace. New York: The McGraw-Hill Companies.

NOTA: Liste las citas bibliográficas en orden alfabético del apellido del autor, NO por el
tipo de la publicación. Los ejemplos previos le ayudarán a darle formato a cada tipo de
publicación en forma adecuada.

Por ejemplo:

 Banco de datos EBSCOhost

 Banco de datos ProQuest
 EIU Viewswire
 InvestText Plus

Borre este recuadro de instrucciones antes de enviar su trabajo de investigación final.