Observe a tabela-verdade apresentada abaixo: Proposição r Proposição s Operação Lógica sobre as proposições V V V V F F F V F F F V Assinale a alternativa que apresenta corretament

Gabarito

D

Comentário do professor

Bicondicional é a operação lógica que expressa a ideia de equivalência entre duas proposições. Em símbolos usa‑se \(r \leftrightarrow s\) ou \(r \iff s\).

A bicondicional é verdadeira exatamente quando as duas proposições têm o mesmo valor de verdade. Ou seja, é verdadeira se e somente se ambas forem verdadeiras ou ambas forem falsas.

Isso explica a tabela: as linhas com \(r\) e \(s\) ambas verdadeiras (V,V) e ambas falsas (F,F) resultam em V; as linhas com valores distintos (V,F ou F,V) resultam em F.

Formalmente, \(r \leftrightarrow s\) é equivalente a \((r \land s)\lor(\neg r \land \neg s)\) e também a \((r\to s)\land(s\to r)\). Essa equivalência material é frequentemente usada em provas e raciocínio lógico.