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.