Fórmulas da lógica de predicados

IBFC· Pref Dourados· 2022

Sejam as proposições simples p: Paulo é motorista; q: Anita é professora e r: Antônio tem casa própria e considerando os símbolos (v), (^) e (~) para representar, nessa ordem, os conectivos lógicos da ou, e, negação, en…

Cebraspe· MPC SC PROCURADOR· 2022

Considerada a sentença aberta ᡨ(ᡶ): “ᡶ é incompetente”, é correto afirmar que a proposição P1 pode ser expressa por “se ᡶ ‵ ᠰ, então ᡨ(ᡶ)”.

FADESP· PM PA· 2022

Considere as seguintes sentenças: S1: Para todo militar existe uma missão. S2: Sargento Maia é paraense. Pode-se afirmar que

Cesgranrio· ELETRONUCLEAR· 2022

Considere como verdadeiras as seguintes sentenças: I - Todo orgulhoso julga. II - Eletricista não julga. III - Chico é orgulhoso. É correto concluir que

Instituto ACCESS· Pref Ouro Branco· 2022

Considere que a proposição “Todos os Matemáticos já estudaram Raciocínio Lógico” seja verdadeira e analise as proposições a seguir: 1. Se André estudou Raciocínio Lógico, então ele é Matemático. 2. Se Cléber não é Matem…

IBFC· MGS· 2022

Se todos os animais são do Brasil e alguns vertebrados não são do Brasil, então é incorreto afirmar que:

Vunesp· HU Brasil HC-UFU· 2020

Sabe-se que todos os irmãos de Márcia são técnicos em análises clínicas. Logo, é correto afirmar que

Fundatec· Prefeitura Municipal de Chuí/RS Concurso Público· 2019

Considere as seguintes proposições: • Todo morador de Chuí tem algum animal de estimação. • Nenhum morador de Chuí tem uma tartaruga como animal de estimação. • Pedro tem um animal de estimação e este não é uma tartarug…

Instituto AOCP· Polícia Civil do Estado do Espírito Santo· 2019

Assinale a alternativa que apresenta um argumento lógico válido.

FCC· Pref Manaus· 2019

Em uma escola bilíngue, há vários estudantes brasileiros, e todos eles vão bem em português e matemática. Além disso, todo estudante que vai bem em matemática vai bem, também, em física. Nessa escola, há estudantes que…

FCC· SABESP· 2019

Considere que as seguintes premissas são verdadeiras: − Todo bombeiro sabe nadar. − Geraldo é contador. − Alguns contadores sabem nadar. De acordo com essas premissas, é correto afirmar:

Quadrix· CRBM 6· 2018

Alguns loucos tratam loucos. Quatro envelopes idênticos de exames continham rótulos, especificando os exames e os nomes dos pacientes correspondentes. Entretanto, os rótulos não eram confiáveis e poderiam estar equivoca…

FGV· SEPOG - RO· 2017

Considere verdadeiras as afirmativas: • Todos os marinheiros sabem nadar. • Algumas pessoas que sabem nadar são pescadores. É correto concluir que

Copeve/UFAL· Prefeitura de Maceió - AL· 2017

Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, dados os pares de fórmulas, I. ∃x(P(x) ∧ ¬Q(x)) e ∃x(¬P(x) ∧ ¬…

Pró-Reitoria GP CP2· CP II· 2017

Considere as premissas: • Todo aluno do Colégio Pedro II é inteligente. • Existem pessoas inteligentes e poliglotas. Pode-se concluir que

BIO-RIO· Prefeitura de São Gonçalo - RJ· 2016

Se é verdade que todo carioca gosta de praia, avalie se as conclusões a seguir são falsas (F) ou verdadeiras (V): • Como Aline não gosta de praia, então não é carioca. • Como Márcio não é carioca, então não gosta de pra…

CPCON· Prefeitura de Catolé do Rocha - PB· 2015

Considere as três seguintes afirmações: I - Todos os amigos de João são amigos de José II - José não é amigo de qualquer amigo de Paulo III - Mário só é amigo de todos os amigos de Roberto Se Roberto é amigo de Paulo, e…

Copeve/UFAL· Pref São Sebastião· 2015

Se os símbolos ¬, ∧, ∨, →, ↔, ∀ e ∃ representam a negação, conjunção, disjunção, condicional, bicondicional, para todo e existe, respectivamente, a fórmula ∀x∃y(P(x)→Q(y)) é equivalente à fórmula

FUNIVERSA· PC-DF· 2015

Se todo médico-legista da PCDF é estatutário e se alguns estatutários são advogados, então é correto afirmar que

Fundatec· PGE RS· 2014

Sejam as definições de categorias Ax: x é aluno, Bx: x é bom em Lógica, Sx: x tem sucesso no concurso. Uma simbolização para "Todo aluno que é bom em Lógica, tem sucesso no concurso." é