Questão FC509307
O trecho abaixo é do soneto XLIV, de Pablo Neruda, retirado de uma tradução para o Português popular na rede de computadores. (...) Amo-te para começar a amar-te, para recomeçar o
Lógica de Proposições
IBFC · 2021
O trecho abaixo é do soneto XLIV, de Pablo Neruda, retirado de uma tradução para o Português popular na rede de computadores.
(...)
Amo-te para começar a amar-te,
para recomeçar o infinito
e para não deixar de amar-te nunca:
por isso não te amo ainda.
(...)
Neste trecho vemos um conflito que inspira o poeta, que pode ser trocado pela proposição composta: “Se começa, então termina”. A partir dela considere as afirmações derivadas abaixo.
I. Se não termina, então não começa.
II. Não começa ou termina.
III. Começa e não termina.
Com respeito à lógica proposicional assinale a alternativa que caracteriza cada afirmativa com respeito à proposição original
- I - negação; II - negação; III - equivalência
- I - equivalência; II - equivalência; III - negação
- I - negação; II - equivalência; III - negação
- I - negação; II - negação; III - negação
Mostrar resposta e comentário
Gabarito
B
Comentário do professor
Considere a proposição original "Se começa, então termina", formalmente \(p \to q\), com \(p\)="começa" e \(q\)="termina".
I - equivalência: trata-se da contrapositiva. Negando e invertendo as partes obtém-se \(\neg q \to \neg p\) ("Se não termina, então não começa"), que é logicamente equivalente a \(p \to q\).
II - equivalência: a condicional também é equivalente à disjunção \(\neg p \vee q\), isto é, "não começa ou termina".
III - negação: a negação de \(p \to q\) é a conjunção \(p \wedge \neg q\), isto é, "começa e não termina", que caracteriza a negação da proposição original.
Conteúdo do catálogo FC Concursos · Atualizado em