Questão 887212

Uma proposição é uma afirmação que pode ser julgada como verdadeira — V —, ou falsa — F —, mas não como ambas. Uma proposição é simples quando não contém nenhuma outra proposição como parte de si mesma e, quando a proposição é formada pela combinação de duas ou mais proposições simples, é denominada proposição composta. Uma proposição simples é, normalmente, representada simbolicamente por letras maiúsculas do alfabeto. As expressões A -> B e A∨B representam proposições compostas, que são lidas, respectivamente, como “se A então B” e “A ou B”. A primeira proposição tem valor lógico F quando A é V e B é F, nos demais casos é V; a segunda tem valor lógico F quando A e B são F, nos demais casos é V. A expressão ¬A também representa uma proposição composta, lida como “não A”, e tem valor lógico V quando A é F, e tem valor lógico F quando A é V. Com base nessas definições, julgue os itens subseqüentes.

As proposições A->B e (¬B)->(¬A) têm a mesma tabela verdade.