Ejercicios de lógica

Para los que tenéis que recuperar, sabed que contáis con numerosos ejercicios de lógica en auladefilosofia.net.
Algunos símbolos lógicos son distintos en esta página. En concreto:

• Conjunción: "&."
• Implicación: "->".
• Coimplicación o bicondicional: "<->".
• Conclusión: "I-".
• "IB" = "ICO" (Regla de Introducción de coimplicador o bicondicional).
• "EB" = "ECO" (Regla de Eliminación de coimplicador o bicondicional).