a) proposição |
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. 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.
|