Introdução a tablôs semânticos para lógica clássica (1/?)

[@ELogicoPo]

Este vídeo é apenas introdutório. Se você não entendeu as aplicações das regras que eu usei no vídeo, fica frio aí que eu vou explicar com mais detalhes nos próximos vídeos. =)

[@marianap55]

Você da aula online particular?

[@marcelocassio7358]

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.

[@ramongoncalves6168]

Que bom que você fez vídeo sobre isso, quando paguei "Lógica Aplicada a Computação" foi rojão pra estudar isso por vídeo em espanhol hahaah.

[@guilhermesantos1240]

Melhor Canal de Lógica do Brasil!!!

[@nicolli.galvao]

relembrando os tablôs contigo!

[@heloisyprodrigues]

No aguardo da proxima aula!

[@8nfinite883]

Eu achava que eu não estava entendendo porque eu era burro, mas cara sua explicação me fez entender claramente... Obrigado !

[@ELogicoPo]

Fico feliz em saber que o vídeo foi útil!

[@isaacmoreira8124]

Sim

[@raphaelchristi6424]

nicholas, mas se for o caso da formula ser uma contradição e voce usar redução ao absurdo, no final voce nao teria que econtrar uma tautologia? ai aplicando a redução ao absurdo vc provaria que é uma contradição

[@ELogicoPo]

Sim, se a fórmula que você deseja provar for uma contradição, quando você negá-la, terá uma tautologia, e isso fará com que não se tenha nenhum ramo fechado, todos ficarão abertos.

[@ABSOLUTISMOMERCEDISTA]

Porque neg(P e Q) não implica em neg(P) + neg(Q) também?

[@ELogicoPo]

Mas implica, foi mostrado no vídeo em 18:04.

[@ABSOLUTISMOMERCEDISTA]

@@ELogicoPo achei esquisito o não P e o não Q não aparecerem explicitamente no ramo, mas tranquilo (faz vídeo sobre o pinóquio da obmep, tem um ouro escondido láeu juro kkkk)

[@ELogicoPo]

@@ABSOLUTISMOMERCEDISTA Mas eles aparecem explicitamente, no último nó do ramo

[@lucascelestino2654]

esse assunto irá me levar ao suicídio de tão chato

[@ELogicoPo]

setembro