Foi uma símbolo que estava errada Pedro, mas a resolução do exercício estava correta, recoloquei abaixo, porque o QC não permitiu editar:
Ana é Alta ===> Carla é alta
Dani é Alta ===> Flávia é alta
Ana é baixa ou Flávia é baixa - Essa será nossa premissa. Vamos assumir que Ana é baixa seja VERDADEIRA e Flávia é baixa seja FALSA. Ficará assim:
F V
Ana é Alta ===> Carla é alta
F V
Dani é Alta ===> Flávia é alta
V F
Ana é baixa ou Flávia é baixa.
Agora é só vermos qual é a questão certa:
a) F ^ F = F
b) V v V = V (nosso gabarito)
c) V => F = V
d) F <=> V = F
b-
p->q
r->s
Ora, Ana é baixa ou Flávia é baixa.
"Ana é baixa" nao altera nada na conclusao. p ou ~p ainda pode ter q como conclusao.
"Flávia é baixa" é negação de conclusao verdadeira, tornando-a F. Isso obriga a premissa a ser F para ser argumento valido.
Se Dani é alta (F), então Flávia é alta (F).