-
Pessoal, com "se ->então" verdadeiras só basta voltar negando ( "A->B" fica "¬B->¬A").
No caso, “Maria é solteira, então Carlos é corredor''.
Após
voltar negando fica; Carlos não é corredor ¬B, então -> Maria não é solteira ¬A .
-
complementando o comentario do colega:
se não achar essa opção, voce nega a da frente e troca o SE ENTÃO pelo OU repetindo a segunda proposição.
foco, força e fé....
“Maria é solteira, então Carlos é corredor''
ficaria assim:
"Maria não é solteira OU Carlos é corredor.
-
Letra B
Devemos prestar atenção nesta equivalência, pois ela tem duas formas, se não der numa vai dar certo na outra.
p
→ q = ~q →~p (chamada de contra-positiva troca de posição e
nega as proposições
Se Carlos não é corredor então maria não é solteira então
p
→ q = ~p v q (dupla negação) nega o antecedente ou mantém o
consequente
Maria não é solteira ou Carlos é corredor
-
“Maria é solteira, então Carlos é corredor''
Inverte e nega tudo.
Mantém o conectivo "se...então"
P1: Maria é solteira
P2: Carlos é corredor
¬P2 se então ¬P1
Se Carlos não é corredor, então Maria não é solteira.
-
Resolvi da seguinte forma: P>Q <> ~Q > ~P