Está en la página 1de 5

Lógica Proposicional

Pedro Cortes Díaz

Lógica Matemática y Digital

Instituto IACC

15/04/2018
Desarrollo

1) Evalúe la siguiente expresión con proposiciones y conectivos lógicos. A partir del resultado, determine
si es tautología, contradicción o contingencia:

X = (¬p v q) ∧ (p ∧ ¬r)

p q r ¬ p ¬r ¬ p v q p^¬r ( -P V Q) ^ (P ^ -R)
V V V F F V F F
V V F F V V V V
V F V F F F F F
V F F F V F V F
F V V V F V F F
F V F V V V F F
F F V V F V F F
F F F V V V F F

X=

¬ p v q p^¬r (¬p v q) ^ (p^¬r)

V F F
V V V
F F F
F V F
V F F
V F F
V F F
V F F

Dado la dificultad de verdad podemos determinar lo siguiente, que la proposición de


contingencia ya que sus resultados son tanto verdaderos con falsos. A diferencia de la tautología
y contradicción en donde sus resultados son verdaderos y falsos respectivamente.

2) Simplificar las siguientes expresiones lógicas utilizando equivalencias y las leyes del álgebra de Boole.
a. X = (A + B)(A + C)

X=A*A+A*C+ B *A+B*C

Teorema A * A = A

X=A+A*C+B*A+B*C

Teorema A + A * C = A

X=A+B*A+B*C
A + A * B + B * C

Teorema A + A * B = A

X=A + B * C

´ ´
b. P=( Z + X́´Y ) ( Y +W )

_ _
P = (Z + X * Y) ( +W)
_ _ _ _
P=Z*Y+Z*W+X*Y*Y+X*Y*W

Teorema Y * Y = Y
_ _ _ _
P= Z * Y + Z * W + X * Y + X * Y * W
_ _ _
P = Z * (Y + W) + X * Y + X * Y * W
_ _ _
P = Z * (Y + W) + X * Y + X * Y * W

Sea X * Y = A

W=B
_
P = Z * (Y + W) + A + A * B
Teorema A+A *B = A

_
P = Z * (Y + W) + A
_ _
P = Z * (Y + W) + X * Y

En este ejercicio se aplico la simplificación a través de teoremas , los que nos dió la posibilidad
de facilitar el resultado de los ejercicios.
Como dato adicional estuve leyendo el contenido de lógica proporcional de la página 9, ejemplos
de algebra de boole.

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:
Bibliografía
McShane, S. L., & Von Glinow, M. (2004). Organizational behavior: Emerging realities for the
[Haga triple clic en cualquier parte de este párrafo para escribir la primera referencia
workplace. New York: The McGraw-Hill Companies.

bibliográfica.]
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.