Abaixo, uma tabela com esquemas de estruturas lógicas para quatro tipos diferentes de deduções e uma tabela-verdade. As letras P e Q representam sentenças. Os símbolos \( ¬ \) , \( \rightarrow \) e \( \vee \) são conectivos lógicos usuais de negação, implicação e disjunção, respectivamente.

P	Q	P\( \vee \)Q
V	V	V
F	F	F
V	F	V
F	V	V

Considerando as informações acima e o cálculo proposicional, assinale a alternativa correta.