Boa noite! alguém poderia resolver estas de Lógica Matemática pata mim?

A 2ª premissa é uma proposição simples, e, portanto, só possui uma forma de ser verdadeira. P1. A → C P2. ~C = Como ~C é verdade, logo C é F P3. ~B → A.

1. A → F= para que a condicional seja verdade é necessário que A tenha valor lógico F
2. ~F
3. ~B → A

Onde, o valor lógico de A é F.

Então:

1. F → F
2. ~F
3. ~B → F = para que a condicional seja verdade é necessário que B tenha valor lógico F, e daí B é V.

Onde, o valor lógico de B é V.

Resultado: Carina é cunhada de Carol e Carmem é amiga de Carol.