Lógica de primeira ordem [9] - Predicados e relações (1/2)

[@TRak598]

Finalmente alguém que explica partindo apenas do pressuposto que sabemos Lógica Proposicional e nada mais... Parace que quase todo mundo que sabe esse assunto acha que o aluno já foi introduzido e não o faz por si mesmo; O que não percebem é que dessa forma o aluno na realidade nunca será introduzido ao assunto.

[@carlosmiguel340]

Só vim expressar minha gratidão pelo seus vídeos.Tirei nota máxima na prova de lógica proposicional! Seu canal é o melhor de lógica, atualmente. Muito obrigado por repassar seu conhecimento de forma acessível à todos!

[@ELogicoPo]

Que bom, parabéns, Carlos! Fico muito feliz em saber que pude ajudar! Valeu mesmo pelas palavras!!

[@user-wi4go9jt3h]

Esse canal é sacanagem de bom, o cara domina tanto os conceitos da lógica que consegue ensinar a qualquer um

[@INCOMPUTERSCIENCE]

muito boa a didatica e a música de fundo caiu bem

[@deborahespindoladeoliveira2155]

Didática maravilhosa! Me salvou, muito obrigada!

[@jeftefarcha7879]

Muito obrigado por essa playlist, meu irmão. Continue assim.

[@brunoraviolo]

Seu canal é sensacional. Parabéns!

[@ELogicoPo]

Obrigado!

[@GKiLL-wh3lk]

Muito bem explicado

[@__julio__]

P de Perdi com “p de João”

[@JaquelineSantos-lt2mx]

Muito bom! 👏🏼👏🏼👏🏼

[@natanferreirademelo3926]

Você é o cara!!!!!

[@dandeleao]

0:00 nasce um fodinha

[@lucasaraujo8227]

maravilhoso!

[@danielbeckman3461]

Maravilhoso!!

[@brunothiago1632]

Muito bom!

[@wendersonclarovais20]

Excelente aula! E ótima didática! = V

[@patriciasantoscanalbolsona6716]

O professor é muito bom===Mp

[@taciobarross]

Muito bom, mas eu não consigo escutar Rab e não lembrar dele, Regulus Arturus Black

[@Okay-ub8gp]

Cara talvez você não leia esse comentário, mas gostaria de saber qual software você usou para escrever na tela ?

[@ELogicoPo]

Adobe Photoshop CS6 e uma mesa digitalizadora Wacom One

[@laislyra5512]

Não estava entendendo a matéria e vim direto aqui. Muito bom! Qual é o software que você usa para fazer essas anotações?

[@ELogicoPo]

Que bom que foi útil! Uso o Photoshop CS6 com uma mesa digitalizadora Wacom One. Valeu!

[@laislyra5512]

@@ELogicoPo ah nossa, é mais simples do que eu imaginava. Obrigada ^^

[@opsJson_]

mais um grande dia, bora la

[@wilianfarias9444]

Prof....não gosto de chamar de setinha de mão única de implicacao e nem setinha de mão dupla de bi implicacao , porque na verdade Condicional é uma coisa , implicacao é outra coisa , Assim como Bicondicional é uma coisa , bi implicacao é outra coisa , são símbolos diferentes e entendimentos também diferentes , Sendo assim, a condicional e a bicondicional são operadores lógicos , enquanto a implicacao e a bi implicacao não são operadores lógicos , são relações lógicas ... Mas em questão de prova , muitas bancas associam esses nomes como sendo a mesma coisa , e chamam condicional como sendo implicação , por isso vcs tem que ficar atendo no contexto da questão , pra ver se eles estão mencionando como sendo operador ou como sendo relação , mas é bom sempre diferenciar eles porque na verdade eles não sao a mesma coisa... Só uma pequena observação , sempre é bom se atender aos detalhes pra correr menos risco de errar a questão ..

[@miqueiasmiranda7766]

Muito bom seus vídeos! Fala sua formação, só por curiosidade mesmo, valeu.

[@ELogicoPo]

Valeu! Não tenho formação

[@allan4625]

"O avião é rápido e bonito" poderia ser expresso como "(R /\ B)a"?

[@ELogicoPo]

Fala aí. Não, você não pode fazer uma distributividade da constante individual sobre os predicados. R é diferente de Ra, e B é diferente de Ba. Sem contar que, pelas regras sintáticas que eu dei, "(R∧B)a" nem seria uma fórmula bem formada, porque as constantes individuais só podem ser usadas depois de predicados, ou depois de constantes que vieram depois de predicados, etc; ou envolvidas em funções ou identidades. Além disso, R e B são predicados unários, ou seja, precisam ser complementados com um termo. Se você usar apenas "R" ou "B", eles ficarão com um lugar vazio e a fórmula não será bem formada também. Valeu!

[@allan4625]

@@ELogicoPo obrigado pela explicação.

[@NathaliaRMota]

Perdi no "pensa só na gramatica da língua portuguesa" vou assistir umas aulas de português vlw flw

[@viniciusnanini3970]

No caso do exemplo "Brasil está entre Suriname e Uruguai" Você colocou com E(bsu), poderia ser como o exemplo do avião tbm? Ebs ^ Ebu?? Obrigado.

[@ELogicoPo]

Nesse caso não dá, porque "estar entre" é uma relação intrinsecamente ternária, porque você está falando sobre uma determinada coisa que ela está entre outras duas. "Ebs" diria que o Brasil está entre o Suriname, mas essa frase não faz sentido por estar incompleta. Valeu!

[@RafaelAcademico]

Também é chamado de logica de predicado?

[@ELogicoPo]

Sim!

[@Samuel-dz8bi]

Em relação ao predicado e sujeito eu tenho uma dúvida. Se o predicado tiver contido na definição de sujeito como faz?. Tipo, "o círculo é redondo". Diferente da afirmação, "o sapato é preto". O predicado "preto" acrescenta informação ao sujeito. Enquanto a outra não. Não ficou claro ):

[@ELogicoPo]

Não entendi a dúvida. Como faz o quê? O fato de o predicado adicionar informação ou não ao sujeito não tem importância para a formalização.

[@pedrocantelli1482]

eae zap o link das respostas pra esses exercicios q ta na desc dão pra um video aleatório de logica proposicional, se tiver o video certo tem como passar ae?

[@ELogicoPo]

É que o link da descrição deste vídeo é a resolução dos exemplos do vídeo anterior. A resolução dos exemplos deste vídeo está na descrição do próximo. De qualquer forma, o link é este: kzbin.info/www/bejne/bIKTpYCepMdmh7s

[@viniciusteixeira9803]

Olá, estou com uma pequena confusão com os termos: Lógica de primeira ordem é equivalente a Lógica de predicados? Lógica de predicados e Lógica proposicional são vertentes da lógica clássica? As playlists do canal e a quantidade de termos diferentes que o material que eu estudei apresenta me deixaram confuso.

[@ELogicoPo]

Opa, fala aí. Sim, lógica de predicados e lógica de primeira ordem (por vezes 'cálculo de predicados') são a mesma. Trata-se da lógica proposicional (que pode já ter predicados n-ários) acrescida de quantificadores e variáveis. A lógica proposicional é um subconjunto da lógica de predicados. Tudo que se pode fazer na lógica proposicional também se pode fazer na lógica de predicados, já que uma é uma extensão da outra. Mas nem tudo que pode ser feito na lógica de predicados pode ser feito na lógica de primeira ordem, já que esta última é mais expressiva. Ambas fazem parte da lógica clássica, que é a lógica de primeira ordem acrescida de funções e identidade. As playlists estão separadas assim porque tem gente que já sabe proposicional e quer começar a partir de primeira ordem, aí eu dividi a playlist de lógica clássica entre proposicional e primeira ordem, mas, em relação às playlists, uma é uma continuação da outra. Valeu!

[@michel_oficial93]

muito confuso a explicação