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 é falsa quando A é verdadeira e B é falsa. A proposição A→B não é equivalente à proposição B→A, pois a primeira afirma que se A é verdadeira, então B também é verdadeira, enquanto a segunda afirma que se B é verdadeira, então A também é verdadeira.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar