Lucas é ruivo. Se Lucas é ruivo, André tem olhos claros. Se André tem olhos claros, Mariana gosta de jogar vôlei e Ana não gosta de andar de bicicleta. Se Mariana gosta de jogar vôlei e Ana não gosta de andar de bicicleta, Isabeli foi ao cinema com sua irmã Gabriela. Se Isabeli foi ao cinema com a sua irmã Gabriela, Renan corre aos finais de semana. Considerando que Renan não corre aos finais de semana, é correto afirmar que:

Analise as proposições abaixo:
P= Pedro é engenheiro
Q = Ana é médica
Traduzindo para a linguagem das proposições lógicas ~( P ˄ ~Q ), tem-se: