Classifique V para as sentenças verdadeiras e F para as falsas: ( ) Fornecem um teste rigoroso e completo para a validade ou invalidade de forma...

Classifique V para as sentenças verdadeiras e F para as falsas:
( ) Fornecem um teste rigoroso e completo para a validade ou invalidade de formas de um argumento da lógica proposicional.
( ) Constituem um algoritmo que sempre dá uma resposta após um número finito de operações.
( ) As tabelas-verdade não garantem a decidibilidade da lógica proposicional.
( ) São ineficazes em problemas que envolvem muitas letras proposicionais, pois o número de linhas cresce na ordem 2n.
Assinale a alternativa que apresenta a sequência CORRETA:


A V - F - V - F.
B V - V - F - V.
C F - V - V - V.
D V - V - V - F.