Questões sobre Implicação: Se p então q (representação p--->q)

7Considere a seguinte afirmativa:

“Se Carlos é engenheiro, então Ana é enfermeira ou professora.”

Uma sequência lógica equivalente a afirmativa acima é:

De acordo com a lógica, uma sentença equivalente a “ Francisco é matemático, então Carlos é físico” é:

Sabe-se que: 

Se X é vermelho, então Y não é verde. 

 Se X não é vermelho, então Z não é azul. 

Se Y é verde, então Z é azul.

Logo, deduz-se que:

A sentença “Se Arraial d’Ajuda é um distrito de Porto Seguro, então Trancoso é um distrito de Itabuna” equivale a:

A negação de “Se Carlos for casado então Pedro é viúvo” é: