วีดีโอ

já fazem quatro anos...

Marcando presença Dia 2 estudando lógica, Aula 8 27/12/2024 Ótimas aulas!

Rapaz tava lendo o do Gensler mas quando cheguei em lógica proposicional travei 😂 vou tentar no Mortari

Marcando presença! Dia 1 estudando lógica, aula 4. Data: 26/12/2024 Ótima aula, você é um ótimo professor!

sou graduando em matemática fazendo IC em lógica e teoria de conjuntos, e fico genuinamente muito feliz de ter gente fazendo esse tipo de conteúdo, por favor continue, e não se desanime com os números... parece que o povo no geral realmente não aprecia lógica.

Tem livro que faz distinção entre condicional e implicação. Estou confuso 🤔

Recentemente me interessei por lógica e cai de paraquedas nesse canal. Sou formada em engenharia e é uma pena que não tenha tido nenhuma matéria que tratasse de lógica lá.

Trnho uma duvida sobre a propriedade de antissimetria. Denotando que na proposição ∀x∀y ((Ryx ∧ Rxy) → (x=y)), R seja a relação de ter o mesmo travesseiro e, y sendo eu e x sendo João; isto seria antissimetrico? Ja que eu tenho a relação de ter o "mesmo" ( Mesmas marca, propriedades,etc; entretanto, nao o mesmo de forma literal ) travesseiro que joao, e João também detem a relacao de ter o mesmo travesseiro que eu, logo isto é antissimetrico? Talvez eu tenha cometido um erro nisso ai, ja que como eu denotei x e y como eu e João, por inferência temos que x = y, eu estaria dizendo que eu=joao? Então eu deveria que atribuir x e y como x sendo "travesseiro de fulano", e y sendo "travisseiro de fulano²"? Nao entendi muito bem

Gostei muito do seu jeito de ensinar

Boa tarde ! Como passar essa sentenca pra forma logica: todos alunos estudam pragmatica .um aluno não fez o fichamento .se um aluno fizer os exercícios,ele estará bem preparado para prova.

melhor canal de lógica 😩😩🔥🔥🔥🔥

aula incrível, voa mlk

eu to tentandocriar um sistema lógico com o menor número de regras de inferencia possivel, claro que eu poderia simplesmente criar um sistema sem nenhuma regra de inferencia mas aí ele nao vai fazer nada kkkk. então eu quero que ele consiga pelo menos provar alguns teoremas da aritmetica de peano, eu acho que usar o sheffer stroke pode fazer eu conseguir ter o menor número de regras de inferencia possivel, porque pra provar algo eu nao posso usar a tabela verdade como uma prova, eu só posso usar as regras de inferencia

opa, tem alguma recomendação para livros de lógica?

aprendi um feitiço de harry potter nesse video

isso é bem importante porque esse princípio é oque faz as provas por contradição funcionarem. se você mostrar que uma coisa implica em algo que é falso, aquela coisa é falsa, porque não tem como algo verdadeiro implicar em algo falso. muitas provas matemáticas usam isso para mostrar que certa coisa é impossivel ou certa coisa não existe

tanto onipotência quanto onisciência causam paradoxos, mas eu acho que elas são possiveis se você restringir um pouco elas. nesse caso eu não sei como isso poderia ser feito mas no caso da onipotência você pode redefinir ela como "Deus pode fazer tudo, exceto oque é ilógico"

Meu mano não sei se vc vai ver esse comentário em u video de anos atrás, mas eu tenho uma duvida queria te pedir ajuda. Tenho a impressão de que implicação é valida se for correta, mesmo não sendo necessariamente verdadeira como: "Se eu sou rico então eu tenho muito dinheiro" Mas eu não sou rico apenas poderia ser em outro mundo possível nesse caso para ela ser valida não é necessário que ela seja verdadeira e isso parece remeter a ideia de mundos possíveis. Mas a minha duvida é que se eu digo por exemplo que: "Se 5 fosse par ele seria divisível por 2" Parece ter um mundo possível em que 5 é par ou ainda: "Se 1+1 fosse 3 então 1+1 seria impar" Parece valido também, mas não é uma verdade necessária em qualquer mundo possivel que 1+1 seja igual a 2? Não da pra povar isso com logica de peano?

Qual programa vc está usando nesse vídeo para desenhar com a mesa digitalizadora?

Seus vídeos são os melhores até agora que assisti. Isso inclui conteúdos em inglês e em espanhol, pois estudo em 3 idiomas. Muito obrigado!!!

obrigado!!!

Muito obrigado!

Grande Immanuel Kant, luterano virtuoso, eterno.

Boa noite zap, você pretende voltar com o canal em algum momento? É algo que ainda é incerto ou você pretende focar agora apenas na sua vida acadêmica/privada? Seu canal é um achado, fantástico, comecei a estudar lógica por sua causa, estou lendo o livro do Mortari, enfim, tudo de bom pra você

obrigado pai

A maioria das pessoas nos comentários parecem não ter assistido o vídeo até o fim kkkkkkkk

eu quero ser igual vc quando eu crescer

Zap, poderia me ajudar com esta questão: 4. Mostre se os seguintes requisitos são consistentes ou não. Caso sejam, para que valores esses requisitos são consistentes. Utilize a tabela-verdade nesta atividade. a. Se o sistema de arquivos não está travado, então novas mensagens serão enfileiradas. Se o sistema de arquivos não está travado, então o sistema está funcionando normalmente e vice-versa. Se novas mensagens não são enfileiradas, então elas serão enviadas para o buffer de mensagens. Se o sistema de arquivos não está travado, então novas mensagens serão enviadas para o buffer de mensagens. Novas mensagens não serão enviadas para o buffer de mensagens. Vi versões diferentes onde fazem a sentença com a negação e sem ela e estou confusa

Uma pergunta, qual a diferença de uma letra setencial "V" a disjunção "'\/'" e a verdade "v" no papel, literalmente (quero saber a diferença na escrita)

*todos os estados do rio de janeiro*

Bacana, da para entender bem o metodo do Tablôs com sua aula. Tenho um livro de logica de primeira ordem do Reymond que ele usa o simbolode "contem" como simbolo de implicação e isso traz uma dificuldade de entendimento de linguagem notacional.

Olá, por que no seu último exercício você não trocou de lado o consequente na expressão " salvo se", sobre os bitcoins? Não deveria ser (M' -> B) -> A?

Eu estava vendo uns vídeos e o pessoal dizia que antes de você começar a aprender matemática é muito, muito, muito importante entender lógica para depois entender matemática e que pela falta disso muitas pessoas não conseguem aprender matemática

Se você atribuí um significado subjetivo logo P não é conhecido por Deus. Se Deus atribuí significado subjetivo logo P é conhecido por Deus. Pois, se Deus atribuir um significado a P através da sua subjetividade, de que P é conhecido por Deus, logo Deus é onisciente. Símbolos e formas somos nós que atribuímos significado a eles, eles não atribuem significado a si mesmo. Zermelo aborda essa questão, sobre esse teorema, Veja P sendo composto por Deus

Muito interessante seu curso de lógica. Você teria alguns livros para indicar além do harry gensler e irving copi?

Se A≠A então não dá pra concluir nada kkkk

16:40 Os resultados de A e B quando A é verdadeiro e B é falso. da terceira e quarta tabela-verdade estão realmente corretas? ((A → B) ∧ A) → B Nesse caso (falando da segunda tabela). Quando A for verdadeiro e B for falso, o valor lógico final não deveria ser falso? Isso porque, vamos substituir os valores na tabela. ((V → F) ∧ V) → F Como na tabela a cima, em todos os casos o V → F será Falso. Já que este não foi modificado. Até ai tudo bem, temos que: (F ∧ V) → F Aqui a conjunção F ∧ V resulta no valor lógico F, nada de mais. Por fim temos. F → F. Na primeira tabela, que você mostrou passo a passo. O F → F ficou verdadeiro, pois a primeira tabela P → Q, estava verdadeiro quando ambos forem falso. Agora quando sobre a segunda e a terceira tabela. F → F. Não deveria ser verdadeiro. Já que no P → Q de ambas, quando elas forem falsa o resultado também será falso. Portanto. Nesse caso F → F da segunda e terceira tabela deveria ser Falso, e não verdadeiro como apresenta no vídeo. Sei que isso não interfere no conteúdo. E nem sei se vai ver essa mensagem por causa da paralização do canal. Mas se for ver dar uma conferida nisso, não vi ninguém falando sobre e eu tinha criado até um programa aqui para ver se o resultado era esse e realmente era. Testei para todas as tabelas-verdades até para a original e funcionou. Então se você ou alguém que entende de lógica mais do que eu tiver lendo isso e puder me dar uma resposta vou ficar bastante grata. Não importa se você está vendo isso daqui a muito tempo kkkkk Obrigada!

ultima prova de logica do meu 1º periodo de sistemas de inf. e o seus videos me SALVARAM em toda a disciplina de introdução a logica, simplemente obrigado kkkk. Me preparando para a ultima prova por aqui, ja que n entendi nada q a professora explicou 😂

10:08 Nossa, só nessa parte aqui e já meio que saquei o que era. Isso me lembrou que eu estudei em um livro de introdução a filosofia, que tinha uma parte explicando sobre a lógica aristotélica o quadrado lógico de Aristoteles, e eu lembrei que eu tinha ficado um tempão tentando entender aquilo até que eu finalmente entendi e percebe que o problema que eu estava resolvendo naquela época era o mesmo desse kkkkkk Ainda não resolvi, mas acho que se eu pegar sozinho e voltar lá nos mesmo conceitos do quadrado lógico eu consigo compreender.

quer dizer que você não acredita na evolução? realmente, os argumentos dele não fazem sentido para provar a evolução, porém a evolução já foi comprovada de n maneiras na ciência. Gostaria de saber se você não crê nela, ou se crê, mas quis expor o argumento ruim dele

Mano a notação: (x)Px onde tu viu, proucurei não encontrei nada sobre isso e estou muito curioso

Quando vc vai voltar cara...

Ainda não consegui entender a parte final do video, mas a refutação da refutação num nível mais simples é: A premissa do Anarco-Capitalismo não é "não se pode agredir", mas sim "não se pode INICIAR agressão contra indivíduo pacifico", poderia se criar uma palavra diferente para descrever isso de forma mais ímpar, mas pra que complicar? hehe. Então partindo dessa premissa o policial não estaria inciando agressão contra um ser pacifico, e segue o jogo.

Recomendo vídeos variando de 15 a 25 minutos. Grato.

Um vídeo que recomendo é sobre o futuro da lógica. Muito da lógica atual está sendo utilizada na área de computação. Com o progressivo desenvolvimento da computação quântica muita coisa pode mudar inclusive a lógica de primeira ordem com todas as suas variações. Mesmo assim acredito que haverá outros usos para a lógica em outros campos do saber. Bom dia, grato. Ótima aula.

A recomendação que vc faça vídeos do tamanho da complexidade do assunto. Mesmo assim, há assuntos que precisam ser pausados. Em dois ou mais capítulos. Grato.