Questões de Concurso sobre Simbologia dos quantificadores lógicos( Linguagem)

Considerando-se a sequência abaixo, formada pela repetição da palavra XAROPE, assinalar a alternativa que apresenta a 867ª letra dessa sequência:

X A R O P E X A R O P E X A R O P E...

Considerando-se que os símbolos ¬, ∧, ∨, → e ↔ representam negação, conjunção, disjunção, implicação e bi-implicação, respectivamente, a fórmula C ∧ A é conclusão de qual conjunto de premissas?

Sejam as proposições lógicas:

p: Hoje é sábado.

q: Hoje é domingo.

A expressão simbólica p ↔ ~q pode ser escrita de forma equivalente na linguagem corrente como:

Considere que os símbolos ¬, ∧, →, ∀ e ∃ representam negação, conjunção, implicação, quantificador universal e quantificador existencial, respectivamente. Considere, ainda, os seguintes predicados: E(x): x está matriculado em Engenharia, M(x): x é monitor de uma disciplina e T(x,y): x e y trabalham juntos em projeto.

Qual das alternativas formaliza corretamente a informação “Existe alguém matriculado em Engenharia que trabalha em um projeto com alguém que não é monitor”?

A sentença “O monte Roraima e o monte Caburaí são exemplos de formações geológicas decorrentes de movimentações de placas tectônicas ocorridas há centenas de milhões de anos” pode ser representada corretamente pela proposição lógica

Considere as 4 proposições abaixo.

p: ∃x, x + 1 = 5

q: ∀x, (x + 1)² = x² + 2x + 1

r: x > 0 ⇔ 5x > 0

s: x² = 4 ⇒ x = 2 V x = -2.

A única proposição que apresenta o símbolo do quantificador universal está indicada na seguinte opção:

Uma pesquisa recente do instituto Pew Research Center mostrou que a vasta maioria dos americanos apoia novas medidas de combate ao aquecimento do planeta. (linhas 1 e 2)

Assinale a alternativa que apresente a representação simbólica correta, de acordo com a lógica sintática do período acima.

Considere a seguinte proposição categórica O.

• O: “Nem todo carneiro é dócil”

Considerando que x pertença ao conjunto T de todos os animais do mundo, que C(x) represente simbolicamente a propriedade “x é carneiro” e que D(x) represente simbolicamente a propriedade “x é dócil”, assinale a opção que apresenta uma representação simbólica correta da proposição O na linguagem da lógica de primeira ordem.

Considere a proposição a seguir.

Brasília é a capital do Brasil OU Lima é a capital do Peru.

O símbolo do cálculo proposicional relativo à proposição é

Considere as seguintes sentenças:

— Algum homem faz parte do quadro de Conselheiros Efetivos do COREN – MT.

— Nenhuma Técnica de Enfermagem é menor de idade.

— Nem todos os profissionais da saúde são bem valorizados.

— Existe um Conselho Regional de Enfermagem que não é subordinado ao Conselho Federal de Enfermagem.

Quantas dentre essas sentenças apresentam quantificadores?

Considere a seguinte proposição

P: ($\exists$ x ∈ A) (¬ p (x) $\to$ q(x) ^ r(x) )

Assinale a alternativa que contém uma proposição equivalente a ¬ p.

Associe as explicações a seguir às respectivas fórmulas.

I - É uma tautologia

II - É satisfatível, mas não é uma tautologia

III - É insatisfatíve

P- ƎxƎyA(x,y) ^ $\neg$ ƎxA(x,x)

Q- ∀x∀yA(x, y)^$\neg$ ∀xA(x,x)

R- ∀x∀yA(x, y)$\to$Ǝx∀yA(x,y)

S- ∀x∀yA(x, y)$\to$ Ǝx$\neg$∀yA(x,y)

As associações corretas são:

Suponha-se que U seja o conjunto de todas as pessoas, que M(x) seja a propriedade "x é mulher" e que D(x) seja a propriedade "x é desempregada". Nesse caso, a proposição "Nenhuma mulher é desempregada" fica corretamente simbolizada por

A proposição "Não existem mulheres que ganham menos que os homens" pode ser corretamente simbolizada na forma

Se as variáveis x e y pertencem ao conjunto A = {2, 3, 4} e o predicado P(x, y) é interpretado como , então a proposição funcional é avaliada como verdadeira.

Se as variáveis x e y pertencem ao conjunto A = {2, 3, 4} e o predicado P(x, y) é interpretado como x ² y + 2, então a proposição funcional é avaliada como verdadeira.