A lógica formal permite avaliar se um raciocínio é válido, isto é, se a conclusão decorre necessariamente das premissas. Analise as afirmações a seguir e assinale (V) para verdadeiro ou (F) para falso:
(__) Se todo mamífero é vertebrado e o cachorro é mamífero, então o cachorro é vertebrado.
(__) "Se estudo, passo; se não estudo, reprovo.", as duas partes são contrárias, portanto, o argumento é inválido.
(__) Dizer que "se chove, então o chão fica molhado" é logicamente equivalente a afirmar "se o chão não está molhado, então não choveu."
(__) O raciocínio por analogia é uma forma de dedução, pois parte de um caso geral para outro também geral.
(__) Em um argumento válido, é impossível que todas as premissas sejam verdadeiras e a conclusão seja falsa.
(__) De "todo aluno que lê compreende melhor" e "João lê", pode-se inferir logicamente que "João compreende melhor".
Assinale a alternativa que apresenta a sequência CORRETA: