Conectivo

Como antes descrevemos na aula anterior, as operacoes logicas fundamentais sao: negação,
conjunção, disjunção, condicional e bicondicional.

Estas operacoes sao aplicadas sobre as preposicoes, que sao afirmacoes sobre as quais
podemos dizer se elas sap falsas ou verdadeiras. Duas preposicoes podem ser unidas
formando assim uma unica frasee com significados difrentes.

Os conectores logicos sao:

Operação Conectivo Estrutura Lógica Exemplos

Negação ~ Não p A bicicleta não é azul

Thiago é médico e João é
Conjunção ^ Peq
Engenheiro

Thiago é médico ou João é
Disjunção Inclusiva v P ou q
Engenheiro

Ou Thiago é Médico ou João é
Disjunção Exclusiva v Ou p ou q
Engenheiro

Se Thiago é Médico então João
Condicional → Se p então q
é Engenheiro

Thiago é médico se e somente s

Bicondicional ↔ P se e somente se q
e João é Engenheiro