1º Questão: Vamos "dar nome aos bois" kkk
p: Carina é amiga de Carol;
q: Carmem é cunhada de Carol;
r: Carina é cunhada de Carol.
Feito isso, a 1º questão pode ser traduzido em simbologia lógica por:
p --> q, ~q, ~r --> p
O próprio enunciado já diz "Carmem não é cunhada de Carol", logo ~q é verdade.
Se ~q é verdade, para que p -> q seja verdade, é necessário que ~p seja verdade
também (pela regra modus tolles: p -> q, ~q |- ~p).
Agora, sabendo que ~p e ~q são verdades, para que ~r -> p seja verdade é
necessário que ~~r também o seja.
Pela mesma regra modus tollens, ~r -> p, ~p|- ~(~r).
~(~r) = r, logo r é verdade.
Então temos que ~p, ~q e r são verdades.
Logo podemos concluir que: Carina não é amiga de Carol, Carmem não é cunhada de Carol e Carina é cunhada de Carol.
2ª Questão: ~((p <-> q) <-> r) ^ (~r -> (~q -> ~r))
A questão diz que V(p)=V (p é verdadeiro), V(q)=F (q é falso) e V(r)=F (r é falso)
Para facilitar a visualização e a resolução, vou substituir as letras das preposições por seus respectivos valores lógicos verdadeiro (v) ou falso (f), dessa maneira temos:
~((v <-> f) <-> f) ^ (~f -> (~f -> ~f)) =
~(f <-> f) ^ (v -> v) =
~v ^ v = f.
Logo o valor lógico da proposição composta P(p,q, r) é falso. V(P) = F.
Espero ter ajudado.
Para escrever sua resposta aqui, entre ou crie uma conta
Lógica Matemática e Teoria dos Conjuntos
Lógica Matemática e Teoria dos Conjuntos
Compartilhar