Lógica Computacional by Luiz Ribeiro https://padlet.com/luizgnrluiz/i2oaawh3935whqzk Criado por Luiz Ribeiro en-us 2021-08-05 20:05:46 UTC 2021-08-05 21:11:38 UTC hello@padlet.com https://padlet.net/icons/png/0023.png Termos Importantes luizgnrluiz https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670359253 Um pouco dos termos importantes no mundo da lógica computacional]]> 2021-08-05 20:21:03 UTC https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670359253 Proposição luizgnrluiz https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670359517 Um enunciado, uma frase declarativa.]]> 2021-08-05 20:21:37 UTC https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670359517 Premissas luizgnrluiz https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670360454 Proposições utilizadas como base para um raciocínio.]]> 2021-08-05 20:22:50 UTC https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670360454 Argumento luizgnrluiz https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670360816 Conjunto de enunciados que possuem relações]]> 2021-08-05 20:23:35 UTC https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670360816 Silogismo luizgnrluiz https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670361517 Conjunto de premissas que possibilita a dedução de uma conclusão.]]> 2021-08-05 20:24:56 UTC https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670361517 Falácias luizgnrluiz https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670361847 Argumentos que logicamente estão incorretos]]> 2021-08-05 20:25:30 UTC https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670361847 Lógica formal luizgnrluiz https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670366316 Analisa um argumento para que possa chegar em alguma conclusão. A lógica não permite que eu saiba se uma proposição é verdadeira ou falsa. Mas, com ela pode-se, usando premissas verdadeiras, chegar a conclusões verdadeiras.

]]> 2021-08-05 20:34:20 UTC https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670366316 Lógica Simbólica luizgnrluiz https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670370724 A partir de um certo período foi notado que a lógica formal, não era suficiente para analisar argumentos e chegar a conclusões necessárias. Para isso alguns matemáticos criaram a chamada lógica simbólica que utiliza símbolos matemáticos em equações para expressar argumentos. ]]> 2021-08-05 20:42:52 UTC https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670370724 Essa lógica é extremamente precisa e não dá margem a duplas interpretações luizgnrluiz https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670372469 O que acontecia, com a lógica formal, quando queria-se interpretar paradoxos.]]> 2021-08-05 20:44:45 UTC https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670372469 Lógica Transcendental luizgnrluiz https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670385550 Está ligado ao conhecimento puro, que se faz através das representações, do racional, e não das coisas em si.]]> 2021-08-05 21:01:14 UTC https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670385550 Lógica Dedutiva luizgnrluiz https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670387173 Parte de uma premissa geral para chegar a uma conclusão particular.]]> 2021-08-05 21:05:16 UTC https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670387173 Lógica Indutiva luizgnrluiz https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670388939 Parte de dezenas ou centenas de premissas particulares para chegar a uma conclusão geral.]]> 2021-08-05 21:06:49 UTC https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670388939 Exemplo luizgnrluiz https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670389620 Todo veterinário possui um animal.
Jéssica é veterinária.
Logo, Jéssica possui um animal.]]> 2021-08-05 21:08:14 UTC https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670389620 Exemplo luizgnrluiz https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670390515 Jessica é veterinária e possui um animal;
Júlio é veterinário e possui um animal;
Kátia é veterinária e possui um animal;
.....

Depois de dezenas ou centenas de informações pode-se dizer que todo veterinário possui um animal.]]> 2021-08-05 21:10:12 UTC https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670390515 Vale dizer que.. luizgnrluiz https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670391055 Um único contraexemplo é possível de invalidar toda a lógica.]]> 2021-08-05 21:11:36 UTC https://padlet.com/luizgnrluiz/i2oaawh3935whqzk/wish/1670391055