Sabe-se que o cálculo proposicional apresenta uma série de reg...

Sabe-se que o cálculo proposicional apresenta uma série de regras que permitem definir se uma conclusão obtida a partir da análise de uma série de premissas (conjunto de proposições) é válida ou não. Neste caso, a preocupação não é com o valor verdade obtido, mas se o valor verdade obtido é ou não consistente. Qual das opções apresenta uma conclusão válida? Ocultar opções de resposta

Incorreta:
V space left right arrow space F space equals space V

F rightwards arrow V equals F

V rightwards arrow F space equals space V

V space left right arrow V logical and F equals V

F space rightwards arrow space F equals V