Fórmulas da lógica de predicados

Copeve/UFAL· CASAL· 2014

Considere as seguintes fórmulas do cálculo proposicional. I. ~~~R II. (~R) III. ~~(P ^ P) IV. ~(P ↔ (Q ^ R)) Usando as regras de formação, verifica-se que são fórmulas bem formuladas,

Vunesp· FUNDUNESP· 2013

Todas as pessoas que comem pão com manteiga gostam de manteiga. Algumas pessoas que comem manteiga não gostam de manteiga. Logo, pode-se afirmar, corretamente, que

Quadrix· CRF GO· 2012

Concursildo fez uma prova para o cargo de Auxiliar Administrativo e, ao chegar à questão 17, percebeu que não saberia resolvê-la por não compreender muito bem o enunciado dado. Tentando eliminar alternativas absurdas e…

Vunesp· FUNDUNESP· 2011

Em determinado local, nenhum técnico em química possui bacharelado, mas algum técnico em química possui licenciatura. Portanto, nesse local, é certo que

FGV· FIOCRUZ· 2010

Considerando a afirmação: “Todo sapo vermelho é venenoso”, é correto concluir que:

FGV· BADESC· 2010

Considere verdadeiras as seguintes declarações: x Todas as pessoas que gostam de basquete também gostam de futebol. x Não há pessoas que gostam de vôlei e que não gostem de basquete. Com relação às declarações feitas ac…

Cesgranrio· PETROBRAS· 2010

Na lógica de primeira ordem, considere a árvore de dedução natural. p(x) Ù q(x) "x(p(x) ® q(x)) passo 1 passo 2 p(x) p(x) ® q(x) passo 3 q(x) passo 4 "xq(x) onde: o passo 1 é gerado pela aplicação da regra de exclusão d…

INEP (ENEM)· ENADE· 2008

Considere que “¬”, “∧”, “∨” e “→” são, respectivamente, símbolos para a negação (“não”), conjunção (“e”), disjunção (“e/ou”) e para o condicional material (“se..., então...”) e que “∀” e “∃” são, respectivamente, o quan…

Cesgranrio· TCE RO· 2007

Considere verdadeira a declaração: “Toda criança gosta de brincar”. Com relação a essa declaração, assinale a opção que corresponde a uma argumentação correta.