Questões de Raciocínio Lógico da CESPE / CEBRASPE

Julgue os itens seguintes relacionados à lógica proposicional.

Na tabela abaixo, a última coluna da direita corresponde à tabela-verdade da proposição ¬(A/B)→A/(¬B).

Na tabela abaixo, a última coluna da direita corresponde à tabela-verdade da proposição (¬A)/B→¬(A/B).

Ainda com base nas definições do texto, é correto afirmar que a proposição simbolizada por ((¬A)VB)(AV(¬B)) possui os mesmos valores lógicos que a proposição simbolizada por

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. Se A, B e C são proposições simples, então existem exatamente duas possibilidades para que a proposição (AvB)vC seja avaliada como V.