@@ELogicoPo Ah sim, é que a lógica foi formalizada visando a matemática né. Lembro que você fez um vídeo sobre a incompletude que é estudado por matemáticos e filósofos ai acabei perguntando, mas vlw tmj
@@ELogicoPo Vlw, man. Já comecei a ler o livro do Mortari, tem algum outro livro que fale mais do assunto? Tipo, falando melhor sobre outras lógicas e tals.
Cara, quando usamos operações/propriedades em matemática, usa-se um bicondicional ou igualdade ( ou da na mesma?)? Por exemplo 2x=2 ( ) x=1 (x natural) o que vai nos parênteses?
Depende da expressão. O sinal de identidade só pode ser usado entre termos. Não faz sentido dizer 2x=2 = x=1 porque "2x=2" e "x=1" não são termos, mas sim proposições completas. Entre proposições você deve usar conectivos, como o bicondicional (é ele que vai nos parênteses nesse caso). Mas, se você tem dois termos relacionando duas operações, como a de multiplicação e de soma em 2*2 = 2+2, o correto é usar a identidade, porque os símbolos de multiplicação e adição são funções e, portanto, geram termos.
![Lógica de primeira ordem [18] - Os usos da identidade na lógica (3/3)](http://i.ytimg.com/vi/CPXQUkLDQWo/mqdefault.jpg)
![Lógica de primeira ordem [18] - Os usos da identidade na lógica (3/3)](/img/tr.png)
Como que você grava seus vídeos? Você explica conforme vai escrevendo ou grava uma explicação depois de já ter escrito tudo?
Isso, vou escrevendo de acordo com a explicação, como num quadro em uma sala de aula.
As timestamps no video ficaram brabas
Esse recurso do RUclips é muito bom, aos poucos vou adicionando isso aos outros vídeos.
Zap vc notou alguma evolução sua na matemática com seus estudos de lógica ?
Não cheguei a reparar nisso, cara... Faz bastante tempo que não estudo matemática.
@@ELogicoPo Ah sim, é que a lógica foi formalizada visando a matemática né. Lembro que você fez um vídeo sobre a incompletude que é estudado por matemáticos e filósofos ai acabei perguntando, mas vlw tmj
Cara, que livros você me recomendaria para aprofundar ainda mais meus conhecimentos de lógica?
Aliás, gosto mto dos seus vídeos :)
Opa, que bom que gostou, hehe. Sobre os livros, dá uma olhada nesse vídeo aqui: ruclips.net/video/5QWWYGXPGJ0/видео.html
Valeu!
@@ELogicoPo Vlw, man. Já comecei a ler o livro do Mortari, tem algum outro livro que fale mais do assunto? Tipo, falando melhor sobre outras lógicas e tals.
Mais uma vez o zap lançando a braba
Cara, quando usamos operações/propriedades em matemática, usa-se um bicondicional ou igualdade ( ou da na mesma?)? Por exemplo 2x=2 ( ) x=1 (x natural) o que vai nos parênteses?
Depende da expressão. O sinal de identidade só pode ser usado entre termos. Não faz sentido dizer 2x=2 = x=1 porque "2x=2" e "x=1" não são termos, mas sim proposições completas. Entre proposições você deve usar conectivos, como o bicondicional (é ele que vai nos parênteses nesse caso).
Mas, se você tem dois termos relacionando duas operações, como a de multiplicação e de soma em 2*2 = 2+2, o correto é usar a identidade, porque os símbolos de multiplicação e adição são funções e, portanto, geram termos.
se não for o caso que as premissas é validas e as conclusão invalidas então o argumento são verdadeiro
♪☼