Marcos de Castro
31/12/1969 • 21:00
Gabarito: b) A fórmula A -> B, que se lê 'se A então B', é uma condicional na lógica proposicional.
Para reescrevê-la usando apenas negação (¬) e disjunção (v), devemos lembrar que a condicional A -> B é logicamente equivalente a ¬A v B. Isso significa que 'se A então B' é verdadeiro sempre que A é falso ou B é verdadeiro.
Assim, a alternativa correta é a que apresenta essa equivalência, ou seja, ¬A v B, que corresponde à letra b.
As outras alternativas não representam corretamente a equivalência da condicional. Por exemplo, A v B (letra a) não é equivalente a A -> B, pois pode ser verdadeiro em situações diferentes. Da mesma forma, as outras opções envolvem negações incorretas ou negações conjuntas que não correspondem à definição da condicional.
Portanto, a resposta correta é a letra b, conforme o gabarito oficial e a resposta mais comentada.
Para reescrevê-la usando apenas negação (¬) e disjunção (v), devemos lembrar que a condicional A -> B é logicamente equivalente a ¬A v B. Isso significa que 'se A então B' é verdadeiro sempre que A é falso ou B é verdadeiro.
Assim, a alternativa correta é a que apresenta essa equivalência, ou seja, ¬A v B, que corresponde à letra b.
As outras alternativas não representam corretamente a equivalência da condicional. Por exemplo, A v B (letra a) não é equivalente a A -> B, pois pode ser verdadeiro em situações diferentes. Da mesma forma, as outras opções envolvem negações incorretas ou negações conjuntas que não correspondem à definição da condicional.
Portanto, a resposta correta é a letra b, conforme o gabarito oficial e a resposta mais comentada.