A lógica formal representa as sentenças em linguagem do cotidiano feitas para apresentar fatos e para a comunicação. Uma proposição é uma sentença que pode ser julgada como verdadeira (V) ou falsa (F); independentemente de que se possa decidir qual é a alternativa válida. Para representar as proposições, usam-se, freqüentemente, as letras maiúsculas do alfabeto: A, B, C etc.

Proposições simples são aquelas que não contêm qualquer outra em sua formação. Na comunicação, para formar proposições compostas, mais complexas e completas, combinam-se proposições simples por meio de conectivos: “e”, indicado por , e “ou”, indicado por . Usa-se também o modificador “não”, indicado por ¬, para produzir a negação de uma proposição. Proposições A e B podem ser combinadas na forma “se A, então B” (ou A implica B), indicada por A B, em que o conectivo é o condicional (ou implicação).

O julgamento de uma proposição composta depende do julgamento que se faz de suas proposições componentes mais simples. Considerando todos os possíveis julgamentos (ou valorações) V ou F das proposições simples A e B, tem-se a seguinte tabela-verdade para algumas proposições compostas básicas.

Duas equivalências fundamentais são as denominadas Leis de De Morgan: ¬(AB), significando ¬A¬B e ¬(AB), significando ¬A¬B.

Um argumento é uma relação que associa um conjunto de proposições A₁, A₂, ..., A_n — denominadas premissas — a uma proposição B — denominada conclusão. Diz-se que o argumento é válido quando a conclusão é uma conseqüência necessária de suas premissas, isto é, a verdade de suas premissas garante a verdade da conclusão, sendo irrelevante o valor de verdade de suas premissas.

Com base nessas informações, julgue os itens de 25 a 30.