a) proposição
           4. Conectivos Lógicos

 

Do ponto de vista de lógica formal, a relação entre a proposição antecedente e conseqüente não é fundamentalmente importante.

A: Se o céu é azul então as estrelas brilham.
B: Se o computador é um aparelho eletrônico então João gosta de estudar.

Note que não existem relações entre as proposições antecedentes e conseqüentes e no entanto A e B são proposições compostas que utilizam os conectivos condicional.

Mais adiante, no capítulo que se refere aos operadores lógicos sobre proposição, este conceito será detalhado.