Os conectivos lógicos são expressões cuja finalidade é ligar duas ou mais proposições. Eles estão presentes nas proposições compostas. Duas checagens são importantes para determinar se as proposições compostas são verdadeiras ou falsas:
- O valor das proposições que compõem as sentenças.
- O tipo de conectivo que liga as proposições de uma mesma sentença.
Observe a descrição a seguir:
“Simone é professora ou Pedro é aluno”.
Uma proposição será falsa, se todas as suas componentes forem falsas, e será verdadeira se uma das proposições for verdadeira, ou se todas elas forem. Resumindo: para ser verdadeira, pelo menos uma das sentenças deve ser verdadeira. A qual conectivo lógico essa descrição pertence?