Uma proposição é um a sentença que pode ser julgada verdadeira (V) ou falsa (F). As proposições normalmente são representadas pelas letras maiúsculas A, B, C etc. A partir de duas proposições, pode-se formar novas proposições compostas, empregando-se o conectivo “e”, indicado por ∧; o conectivo “ou”, indicado por ∨; e o condicional “se A então B”, indicado por A->B. Emprega-se também o modificador “não”, indicado por ¬, para produzir a negação de uma proposição. O julgamento de uma proposição composta depende do julgamento de suas proposições componentes. Considerando todos os possíveis julgamentos V ou F para as proposições A e B, tem-se a seguinte tabela-verdade para algumas proposições compostas.



Duas proposições são equivalentes quando têm a mesma tabela- verdade. Com base nessas informações, julgue os itens a seguir.

A proposição ¬B->A é equivalente à proposição A->B.