EXERCICIO 03-03-2023

1 - O que é uma implicação lógica?

2 - Qual a diferença entre Modus Ponens e Modus Tollens?
3 - O que uma equivalência lógica?
4 - Apresente exemplos de tabela verdade de implicação e equivalência lógica.

ALEXANDRE RODRIGUES DE OLVEIRA

RGM: 30915970

1 - A implicação lógica é um conceito fundamental da lógica matemática que descreve a

relação entre duas proposições. Ela afirma que, se uma proposição A implica
logicamente outra proposição B, então sempre que A é verdadeira, B também é
verdadeira. A implicação lógica é representada por um símbolo condicional "->" e pode
ser formalmente definida através de uma tabela verdade.

2 - Modus Ponens e Modus Tollens são dois dos principais modos de inferência
utilizados em lógica matemática para deduzir uma conclusão a partir de uma ou mais
premissas. O Modus Ponens, também conhecido como afirmação do antecedente,
afirma que se a proposição A implica logicamente B e A é verdadeira, então B também
é verdadeira. Já o Modus Tollens, também conhecido como negação do consequente,
afirma que se a proposição A implica logicamente B e B é falsa, então A também é
falsa.

3 - A equivalência lógica é um conceito que descreve a relação entre duas proposições

que têm o mesmo valor de verdade em todas as circunstâncias possíveis. Em outras
palavras, duas proposições são equivalentes se elas são verdadeiras ou falsas juntas,
independentemente das circunstâncias em que são avaliadas. A equivalência lógica é
representada por um símbolo bicondicional "<->" e pode ser formalmente definida
através de uma tabela verdade.

4 - A tabela verdade de uma implicação lógica é uma tabela que mostra todas as
possíveis combinações de valores de verdade das proposições envolvidas e o resultado
da implicação lógica para cada uma dessas combinações. Por exemplo, a tabela verdade
da implicação lógica "A -> B" seria:

A B A -> B
VVV
VF F
F VV
F F V
A tabela verdade de uma equivalência lógica é uma tabela que mostra todas as possíveis
combinações de valores de verdade das proposições envolvidas e o resultado da
equivalência lógica para cada uma dessas combinações. Por exemplo, a tabela verdade
da equivalência lógica "A <-> B" seria:

A B A <-> B
VVV
VF F
F VF
F F V

Essas tabelas verdade são utilizadas para demonstrar as propriedades e relações lógicas
entre proposições, bem como para auxiliar na resolução de problemas de lógica e na
dedução de conclusões a partir de premissas.