Questões de Raciocínio lógico do ano 2008

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

• A.

  (B->A)V(¬A->¬B).

• B.

  (BVA)V((¬A)V(¬B)).

• C.

  (BA)V((¬A)(¬B)).

• D.

  (BVA)V(¬A->¬B).

• E.

  (B->A)V(¬A)V(¬B)).

Considere que P, Q e R sejam proposições lógicas e que os símbolos e "¬" representem, respectivamente, os conectivos "ou", "e", "implica" e "negação". As proposições são julgadas como verdadeiras — V — ou como falsas — F. Com base nessas informações, julgue os itens seguintes relacionados a lógica proposicional.

A última coluna da tabela-verdade abaixo corresponde à proposição

• C. Certo
• E. Errado

Considere que P, Q e R sejam proposições lógicas e que os símbolos e "¬" representem, respectivamente, os conectivos "ou", "e", "implica" e "negação". As proposições são julgadas como verdadeiras — V — ou como falsas — F. Com base nessas informações, julgue os itens seguintes relacionados a lógica proposicional.

A última coluna da tabela-verdade abaixo corresponde à proposição

• C. Certo
• E. Errado

Julgue os itens seguintes, a respeito dos conceitos básicos de lógica e tautologia.

Se A, B, C e D forem proposições simples e distintas, então o número de linhas da tabela-verdade da proposição  será superior a 15.

• C. Certo
• E. Errado

Considerando a proposição "Nesse processo, três réus foram absolvidos e os outros dois prestarão serviços à comunidade", simbolizada na forma AvB, em que A é a proposição "Nesse processo, três réus foram absolvidos" e B é a proposição "Nesse processo, dois réus prestarão serviços à comunidade", julgue os itens que se seguem.

É correto inferir, após o preenchimento da tabela abaixo, se necessário, que a tabela-verdade da proposição "Nesse processo, três réus foram absolvidos, mas pelos menos um dos outros dois não prestará serviços à comunidade" coincide com a tabela-verdade da proposição simbolizada por ¬(A→B).

• C. Certo
• E. Errado

Texto para os itens de 36 a 45

A negação da proposição P é a proposição R: "Mário não pratica natação nem judô", cuja tabela-verdade é a apresentada ao lado.

• C. Certo
• E. Errado

Assinale a opção correspondente à proposição composta que tem exatamente 2 valores lógicos F e 2 valores lógicos V, para todas as possíveis atribuições de valores lógicos V ou F para as proposições A e B.

• A.
• B.
• C.
• D.
• E.

Considerando todos os possíveis valores lógicos V ou F atribuídos às proposições A e B, assinale a opção correspondente à proposição composta que tem sempre valor lógico F.

• A.
• B.
• C.
• D.
• E.

A lógica formal representa as afirmações que os indivíduos fazem em linguagem do cotidiano para apresentar fatos e se comunicar. Uma proposição é uma sentença que pode ser julgada como verdadeira (V) ou falsa (F) (embora não se exija que o julgador seja capaz de decidir qual é a alternativa válida). Para designar as proposições, usam-se freqüentemente as letras maiúsculas do alfabeto: A, B, C etc.

Na comunicação entre indivíduos, combinam-se proposições por meio de conectivos, como "e", indicado pelo símbolo v, e "ou", indicado por w, para formar proposições compostas mais complexas. Usa-se também o modificador "não", indicado pelo símbolo ¬, 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.

Por exemplo, considerando-se 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 as proposições compostas indicadas.

Considerando-se as possíveis valorações V ou F das proposições A e B e completando-se as colunas da tabela abaixo, se necessário, é correto afirmar que a última coluna dessa tabela corresponde à tabela-verdade da proposição

• C. Certo
• E. Errado

• C. Certo
• E. Errado