A proposição simbólica (A∧B)→(¬(A→(¬B))) é sempre julgada...

Proposições simples são simbolizadas por letras maiúsculas, e as proposições compostas são construídas com o uso de conectivos. Uma proposição composta, da forma A∧B, é lida como “A e B” e é avaliada como V quando A e B são ambas V, e, nos demais casos, é F, uma proposição composta, da forma A→B, é lida como “se A, então B” e é avaliada como F quando A é V e B é F, e, nos demais casos, é V. Uma proposição composta, da forma ¬A, é a negação de A e é V quando A é F, e é F quando A é V. Parênteses podem ser usados para agrupar as proposições e evitar ambigüidades. A partir dessas definições, julgue os itens a seguir.