Se \(P\lor Q\) é verdadeira e \(P\) é falsa, qual conclusão válida pode-se inferir?

\\(Q\)\
\
\Explicação:\
Se a disjunção \(P\lor Q\) é verdadeira e sabe-se que \(P\) é falsa (\(\neg P\)), para que a disjunção permaneça verdadeira o outro termo \(Q\) deve ser verdadeiro.\
Isso é dedução por eliminação da disjunção usando raciocínio pela tabela-verdade: quando uma disjunção é verdadeira e um disjuntor é falso, o outro é forçosamente verdadeiro.\
\
\Exemplo:\
Premissas: \(C\lor D\) e \(\neg C\).\
Aplicando o raciocínio: como \(C\lor D\) é verdadeira e \(C\) é falsa, conclui-se \(D\).\
Em linguagem natural: "Vou ao mercado ou cozinho em casa." e "Não fui ao mercado." ⇒ "Cozinhei em casa."