Considerando que x, y e z sejam números naturais tais que x + y = z; que X seja a proposição “x é ímpar”; que Y seja a proposição “y é par”; e que Z seja a proposição “z é ímpar”, julgue o seguinte item.

A proposição Y→X∧Z é verdadeira.

Proposições das formas A -> B, ¬A V B e ¬B -> ¬A são sempre equivalentes. A partir dessa informação e das definições incluídas no texto, julgue o item a seguir.

Considere a seguinte proposição: “Alice não foi ao cinema ou Bernardo foi jogar futebol”. Dessa proposição, é correto concluir que “Se Bernardo não foi jogar futebol, então Alice não foi ao cinema”.

Proposições das formas A 6 B, ¬A w B e ¬B 6 ¬A são sempre equivalentes. A partir dessa informação e das definições incluídas no texto, julgue o item a seguir.

Considere a seguinte proposição: “Se Antônio resolver corretamente esta prova, então ele passará no concurso”. Nessa situação, é correto concluir que “Se Antônio não resolver corretamente esta prova, então ele não passará no concurso”.

Proposições das formas A 6 B, ¬A w B e ¬B 6 ¬A são sempre equivalentes. A partir dessa informação e das definições incluídas no texto, julgue o item a seguir.

As proposições “Se Hélio é conselheiro do TCE/AC, então Hélio é formado em Contabilidade” e “Hélio não é conselheiro do TCE/AC ou Hélio é formado em Contabilidade” são equivalentes.

Na tabela a seguir, são representadas duas avaliações para as proposições básicas A e B, e para a proposição composta Q, na qual ocorrem apenas A e B como proposições básicas. 

linha             A             B             Q

                                                                                1               V             F              V

                                                                                2               F             F              V

Considerando as definições do texto anterior e os dados da tabela acima, julgue o item a seguir.

De acordo com as valorações da linha 2, a proposição (¬B V A) ∧ Q é V. 

Na tabela a seguir, são representadas duas avaliações para as proposições básicas A e B, e para a proposição composta Q, na qual ocorrem apenas A e B como proposições básicas. 

linha             A             B             Q

                                                                1                V             F            V

                                                                2                F             F            V

Considerando as definições do texto anterior e os dados da tabela acima, julgue o item a seguir.

Para as valorações de A e B apresentadas na linha 1, a proposição ¬(A ➝ B) é F.

Na tabela a seguir, são representadas duas avaliações para as proposições básicas A e B, e para a proposição composta Q, na qual ocorrem apenas A e B como proposições básicas. 

linha             A             B             Q

                                                            1               V             F              V

                                                             2               F             F              V

Considerando as definições do texto anterior e os dados da tabela acima, julgue o item a seguir.

Se a proposição Q é V somente nas situações apresentadas nas duas linhas da tabela, então a proposição (A ^ ¬B) v (¬A ^ ¬B) é equivalente à proposição Q.