LÓGICA MATEMÁTICA

PRACTICA DE LÓGICA MATEMÁTICA: PARTE II

1. SIMPLIFICAR LAS PROPOSICIONES SIGUIENTES:

[~p  q]  [~q  ~p]

[(p p)  q]  [~q  (r  q)]  [p  (p  ~q)]

ING. EDITH GUTIÉRREZ 1

 LÓGICA MATEMÁTICA

2. CONSTRUIR EL CIRCUITO LÓGICO QUE REPRESENTA A

CADA UNA DE LAS PROPOSICIONES SIGUIENTES:
{[ ~ r ˄ (p ˅ q)] ˅ [(~ p ˅ r) ˄ (~ q ˅ ~ r)]} ˄ [~ p ˅ (q ˄ r)]

3. ESCRIBIR LA PROPOSICIÓN QUE CARACTERIZA A CADA

UNO DE LOS SIGUIENTES CIRCUITOS LÓGICOS, Y
SIMPLIFICAR:

FORMULA PROPOSICIONAL

FORMULA PROPOSICIONAL

ING. EDITH GUTIÉRREZ 2

 LÓGICA MATEMÁTICA

4. EN CADA UNO DE LOS SIGUIENTES EJERCICIOS, DEMOSTRAR LA

CONCLUSIÓN DADA HACIENDO EL USO DE LAS REGLAS DE
INFERENCIA.
a. Demostrar: u ˄ ~ v
1. v→~p

2. p˄~t

3. s→t

4. q→u

5. s ˅ (q ˄ r)

b. Demostrar: x=3 ˅ y < 2

1. x=y v x<y
2. (x < 3 ˄ y =x+1) → y ≠ 8
3. x=3 ˅ y=8
4. x≠y ˄ y=x+1
5. x≮3→x≮y

ING. EDITH GUTIÉRREZ 3