Gabarito: a)
Vamos analisar cada proposição composta considerando que "O cachorro é mamífero" é verdadeiro (V) e "vaca voa" é falso (F).
I. "O cachorro é mamífero ou vaca voa" - A disjunção é verdadeira se pelo menos um dos termos for verdadeiro. Como o cachorro é mamífero (V), a proposição é verdadeira (V).
II. "Se cachorro é mamífero, então vaca voa" - A condicional é falsa somente se o antecedente for verdadeiro e o consequente falso. Aqui, antecedente é V e consequente é F, logo a condicional é falsa (F).
III. "O cachorro é mamífero e vaca voa" - A conjunção é verdadeira somente se ambos forem verdadeiros. Como vaca voa é falso, a conjunção é falsa (F).
IV. "O cachorro é mamífero, se e somente se vaca voa" - A bicondicional é verdadeira se ambos os termos têm o mesmo valor lógico. Aqui, um é V e outro F, portanto é falsa (F).
Assim, a sequência correta é V F F F, que corresponde à alternativa a).
Checagem dupla confirma que a análise está correta, pois a condicional é a única proposição falsa quando o antecedente é verdadeiro e o consequente falso, e a bicondicional exige igualdade de valores lógicos para ser verdadeira.
Vamos analisar cada proposição composta considerando que "O cachorro é mamífero" é verdadeiro (V) e "vaca voa" é falso (F).
I. "O cachorro é mamífero ou vaca voa" - A disjunção é verdadeira se pelo menos um dos termos for verdadeiro. Como o cachorro é mamífero (V), a proposição é verdadeira (V).
II. "Se cachorro é mamífero, então vaca voa" - A condicional é falsa somente se o antecedente for verdadeiro e o consequente falso. Aqui, antecedente é V e consequente é F, logo a condicional é falsa (F).
III. "O cachorro é mamífero e vaca voa" - A conjunção é verdadeira somente se ambos forem verdadeiros. Como vaca voa é falso, a conjunção é falsa (F).
IV. "O cachorro é mamífero, se e somente se vaca voa" - A bicondicional é verdadeira se ambos os termos têm o mesmo valor lógico. Aqui, um é V e outro F, portanto é falsa (F).
Assim, a sequência correta é V F F F, que corresponde à alternativa a).
Checagem dupla confirma que a análise está correta, pois a condicional é a única proposição falsa quando o antecedente é verdadeiro e o consequente falso, e a bicondicional exige igualdade de valores lógicos para ser verdadeira.