Proposições e valor lógico. Equivalência e negação.