Question

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

Answer 1

Resposta:

F → F = V

F space rightwards arrow space F equals V

Explicação: