Proposições simples são simbolizadas por letras maiúscula...

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 AvB, é 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. A proposição simbólica (AvB)÷(¬(A÷(¬B))) é sempre julgada como V, independentemente de A e B serem V ou F.