"Todo rondoniense conhece a cidade de Porto Velho": Se A então B <==> equivalência <==> Se não B então não A
Se é rondoniense, então conhece a cidade de Porto Velho ( Se A então B)
Se não conhece a cidade de Porto Velho, então não é rondoniense. (Se não B então não A ==> é a regra do inverte e troca)
Portanto ==> "Se" Ana não conhece Porto Velho, "então" não é rondoniense.
.
Alternativa A
Notem que, em cada alternativa, ele coloca o nome de uma pessoa diferente. Vou trabalhar com um único nome (o meu, lógico!) e vocês mudam, de acordo com a alternativa, ok?
Então, a partir da proposição, temos:
‘Todo rondoniense conhece a cidade de Porto Velho’ é logicamente equivalente a:
1) Se Claudston é rondoniense, então Claudston conhece Porto Velho
Tendo agora uma condicional, podemos encontrar outras equivalências:
2) P -> Q = ~Q -> ~P, ou seja, ‘Se (pode não aparecer) Claudston não conhece Porto Velho, então (pode-se ‘portanto’) ele não é rondoniense’.
3) P -> Q = ~P v Q, ou seja, ‘ Claudston não é rondoniense ou ele conhece Porto Velho’.
Resolvendo pela tabela verdade
Condicional (se… então)
A condicional será falsa apenas quando o primeiro valor for verdadeiro e o segundo for falso.
~Q -> ~P
F V F
V F F
F V V
V V V
P -> Q
V V V
V F F
F V V
F V F