a) proposição 4. Conectivos Lógicos
Da mesma forma que o conectivo condicional, em lógica formal, a relação entre as proposições não é fundamental. A: O céu é azul, se e somente se as estrelas brilham. B: O computador é um aparelho eletrônico, se e somente se João gosta de estudar. Não a relação entre as proposições. No momento em que for definir o valor lógico da proposição não há a necessidade da preocupação com esta relação, apenas com os valores lógicos das proposições simples.