Considerando que a proposição “Mônica é solitária” é falsa, ...

Na tabela verdade, o ou... ou... trata-se de uma disjunção exclusiva, por esse motivo, somente será Verdadeiro se as proposições forem distintas.

V V = F

F F = F

V F = V

F V = V

A lógica é bem simples, e nem sequer precisa da tabela. Considerando que “Mônica é solitária” é P (falso), basta escrever o seguinte:

ou ~P (que já sabemos ser verdadeira, impossibilitando que possa ser falsa) ou Q ( "Quésia é cheirosa”)

Sabendo que as duas proposições não podem ser verdadeiras ao mesmo tempo, pois só uma pode ser verdadeira, logo, para que seja verdadeira, a proposição Q tem que ser necessariamente e exclusivamente falsa, já que já sabemos que P é verdadeira.

P: Mônica é solitária = falso

Q: Quésia é cheirosa = ?

BICONDICIONAL(ou...ou) é verdade quando valores iguais e falso quando diferentes.

Logo, como P=falso, ~P=verdadeiro. Sendo assim, Q precisa ser VERDADEIRO.

Portanto, ERRADO!

CERTO.

Considerando que a proposição “Mônica é solitária” é falsa, = (MS) = FALSO

A proposição “Ou Mônica não é solitária ou Quésia é cheirosa” = [(~ MS) ou..ou (QC)] é necessariamente verdadeira apenas se a proposição “Quésia é cheirosa” for falsa.

(MS) = FALSO

[(~ MS) ou..ou (QC)]

[(V) ou..ou (F)] = VERDADEIRO

Tabela verdade do "ou...ou" só é verdade quando uma for falsa e a outra verdadeira. (V) OU..OU (F) = VERDADE / (F) OU...OU (V) = VERDADE