Evaluador de Argumentos Lógicos
Analiza la validez de argumentos deductivos mediante lógica proposicional y sectores de verdad
Separa cada premisa con comas. Operadores: ¬ (no), ∧ (y), ∨ (o), → (implica), ↔ (equivale)
Ingresa una única conclusión