Simbolização de proposições

Cebraspe· TRE ES· 2011

A proposição “Não é preciso cortar seu cabelo, pois ele está curto” pode ser corretamente representada por P÷Q.

PONTUA· TRE SC· 2011

Sejam as seguintes proposições P: Marcos é alto, Q: Marcos é elegante. Dada a seguinte proposição: Não é verdade que Marcos é baixo ou elegante. Assinale a alternativa abaixo que traduz de maneira CORRETA a proposição a…

Cebraspe· SEDUC AM· 2011

A proposição “Quando um professor está de folga ou em coordenação, seu nome não consta na grade horária” pode ser expressa simbolicamente por [PwQ]÷R.

Cebraspe· SESA ES· 2011

A proposição “O jovem moderno é um solitário conectado com o mundo, pois ele vive em seu quarto diante do computador e ele não se relaciona com as pessoas à sua volta” pode ser representada, simbolicamente, por P→(Q∧R),…

Cebraspe· TRT· 2010

A sentença “Maria é mais bonita que Sílvia, pois Maria é Miss Universo e Sílvia é Miss Brasil” é representada corretamente pela expressão simbólica (P ¸ Q) ÷ R.

CETRO· ANVISA· 2010

Seja p "Ela é alta" e seja q "Ela é charmosa". Se escrevermos a proposição: "Não é verdade que ela é baixa ou não é charmosa" na forma simbólica, usando p e q, teremos

Cebraspe· TRT· 2010

A sentença “Homens e mulheres, ou melhor, todos da raça humana são imprevisíveis” é representada corretamente pela expressão simbólica (P ¸ Q) ÷ R.

Cebraspe· EMBASA· 2010

O argumento lógico em que P1, P2, P3 e P4 são as premissas e Q é a conclusão pode ser corretamente representado pela expressão [P1∨P2∨P3∨P4]→Q.

Cebraspe· STF· 2008

A proposição “Nesse país o direito é respeitado, mas o cidadão não se sente seguro” pode ser representada simbolicamente por Pv(¬R).

Cebraspe· Pref Vila Velha· 2008

A proposição “Se a vítima não estava ferida ou a arma foi encontrada, então o criminoso errou o alvo” poderia ser corretamente simbolizada na forma (¬A)wB÷C.

Cebraspe· Pref Vila Velha· 2008

A proposição “Se a vítima não estava ferida ou a arma foi encontrada, então o criminoso errou o alvo” poderia ser corretamente simbolizada na forma (¬A)∨B→C.

Cebraspe· TJDFT· 2008

Em exatamente dois dos meses do ano inicial de atuação dos agentes, todos os processos ajuizados estavam relacionados à justiça da família.

Cebraspe· STF· 2008

A proposição “O país ser próspero e todos os trabalhadores terem emprego é uma conseqüência de, nesse país, o direito ser respeitado” pode ser representada simbolicamente por (QvR)÷P.

Cebraspe· TRT 5· 2008

Simbolizando a proposição P por AvB, então a proposição Q: “Mário pratica natação mas não pratica judô” é corretamente simbolizada por Aw(¬B).

Cebraspe· MRE· 2008

A sentença “O Departamento Cultural do Itamaraty realiza eventos culturais e o Departamento de Promoção Comercial não estimula o fluxo de turistas para o Brasil” é uma proposição que pode ser simbolizada na forma Av(¬B).

Cebraspe· SGA AC· 2008

A proposição “Se a vítima não estava ferida ou a arma foi encontrada, então o criminoso errou o alvo” fica corretamente simbolizada na forma (¬A)wB÷C.

Cebraspe· STF· 2008

A proposição “Se o país é próspero, então todos os trabalhadores têm emprego” pode ser representada simbolicamente por Q÷S.

Cesgranrio· PETROBRAS· 2008

“O projeto será bem-sucedido se ou o processo de desenvolvimento é o Processo Unificado ou a linguagem utilizada é Java.” Uma possível tradução da sentença acima para a lógica de predicados de primeira ordem é

Cebraspe· TSE· 2007

Na análise de um argumento, pode-se evitar considerações subjetivas, por meio da reescrita das proposições envolvidas na linguagem da lógica formal. Considere que P, Q, R e S sejam proposições e que “v”, “w”, “¬” e “v”…

Cebraspe· CPCRC· 2007

Considere a proposição composta (AvB)w¬(AvC), em que A, B e C têm os seguintes significados: