Que conclusão lógica se obtém de \(P\lor Q\) e \(\lnot P\)?

Q é verdadeira.

Explicação:
Aplica-se o silogismo disjuntivo: de \(P\lor Q\) e \(\lnot P\) segue \(Q\).
Se \(P\) é falso, a disjunção \(P\lor Q\) só pode ser verdadeira se \(Q\) for verdadeira.

Exemplo:
Sentenças: "Há energia ou o gerador está ligado" (\(E\lor G\)).
"Não há energia" (\(\lnot E\)).
Logo conclui-se: "o gerador está ligado" (\(G\)).