De um argumento válido com duas premissas, conclui-se corre...

A lógica consiste em multiplicar sequencialmente a partir de 1 (um), o número inicialmente dado, e diminuir 1 (uma) unidade. A sequencia é crescente um a um. Continuamos dessa forma com o resultado obtido.

Vamos lá:

(1 x 4) - 1 = 3

(2 x 3) - 1 = 5

(3 x 5) - 1 = 14

(4 x 14) - 1 = 55

(5 x 55) - 1 = 274

(6 x 274) - 1 = 1643

"Deus não joga dados" (Einstein)

A conclusão possui uma proposição simples (João não é pai de Ana) - ponto de partida para a resolução da questão. Neste caso, considere a conclusão falsa, SUPONDO as premissas verdadeiras,dando valor as proposições utilizando as respostas, e ver se essa situação permanece assim. Caso se mantenha essa situação (premissas verdadeiras e conclusão falsa) o argumento será invalido, porém se pelo menos uma das premissas ficar falsa, o argumento passa a ser valido. A Resposta Correta é a letra B, que torna falsa a premissa dada na questão, validando o argumento.

O enunciado nos diz que há duas premissas:

1º: João é pai de Ana, se e somente se, Maria é tia de Ana (diz também que essa premissa é VERDADEIRA)

2º: João não é pai de Ana.

ATENÇÃO: Se e somente se = Só da VERDADE quando o ANTECEDENTE e o CONSEQUENTE forem iguais.

Logo:

João é pai de Ana (FALSO), se e somente se (<---->), Maria é tia de Ana (FALSO) = V

Resposta: Ana não é sobrinha de Maria.

O enunciado diz que as premissas são verdadeiras

I- João não é pai de Ana = V

II- João é pai de Ana (F) se, e somente se, Maria é tia de Ana (F) = V

se e somente se -bicondicional

VV V

VF F

FV F

FF V

O conectivo se e somente se, só é verdadeiro se ambas as premissas forem V ou F.

Como João não é pai de Ana então:

João é pai de Ana <------> Maria é tia de Ana

F <-----> F

Maria não é tia de Ana = Ana não é sobrinha de Maria.