Question

Equivalências Notáveis são apresentadas em uma tabela (Slide 4/10 da aula 6). Qual das alternativas representa a Regra de Clavius? A ~P -> P <=> P B q v q <-> p ^ p C p ^ ~p -> p v q D Q v P -> ~P ^ Q

Answer 1

Olá, tudo bem?

Na lógica, dizemos que duas proposições são logicamente equivalentes quando os resultados de suas tabelas-verdade são idênticos.

As equivalências notáveis são a representação das proposições equivalentes, expressas de várias formas. Elas constituem regras que se usam para demonstrar, verificar ou testar a validade de argumentos mais complexos.

A alternativa que representa a Regra de Clavius, que é um tipo de representação equivalência lógica é a alternativa:

A) ~ P → P ⇔ P

Bons estudos!