LÓGICA | QUANTIFICADORES | PROPOSIÇÕES CATEGÓRICAS | LÓGICA DE PREDICADOS | FUNÇÕES PROPOSICIONAIS

Curso online de QUESTÕES COPEVE
-
Raciocínio Lógico + Matemática
-
TEORIA VERTICALIZADA + QUESTÕES
-
Material de apoio para impressão para cada aula
-
Acesso ilimitados as aulas por 1 ano
-
Grupo de WhatsApp exclusivo
-
Ficou afim? Chama no WhatsApp pelo link abaixo:
chat.whatsapp....
Neste vídeo vamos fazer uma super revisão sobre os quantificadores lógicos, proposições categóricas e lógica de predicados. Os quantificadores podem ser universais ou existenciais.
A lógica proposicional ou álgebra das proposições é muito cobrada em questões de concurso, dentro de raciocínio lógico. Se você vai prestar concurso para área fiscal, espero poder te ajudar.
A forma reduzida da proposição categórica Nenhum A é B é:
A) ∀x (Ax -- Bx)
B) ∀x (Ax -- ~Bx)
C) ∃x (Ax Bx)
D) ∃x (Ax -- ~Bx)
E) ∃x (Ax  Bx)
Dada a seguinte sentença: “Nenhum gato amarelo de Rita é persa”, qual opção abaixo melhor traduz a sentença?
A) ∀x ((Fxj  Ax)  Ex)
B) ∃x ((Fxj  Ax)  Ex)
C) ∃x ((Fxj  Ax)  Ex)
D) ∀x ((Fxj  Ax)  Ex)
E) ∀x (Fxj  Ex)
Se os símbolos , , , , , ∀ e ∃ representam a negação, conjunção, disjunção, condicional, incondicional, para todo e existe, respectivamente, a negação da fórmula ∀x(P(x)  Q(x)) é equivalente à fórmula:
A) ∃x (P(x)  Q(x)).
B) ∃x (P(x)  Q(x)).
C) ∃x (P(x)  Q(x)).
D) ∀x (P(x)  Q(x)).
E) ∀x (P(x)  Q(x)).
Considerando que os símbolos , ∧, ,  e  representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, e dado o conjunto de premissas {x(¬P(x)  Q(x))}, qual informação abaixo pode ser inferida?
A)  x (P(x)  Q(x))
B)  x (P(x)  Q(x))
C)  x P(x)
D)  x Q(x)
E)  x P(x)
(COPEVE-UFAL-2015) Considerando que os símbolos ∀, ∃, ,  e  representam a quantificação universal, quantificação existencial, negação, implicação e disjunção, respectivamente, do conjunto de premissas {∀x(P(x)  Q(x)  R(x)), ∀xP(x)}, infere-se que:
A) ∃x(R(x)  Q(x)).
B) ∃x(Q(x)  R(x)).
C) ∃x(Q(x)  R(x)).
D) ∃x(Q(x)  R(x)).
E) ∃x( R(x)  Q(x)).
A partir do conjunto de premissas {∀x(F(x)  G(x) ∨ H(x)), ∀x G(x)}, pode-se inferir que:
A) ∃x (F(x)  G(x)).
B) ∃x (F(x)  H(x)).
C) ∃x (G(x)  F(x)).
D) ∃x (H(x)  F(x)).
E) ∃x (H(x)  G(x)).
(COPEVE-UFAL-2018) Considerando que os símbolos , ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, as equivalências lógicas das fórmulas ∃xP(x)  ∃yQ(y) e ∀x(P(x)  Q(x)) são, respectivamente,
A) ∀x P(x)  ∃yQ(y) e ∀x(Q(x)  P(x)).
B) ∃x P(x)  ∃yQ(y) e ∀x(Q(x)  P(x)).
C) ∃x P(x)  ∃yQ(y) e ∀x(P(x)  Q(x)).
D) ∃x P(x)  ∃yQ(y) e ∃x(P(x)  Q(x)).
E) ∀x P(x)  ∃yQ(y) e ∃x(P(x)  Q(x)).
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)   Q(x))
II. ∃x(P(x)  Q(x)) e ∃x(P(x)  Q(x))
III. ∀x(P(x)  Q(x)) e ∀x (P(x)  Q(x))
IV. ∀x(P(x)  Q(x)) e ∀x(P(x)  Q(x))
verifica-se que há equivalência das fórmulas em:
A) I, II, III e IV
B) I, II e III, apenas.
C) II e IV, apenas.
D) I e IV, apenas.
E) III, apenas.

Curso online de QUESTÕES COPEVE - Raciocínio Lógico + Matemática - TEORIA VERTICALIZADA + QUESTÕES - Material de apoio para impressão para cada aula - Acesso ilimitados as aulas por 1 ano - Grupo de WhatsApp exclusivo - Ficou afim? Chama no WhatsApp pelo link abaixo: chat.whatsapp.com/Lg3hEX9b7zy9JmcNQ99D4q

[@GabrielFreitasBraga-g8v]

Aula muito boa! A mais completa de lógica de predicados do youtube!

[@valeriaromao750]

Excelente aula clareou, obrigada e parabéns Professor.

Disponha!

[@claragrangeiro1609]

Muito boa e bem explicada. Obrigada!

[@Jan.nmonteiro]

Ótima aula!!!😊

[@andersonrodrigues457]

Assistir 2 vezes e a compreensão veio kkkk , agr é só matar as questões. Mt obrigado ! Like 👍

[@elaniacavalcante4492]

🥰 amei a aula

[@jdushicwicne883]

Muito bom 👍👍👍👍

[@janerodrigues8404]

pra quem é recém nascido no rlm, essa aula é fundamental!!! obrigada, profe

[@evylee.clathuss]

2 anos depois, o eu do futuro adorou essa aula, de todas as aulas que procurei no KZbin essa é a que clareou a minha mente, parabéns 😊

🥰🥰🥰🥰🥰

Obrigado!!!

[@clesiamenezes6956]

EU três anos depois❤

[@claudenicemoraes3147]

aula, muito didática! parabéns, prof.

[@dolfmg]

Excelente!

[@mariaconsueloleichtpaesbar6851]

Muito boa aula! Obrigada e Parabéns Professor.

[@leonardogois4227]

Muito bom. Muito obrigado

[@luizotaviobarrosdacruz9395]

excelente aula

[@wilianfarias9444]

Essas questões são as melhores de todos os tempos que já vi.....já foi pro meu banco de questões que estou selecionando ....

[@renatodequeirozpadilhapadi6341]

Foi a melhor aula de quantificadores que assisti, parabéns!!!

[@gabicorreia7352]

Aula maravilhoooooosa!!!!

[@CamilaOliveira-jz1uq]

Aula sensacional. Levei 2:00h pra terminá-la. A cada questão, pausava, anotava e tentava responder, consegui entender bastante. Obrigada , professor!!!!!!!!!!!

[@valbertohonorato8650]

Preparando-me muito pra prova de MD - AL da COPEVE por suas aulas, obrigado professor!

[@Carlinyst]

Aula incrível, parabéns professor!

[@gabicsmm]

Obrigada pela aula :)

[@diogomaia5111]

Excelente exposição. ganhou meu Lake e inscrição. " Deus é grande! " Jó,36:26.

[@criselvox1]

Você é o melhor professor de Matemática do país.

[@gabrielasguimaraes1203]

Aula muito boa, me ajudou bastante!

Que ótimo!

[@rosanapasmelo2966]

entendendo gradativamente.....obrigada!

[@felipecalatza6215]

Excelente aula, otima forma de encaminhar a aula, tenho TDAH e raramente consigo focar na aula dos professores, e contigo eu consegui, obrigado

[@maykontornello5254]

SHOW ! 🌋🌋🌋🌋🌋🌋🌋🌋🌋🌋🌋🌋🌋🌋🌋🌋🌋

[@NayT0N]

Muito obrigado pela excelente aula.

[@NailysSena]

Ótima aula! Precisava muito desse assunto, obrigada!!!

Bons estudos!

[@andreakettybranco2602]

Muito boa a aula, clara, explicativa !

[@JacksonValoni]

Excelente, professor. Particularmente, nunca havia falado nessa matéria. Vou prestar concurso pra banca IBID, e ela já cobrou esse tipo de questão. Gostei muito da aula.

[@girlaidesoarescesario6667]

Parabéns, professor.

Obrigado

[@josewesley3392]

Parabéns, pela excelente explicação

[@rayanebarbosa1600]

Obrigada por compartilhar didática maravilhosa!!! #assistindo na quarentena.

[@andreamonteiro7586]

Excelente aula!

[@messiassantosengenharia5415]

Parabéns pela aula. Consegui finalmente aprender sobre proposições categóricas. Show!!!!!!

[@iagoiann3850]

Adorei muito a explicação, parabéns. Único problema é que tem tanta regra, a gente estuda tanta coisa, que ficamos loucos, mas é só praticar que a gente aprende.

Concordo plenamente

[@rosimarisfernandesbarbera510]

Obrigada professor, Deus o abençoe!

[@menina10ify]

aula perfeita

[@antonioferreira6335]

ótima aula,prof.me tire uma dúvida,o modus ponens só ocorre com o se...então ?

[@alinea.7179]

Bem didático! Obrigada por compartilhar!

[@patlickaplovado2800]

Professor MOOONSTRO! parabéns! Fazia anos que eu não via isso. Excelente revisão! tmj

[@matheuslima9051]

Parabéns pelo conteúdo! Mais um inscrito, contribuiu muito para desenrolar um dificuldade no meu curso da faculdade.

[@cassiamelo4804]

como faço pra determinar um valor logico? estou iniciando graduação de sistemas de informação. obrigada pela a aula.

[@vitorioaraujo5856]

Excelente aula!!! A melhor que encontrei! Parabéns!

Valeu Vitório Araújo!!!

[@katiafranca6610]

Professor, didática incrivel! Obrigada mesmo, pensa numa disciplina que deixa a gente bem confuso é Raciocínio lógico. Nas provas de concurso, sempre que cai isso, eu geralmente me dou mal, então estudo mais. Dica pra galera, eu acelerei o video em 1.5 na reprodução, ficou bom. Se tem uma coisa que concurseiro tem é pressa de aprender, professor rsrsrs

[@ivanirgabriel8622]

parabéns. excelente professor

[@thanossincero4818]

Professor, muito obrigado. Finalmente uma aula que me fez aprender esse assunto do cão kkk

Que bom que você gostou. Se puder ajudar divulgando o canal ficarei grato

[@fatimaoliveira9669]

Perfeita a aula, obgdo!

Obrigado!!!! Prof. Micael

[@hugojamelly6727]

Parabéns pela excelente aula! Didática e conteúdo muito bem abordados.

Fico muito feliz em saber que você gostou do conteúdo.

[@WillTech]

excelente aula. Abraços de Angola...

[@CalangoBit]

Excelente! Contribuiu muito, pois estou estudando demonstração de teoremas e percebi que precisava saber mais da base! Obrigado! Indicaria livros, materiais?

[@elianesilvadossantos2538]

simplesmente perfeito. Me ajudou muito

Fico feliz em saber que estou ajudando. Se puder ajudar divulgando o canal ficarei muito grato. Prof. Micael

[@maykontornello5254]

EU FIQUEI DESESPERADO , PORÉM COM MUITA CALMA ; COM MUITA CALMA . DEPOIS ENTENDI . 🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣

[@thuliopk.7416]

Vc tem mais aulas direcionada para a banca copeve?

TEM CURSOS VOLTADOS PARA A COPEVE

[@thuliopk.7416]

@ cadê esses cursos pela misericórdia, professor 🥲, oh banca triste.

[@thuliopk.7416]

@ vc fala playlist aq no KZbin ou pago?

@@thuliopk.7416 FALA COMIGO NO ZAP 82 99313-3949

[@cristianrocha1]

boa tarde professor... eu fiquei meio confuso na quarta questão, pois o senhor não trocou o quantificador universal para existencial na resposta. Pelo que havia entendido, isso é uma regra.

[@wilianfarias9444]

Fantásticas as questões , dei um printe em todas elas ...mas teve uma aí....que pra mim foi a melhor de todos . A melhor de todos os tempos ....muito legais essas questões. Gosto daquelas que vc faz tudo certinho. E ainda não tá nas alternativas. Aí um concurseiro com pouca experiência , chuta....a questão ...né....e acaba errando. ..teve umas questões que vc tem que se ligar na tabelinha das oposições, né. Que se o A, for verdade , o I também será verdade.... e aí só troca universal pra existencial.......não vale o vice versa. Questão. Que requer muito cuidado e atenção .. ..mas com uma boa prática. ..tira de letra...

Fico feliz que tenha gostado. Se puder ajudar divulgando o canal agradeço. Prof. Micael

[@wilianfarias9444]

@ pode deixar. Gostei não ...amei.. cara .....fantástico pra cair umas dessas ...num concurso público ... Que algumas dessas aí....com certeza a grande maioria erra, se confundi todo... São questões assim que é boa de cair. Que quem acerta já sai na frente de muitos ..

[@regianesilva6516]

Fiquei confusa, na equivalência do tipo "Neymar" ele diz que nega a 1ª mantém a 2ª e troca o conectivo "então" pelo conectivo "ou", eu tenho pra mim que o conectivo "então" seria trocado pelo conectivo "e", na negação do conectivo "ou" também seria trocado pelo conectivo "e" só que nesse caso faríamos a negação da 1ª e 2ª proposição. Quando acho que entendi, descubro que não.

[@iagoiann3850]

Não pode, ele explica que é uma regra. Método NeyMar, iremos trocar uma condicional por uma DISJUNÇÃO, ou reverso. Só que no video ele fala errado, ele fala condicional por uma CONJUNÇÃO, só que É DISJUNÇÃO. P → Q = ~P v Q .. Nega a primeira, coloca a disjunção, e mantém a segunda A v B = ~A → B.. Nega a primeira, muda para condicional e mantém a segunda

[@fernandafer6398]

ameeiii . outubro/2020

[@HerbertHoger]

TOP professor. Tem muito curso ai que a matéria está longe da clareza. Muito obrigado!!!

[@nataliafermiano]

Puta questão difícil essa da COPEVE 2015. -.-' me quebro toda em RLM...

[@wilianfarias9444]

Professor , seria bom que vc numerase as questões , porque eu quero comentar sobre uma questão , aí nem sei como fazer pra dizer qual é....mais enfim....teve uma questão , parece que foi a quinta questão , que vc transformou um "ou" em uma condicional pra usar o modus poneis , nem precisaria , sairia mais rápido ainda , se vc usasse outra regra de inferência chamada de silogismo disjuntivo , P v Q ~ P ---------- Q se vc usasse essa , ao invés transformar. Uma condicional pra usar o modus poneis , sairia mais rápido ..

[@chanelconcurseira5618]

Olá professor. Na antepenúltima questão (COPEVE 2019), eu resolvi já fazendo a equivalente da 1ª premissa pela regra do equivalente do "se então" pelo próprio " se então" [manda pra frente negando e manda pra trás negando e mantém o se então]. Resultou em: ~G --> ~F Nesse momento eu "anulo" com ~G da segunda premissa e fica: ~F v H Fiz a equivalente pela regra "NeYmar" e ficou: F --> H (resposta da questão) Eu gostaria de confirmar se está correto ou se foi apenas coincidência (rsrsrsrs) Segue um esboço pra compreender melhor a minha resolução: i) F --> G v H ii) ~G i) F --> G v H ~G --> ~F v H ii) ~G Resulta em: ~F v H Equivalente: F --> H

[@todososcaminhos]

Professor muito obrigada pela excelente aula. Está me ajudando muito.

[@wilianfarias9444]

Só cuidado turma ...que , se tiver o ou assim A v B que vc aplicando o Neymar , fica ~ A → B ~ B → A Qualquer uma dessas duas , serve . Que o prof só disse uma...de negar a primeira , só que a primeira pode ser tanto A como o B porque são comutáveis , né....só uma pequena observação .

Isso mesmo, pode. Vc pode obter pela contrapositiva

[@Salenka]

Para lembrar que P V Q equivale a ¬P → Q criei uma continuação para o mnemônico do Neymar: NEyMAr nos ensina que P → Q ⇔ ¬P v Q a partir daí, o que mais ele pode fazer? Chutar a negação pra trás! ¬P → Q ⇔ P v Q Espero que seja útil pra alguém mais. 😉 Esta mensagem está relacionada com o minuto 56' do vídeo, aproximadamente.

👏👏👏👏👏👏

[@arireview4510]

Dificil assistir esse video com um anuncio a cada 3 minutos, tá zoando? 37 anúncios!

Olá Arineko Music, primeiro deixa eu te pedir desculpas. Geralmente os vídeos mais longos tem mais anúncios. Eu sempre deixo para que o youtube defina o posicionamento dos anúncios e quando uma pessoa reclama eu vou lá e altero. É importante entender que o youtube e os produtores recebem de anúncios, porém o exagero atrapalha. Espero que o pouco que você viu do vídeo tem te ajudado. Esse é um dos vídeos de maior retenção mo meu canal.

[@arireview4510]

@ Estou há 2 horas vendo o vídeo e você não deve pedir desculpas, afinal o conteúdo é grátis e me ajudou muito, obrigado! Mas realmente é triste (e é por conta do youtube) ter uma propaganda há cada 3 minutos e, com ela sendo muitas vezes a mesma. Pelo menos isso já me ajuda a aplicar o método pomodoro de estudo, abraço