Questão FC148951
Julgue o item que se segue, relativo a tabela-verdade e a operações lógicas. Se p → q é uma tautologia, então p ⇒ q.
Lógica de Proposições
CEBRASPE (CESPE) · 2011
Se p → q é uma tautologia, então p ⇒ q.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A afirmação está correta porque a implicação "p → q" é considerada uma tautologia quando, para todos os valores de verdade de p e q, a expressão resulta verdadeira. A implicação "p ⇒ q" é uma forma alternativa de escrever "p → q", onde a interpretação lógica permanece a mesma. Como a tabela-verdade mostra que a implicação é verdadeira sempre que p for falso ou quando p é verdadeiro e q também é verdadeiro, podemos concluir que a expressão é de fato uma tautologia, confirmando que a afirmação está certa.
Conteúdo do catálogo FC Concursos · Atualizado em