p → q ⇔ ¬ q → ¬ p

Raciocínio Lógico
01- Considere verdadeira a afirmação “Se uma figura plana for um quadrado, então será um
retângulo”. Com base nessa afirmação, é correto afirmar que, se uma figura plana:
a) não for um quadrado, então não será um retângulo.
b) não for um quadrado, então será um retângulo.
c) não for um retângulo, então não será um quadrado.
d) não for um retângulo, então será um quadrado.
e) for um retângulo, então será um quadrado.
02- Assinale a frase que contradiz a seguinte sentença: Nenhum pescador é mentiroso.
a) Algum pescador é mentiroso.
b) Nenhum mentiroso é pescador.
c) Todo pescador não é mentiroso.
d) Algum mentiroso não é pescador.
e) Algum pescador não é mentiroso.
03- Se Pedro gosta de pimenta, então ele é falante. Portanto,
a) se Pedro não é falante, então ele não gosta de pimenta.
b) se Pedro é falante, então ele gosta de pimenta.
c) se Pedro é falante, então ele não gosta de pimenta.
d) se Pedro não gosta de pimenta, então ele não é falante.
e) se Pedro gosta de pimenta, então ele não é falante.
04- Todos os artistas são ególatras
Alguns artistas são indigentes
a) alguns indigentes são ególatras.
b) alguns indigentes não são ególatras.
c) todos os indigentes são ególatras.
d) todos os indigentes não são ególatras.
e) nenhum indigente é ególatra.
05- Todo cristão é teísta
Algum cristão é luterano
a) todo teísta é luterano.
b) algum luterano é teísta.
c) algum luterano não é cristão.
d) nenhum teísta é cristão.
e) nenhum luterano é teísta.
Gabarito
01. C
Comentários:
p = “figura plana for um quadrado”
q = “será um retângulo”
Usando a equivalência, temos:
p→q⇔¬q→¬p
Se uma figura plana não for um retângulo, então não será um quadrado.
02. A
Comentários: Para contradizer uma sentença universal negativa, basta que haja uma sentença
particular afirmativa, ou seja:
Algum pescador é mentiroso.
03. A
Comentários:
p = “Pedro gosta de pimenta”
q = “Pedro é falante”
A sentença lógica e sua equivalente fica:
p→q⇔¬q→¬p
Se Pedro não é falante, então não gosta de pimenta.
04. A
Comentários: Usando a fórmula do Silogismo, temos:
M --------- P
M --------- S
S ---------- P
onde:
S = termos menores
P = termos maiores
M = termos médios
Então, fica:
Alguns indigentes são ególatras.
05. B
Comentários: Usando a mesma fórmula de Silogismo, temos:
M --------- P
M --------- S
S --------- P
Então, fica:
Algum luterano é teísta.