Questões

Total de Questões Encontradas: 08

Ano: 2012 Banca: VUNESP Órgão: TJ-SP Prova: Analista Judiciário - Analista de Sistemas
Na tabela a seguir, P e Q são duas sentenças, e as letras V e F representando, respectivamente, os significados Verdadeiro e Falso. 
Imagem da Questão
Considerando os símbolos ¬ (negação), ∧ (conjunção) e ∨ (disjunção), as expressões condizentes com (1), (2) e (3) são, respectivamente, 
A
P∨Q, P∧Q e ¬P. 
B
P∧Q, P∨Q e ¬Q. 
C
¬P, P∨Q e P∧Q. 
D
¬Q, ¬P e P∧Q. 
E
¬Q, P∧Q e P∨Q.
Ano: 2012 Banca: CESGRANRIO Órgão: INNOVA Prova: Analista - Analista de Sistemas
Qual das fórmulas é satisfazível, mas não é tautologia? 
A
p → (p → q ˄ não q ) 
B
(( p → q ) → r ) → (p  → (q→ r)) 
C
( p ˄ q) ˄ não (p ˅ q) 
D
p ˅ não p → q ˄ não q 
E
(não (p ˅ não q) ˅ r) ˅ (r →(q→p))
Ano: 2012 Banca: CESGRANRIO Órgão: INNOVA Prova: Analista - Analista de Sistemas
Considere que três fatos acerca de situações pertinentes ao domínio de um sistema são representados pelas proposições p, q e r da lógica proposicional. Para que o módulo A desse sistema seja executado, basta que aconteçam ambos os fatos p e q simultaneamente. Por sua vez, para que o módulo B seja executado, é suficiente que um entre os fatos q e r  aconteça.

Uma  situação na qual, certamente, ambos os módulos são executados, está representada por 
A
(p ˅ q) ˅ r
B
(p ˅ q) ˄ r
C
(p ˄ q) ˅ r
D
p ˄ (q ˅ r)
E
p ˄ (q ˄ r) 
Ano: 2012 Banca: CESGRANRIO Órgão: INNOVA Prova: Analista - Analista de Sistemas
Na avaliação de um computador, foram feitos testes exaustivos da taxa de falhas nas operações de acesso à memória. Seja p uma proposição representando que um acesso à memória foi bem sucedido, e q, uma proposição representando que houve sobrecarga de tensão. Foi constatado nos testes que, em todas as situações em que o acesso à memória falhou, houve sobrecarga de tensão, fato que pode ser representado pela fórmula ¬ p → q da lógica proposicional. Em um novo teste, constatou-se que não houve sobrecarga de tensão.

Sobre esse novo teste, e considerando-se os resultados obtidos nos testes anteriores, pode-se deduzir que 
A
B
p  
C
¬ p 
D
p ˄ q 
E
¬ p ˄ ¬ q
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
A
Imagem da Opção A
B
Imagem da Opção B
C
Imagem da Opção C
D
Imagem da Opção D
E
Imagem da Opção E
Lógica Sentencial (ou Cálculo Proposicional) formaliza a estrutura lógica mais elementar do discurso matemático, definindo precisamente o significado dos conectores lógicos “não”, “e”, “ou”, “se ... então” e outros. Os símbolos lógicos utilizados são: 
Imagem da Questão
Então, a consequência lógica de P é
A
Imagem da Opção A
B
Imagem da Opção B
C
Imagem da Opção C
D
Imagem da Opção D
E
Imagem da Opção E
Dadas as proposições atômicas P, Q e R do cálculo proposicional, afirma-se que 
A
Imagem da Opção A
B
Imagem da Opção B
C
Imagem da Opção C
D
Imagem da Opção D
E
Imagem da Opção E
Página 1 de 1