Se em uma disjunção A ∨ B a proposição A é verdadeira, qual o valor lógico de A ∨ B e de ¬(A ∨ B)?

A ∨ B = V e ¬(A ∨ B) = F

Quando uma das disjunções é verdadeira, a disjunção inteira é verdadeira, portanto sua negação é falsa.

exemplo:
Considere \(r = V\) e \(t = F\).
Calcula-se \(r \vee t = V\).
Logo \( \neg(r \vee t) = F\).