A proposição (A→B)→(A∨B) é uma tautologia, ou seja, é sempre verdadeira, independentemente dos valores de verdade das proposições A e B. Em relação às proposições par, a proposição composta A→B é uma contradição, pois a tabela verdade dessa proposição não apresenta nenhuma linha em que a proposição seja verdadeira. A proposição A→B não é equivalente à proposição B→A, pois a tabela verdade dessas proposições é diferente. A proposição A→B é verdadeira quando A é falsa ou quando B é verdadeira, enquanto a proposição B→A é verdadeira quando B é falsa ou quando A é verdadeira.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar