Questões de CESGRANRIO - Raciocínio Lógico - Lógica proposicional
Limpar pesquisa
Questão: 21 de 43
51a7a29066618f1100000c09
Banca: CESGRANRIO
Órgão: Petróleo Brasileiro S.A
Cargo(s): Analista de Sistemas Júnior - Processos de Negócios
Ano: 2012
Matéria/Assunto: Raciocínio Lógico > Lógica proposicional
Afirmar que duas fórmulas bem formadas p e q, que são compostas pelas mesmas proposições simples t1, t2, ... , tn, são equivalentes é o mesmo que afirmar que é uma tautologia a proposição
p ↔ q.
p 
q.
p 
q.
p → ¬q.
¬p ¬q.
Questão: 22 de 43
51a7a29166618f1100000c0a
Banca: CESGRANRIO
Órgão: Petróleo Brasileiro S.A
Cargo(s): Analista de Sistemas Júnior - Processos de Negócios
Ano: 2012
Matéria/Assunto: Raciocínio Lógico > Lógica proposicional
A negação da proposição “Todo professor de matemática usa óculos” é:
Nenhum professor de matemática usa óculos.
Ninguém que usa óculos é professor de matemática.
Todos os professores de Matemática não usam óculos.
Existe alguma pessoa que usa óculos e não é professor de matemática.
Existe algum professor de matemática que não usa óculos.
Questão: 23 de 43
51a7a29166618f1100000c0b
Banca: CESGRANRIO
Órgão: Petróleo Brasileiro S.A
Cargo(s): Analista de Sistemas Júnior - Processos de Negócios
Ano: 2012
Matéria/Assunto: Raciocínio Lógico > Lógica proposicional
Seja a tabela verdade a seguir. 
Quantas vezes, sem considerar os valores já preenchidos, o valor F aparece ao se completar essa tabela?
2.
3.
4.
5.
6.
Questão: 24 de 43
51a7a29166618f1100000c0c
Banca: CESGRANRIO
Órgão: Petróleo Brasileiro S.A
Cargo(s): Analista de Sistemas Júnior - Processos de Negócios
Ano: 2012
Matéria/Assunto: Raciocínio Lógico > Lógica proposicional
Dadas as premissas p1, p2,..., pn e uma conclusão q, uma regra de inferência a partir da qual q se deduz logicamente de p1, p2,..., pn é denotada por p1, p2,..., pn ├ q. Uma das regras de inferência clássica é chamada Modus Ponens, que, em latim, significa “modo de afirmar”.
Qual a notação que designa a regra de inferência Modus Ponens?
p q, ¬p ├ q.
p q, ¬p ├ ¬q.
p ↔ q ├ p→q.
p, p → q ├ q.
q, p → q ├ p.
Questão: 25 de 43
51a7a93113b8bf7b000000d1
Banca: CESGRANRIO
Órgão: Liquigás
Cargo(s): Profissional Júnior - Tecnologia da Informação - Desenvolvimento de Aplicações
Ano: 2012
Matéria/Assunto: Raciocínio Lógico > Lógica proposicional
O predicado g(x, y) é avaliado como verdadeiro se “x gosta de y”.
A sentença “se uma pessoa não gosta de si mesma então não gosta de qualquer outra” pode ser expressa em lógica de primeira ordem como
¬g(i, i) → Vx¬g(i, x).
¬g(i, i) → ¬Vx¬g(i, x).
Ǝx g(x, i) → ¬Ǝx¬g(i, x).
Ǝx g(i, x) → ¬Vx¬g(i, x).
¬Ǝx¬g(x, i) → ¬Vx¬g(i, x).