Proposições lógicas são declarações em raciocínio lógico que podem ser claramente identificadas como
verdadeiras ou falsas, mas não ambas simultaneamente. Elas formam a base do raciocínio lógico,
permitindo a construção de argumentos e a aplicação de operações lógicas para derivar novas proposições
e realizar inferências. A partir desse tema, é possível afirmar que (A→¬B) ↔ (A∧B) se trata de um(a)?