Fórmulas da lógica de predicados

FEPESE· – Consórcio Público Interfederativo de Saúde da Região da Grande Florianópolis· 2026

Em uma secretaria municipal, todos os fiscais que dominam auditoria de contratos também dominam planejamento orçamentário. Além disso, nenhum técnico em almoxarifado domina planejamento orçamentário. Com base exclusivam…

IGEDUC· Pref Salgueiro· 2026

Considere os argumentos apresentados abaixo: I. Se todos os fiscais foram treinados e João é fiscal, então João foi treinado. II. Se nenhum servidor faltou e Carlos faltou, conclui-se corretamente que Carlos é servidor.…

IAN· Pref Guaratinguetá· 2026

Considere como verdadeiras as seguintes premissas: • Todo cão é um animal feroz. • Existem cães coloridos. Logo, podemos concluir que:

Selecon· EMGEPRON· 2026

Certo dia Helena afirmou: • Alguns gerentes de instituições financeiras são especialistas no mercado de ações. • Todos os especialistas no mercado de ações são pessoas prudentes. SeasafirmaçõesdeHelenasãoverdadeiras,ent…

Selecon· EMGEPRON· 2026

Certo dia Helena afirmou: • Alguns gerentes de instituições financeiras são especialistas no mercado de ações. • Todos os especialistas no mercado de ações são pessoas prudentes. SeasafirmaçõesdeHelenasãoverdadeiras,ent…

FGV· SEDUC MT· 2025

(M2CDPE0502_02) “O primeiro a ter a ideia de usar linguagens artificiais na Lógica foi Gottfried Leibniz, no século XVI. Sua ideia era de desenvolver uma lingua philosophica, que seria uma linguagem artificial espelhand…

Fundatec· Polícia Civil - Ingresso nas Carreiras de Escrivão e Inspetor de Polícia do Estado do Rio Grande do Sul Concurso Público nº· 2025

Considerando as informações a seguir, assinale a alternativa correta. • Todo atleta é disciplinado. • Alguns disciplinados são estudantes, mas não todos. • Nenhum atleta é estudante.

UNIVALI· Pref Luiz Alves· 2024

Considere as proposições lógicas a seguir: p: "Ana estuda para a prova." q: "Ana passa na prova." A partir dessas proposições, temos a proposição composta (p→q)V(~pVq). Sobre esta proposição, é correto afirmar que se tr…

Fundatec· Município de Criciúma/SC Concurso Público Nº· 2024

Admitindo como verdadeira a proposição “Todos os profissionais bem-sucedidos são pessoas competentes”, analise as assertivas a seguir: I. Alguns profissionais bem-sucedidos são pessoas competentes. II. Todos os profissi…

Instituto AOCP· UFS· 2024

Considerando verdadeira a afirmação “Todos os brasileiros se emocionaram com a final da Copa Libertadores”, então é, necessariamente, verdade que

IBFC· FAGIFOR· 2024

Existem conceitos distintos entre a Lógica Proposicional e a Lógica de Primeira Ordem. Analise as afirmativas abaixo e assinale a alternativa correta.

IBFC· FAGIFOR· 2024

As fórmulas bem formadas (FBF), na Lógica de Primeira Ordem, seguem regras sintáticas específicas. Assinale a alternativa que apresenta a única fórmula bem formada (FBF) na Lógica de Primeira Ordem.

Fundatec· IFAP - Instituto Federal de Educação, Ciência e Tecnologia do Amapá Concurso Público - Nº· 2024

Considere que todos os motoristas conhecem as leis de trânsito. Alguns desses motoristas dirigem moto e outros desses motoristas não dirigem moto. A partir dessas informações, é correto afirmar que:

FGV· BBTS· 2023

Myriam tem 17 gatos, dos quais 5 são cinzas e 6 são felizes. Sabe-se que  todos os gatos felizes conseguem somar;  nenhum gato cinza consegue subtrair;  todos os gatos que não conseguem subtrair, também não conseguem…

Cebraspe· TJ ES· 2023

A sentença “Há pelo menos um desembargador que é mais velho que todos os juízes” pode ser escrita na forma simbólica como ∀x ∃y (D(x) ˄ J(y) → V(x,y)), em que D(x) representa a proposição “x é desembargador”; J(y) repre…

FGV· Concurso Público para a BB Tecnologia e Serviços· 2023

Myriam tem 17 gatos, dos quais 5 são cinzas e 6 são felizes. Sabe-se que  todos os gatos felizes conseguem somar;  nenhum gato cinza consegue subtrair;  todos os gatos que não conseguem subtrair, também não conseguem…

Copeve/UFAL· Técnico-Administrativo UFAL Efetivo - Edital n.021- - Médio e Superior· 2023

Considerando-se que os símbolos ¬, ∧, ∨, →, ∃ e ∀ representam negação, conjunção, disjunção, implicação, quantificador existencial e quantificador universal, respectivamente, qual das alternativas apresenta uma consequê…

Copeve/UFAL· UFAL· 2023

Considerando-se que os símbolos ¬, ∧, ∨, →, ∃ e ∀ representam negação, conjunção, disjunção, implicação, quantificador existencial e quantificador universal, respectivamente, qual das alternativas apresenta uma consequê…

Instituto AOCP· PC GO· 2022

Sabe-se que todo Agente de Polícia da 3ª Classe deve ter graduação completa em nível superior e que algum Agente de Polícia da 3ª Classe efetuará diligências a fim de prender criminosos, então, considerando o que foi di…

Quadrix· CRC PR· 2022

O número 16 é educado.