Escolar Documentos
Profissional Documentos
Cultura Documentos
Nombres y Apellidos:____________________________________________________________
1. [p→(q∨r)] → [(s↔q)∨(~s↔r)]
2. {[(p∨q)→~r]∧(~r→s)}→[(p∨q)→s]
3. [(p→~r)→(r→s)]→~[(s↔q)∧~p]
4. [(~r↔q)∧~(p↔r)]→(p→q)
2. No es cierto que Pizarro conquistó el Perú y no fue español, dado que Pizarro
conquistó el Perú si y solo si no fue marino pero fue español
3. [(p∧q) ∨ r] ∨ s ↔ ~[~(p∧q)→r] → s
4. ~(p∧q∧r) ↔ ~p∨~q∨~r
5. p→[~p→(q→r)] ↔ (p∧~p∧q)→r
2
1. (q∧p)
2. q→(~s∧p)
3.(r∨~s) → ~t // ∴ z ∨ ~t
1. p ∨ (q∧r)
2. p→s
3. s→r // ∴ r
1. p→~q
2. r→q
3. ~r→s
5. p∨~p // ∴ s
1. (p↔q)
2. r
3.~(~q∧p)→~s // ∴ ~(r→s)
1. ~p ∨ ~(~r→~q)
2. ~s→~(~r∧~p)
3. ~(~r→~q)↔~p // ∴ s∧q
3
1. r→(~q→~p)
2. [~r∨(s∨t)]→ (s∨q)
3. r ∨ [~(s∨t)→~r]
4. ~r→~(s∨q)
5. ~p∨q // ∴ s∨t
x∨ y
es equivalente al circuito:
4