Se faz calor, então Sônia toma sorvete.

p -> q não é equivalente a q -> p

I. Se Sônia toma sorvete (V/F) , então faz calor (V) . = V

II Se faz calor (V) , o Sol está no céu (V) . = V  

Não dá para saber se a Sônia toma sorvete quando faz calor.

Dá para fazer pela regra do corte:

Sônia toma sorvete -> faz calor

Faz calor -> sol no céu

Sônia toma sorvete -> sol no céu

Pessoal, é simples. Basta levar "Se faz calor, então Sônia toma sorvete." como a conclusão e fazer o método da Conclusão Falsa.

p1 = S.S (F) -> C (V) = Verdadeiro

p2= C (V) -> S.C (V) = Verdadeiro

C= C (V) -> S.S (F) = Falso (Método da conclusão falsa)

Logo, Se as Premissas são verdadeiras e a Conclusão é falsa, o argumento é INVALIDO.

Obs: Os valores de "C e S.S" já estão predeterminados pela conclusão falsa, o único que poderia ter valor diferente é o "S.C". Contudo, Se busco manter as premissas verdadeiras, obviamente, só me restou atribuir valor Verdadeiro a ela.

CONTRAPOSITIVA - inverte e nega as proposições mantendo a condicional:

''se Sônia toma sorvete, então faz calor''

''se faz calor, então Sônia toma sorvete''

Apenas inverteu e não negou.

Questão errada