1.

La proposición:
{p  [(p  q)] }  (pq) 10. Dado el esquema:
{[(p  q)  p] / (q  p) } (p  q) ;
tiene como fórmula equivalente a: tiene por equivalente a:
A) p B) q C) p  q A) p  q B) q  p C) p  q
D) p  q E) p  q D) p  q E) p  q
2. La proposición:
[(A  B)  C]  [(B  C)  (A  D)] 11. Se define el operador proporcional ∗ como:
Equivale a: 𝑝 ∗ 𝑞 = 𝑝 → (¬𝑝 ↓ ¬𝑞)
A) D  0 B) D  1 C) 1  -D Entonces la fórmula:
D) D  D E) 0  D (𝑝 ∗ 𝑞) ∧ ¬(𝑞 ∗ 𝑝)
EQUIVALENTE A:
a) ¬𝑝
3. Al simplificar, la fórmula proposicional:
b) 𝑝 ∨ 𝑞
[(A  C)  (B  A)]  [(B  A)  (C A)] c) ¬𝑝 ∧ 𝑞
tiene como equivalente a: d) ¬𝑝 ∧ ¬𝑞
A) A  B B) A  A C) A  B e) 𝑝 ∧ ¬𝑞
D) (A  B)  A E) (A  B)  A
12. La función de verdad principal de la formula
4. Al reducir la fórmula: proposicional:
(q  p)  { [(p  q)  (r s)]  [(sr)  (p  q)] } ~[(𝑝|~𝑞) ↓ (𝑝|𝑞)] ∨ (𝑝 ∨ 𝑞) ∨ ~[(𝑝|𝑞) ↓ (𝑝|~𝑞)]
Se obtiene como equivalente: ES:
a) ~𝑝 ∨ 𝑞
A) p B) q C) p  q b) 𝑝 ∨ 𝑞
D) (p  q) E) p  q c) ~𝑝 ∨ 𝑞
5. La simplificación del esquema, es: d) 𝑝 ∨ ~𝑞
e) ~𝑝 ∧ 𝑞
(A  B)  { [(C  D)  (C / D)]  (A  B) }
13. Se define:
A) A  C B) A  B C) B  A (𝑝 ∗ 𝑞) = (𝑝 ∧ 𝑞) ∧ (𝑞 ∨ ~𝑝)
D) A  B E) A  B Al simplificar:
6. La fórmula: {[(~𝑝 ∗ 𝑞) → 𝑞] → [𝑝 → (𝑝 ∗ 𝑞)]} ∧ (𝑝 → 𝑞)
[(p  q)  (q  p)  (p  q)]  (r  q  p) Se obtiene:
Tiene como mínimo equivalente a: a) 𝑝 → ~𝑞
A) p  q B) q  p C) p  q b) 𝑞 → ~𝑝
D) p  q E) p  q c) 𝑞 → 𝑝
d) 𝑝 → 𝑞
e) 𝑝 ∨ 𝑞
7. La proposición formal:
[(A  D)  (B  A)]  (D  B); 14. Si se cumple que :
equivale a: A B  A  B
A) A  A B) A  A C) A  A ABAB
D) A  A E) A  A [(A  B)  B]  [(A  B)  (A  B)]
8. Dado el esquema: Es equivalente a:
{[(p  q)  (r  p) ]  q } [ (p  q)  (p / q)] A) A  B B) A  B C)  B
; tiene como equivalente a: D) A  B E) A  B
A) p  q B) p  q C) p  q 15. La fórmula lógica {[(p  q)  r]  (q  p)}  r
D) p  q E) r  r Simplificada, es equivalente a:
9. Dado el esquema: A) (q / r)  p B) (pq) r
[ (p  q)  (r  s)]  {[(r  s)  (r  s)]  (s t)} C) p (q r) D) (pp)  (r  p)
tiene por equivalente a: E) p  (q / r)
A) p  r B) p  q C) p  p
D) p  q E) p  p