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.