Lógica Computacional by Ryan Ribeiro https://padlet.com/ryanrybeiro123/logiccomp CONCEITOS E AVALIAÇÃO DE UM ARGUMENTO en-us 2021-08-22 01:29:48 UTC 2021-08-22 02:29:01 UTC hello@padlet.com https://padlet-uploads.storage.googleapis.com/1304791456/4490fb9ee1e41106b9c07892e15d51ee/drawing.png CONCEITOS ryanrybeiro123 https://padlet.com/ryanrybeiro123/logiccomp/wish/1689216914

]]> 2021-08-22 01:45:46 UTC https://padlet.com/ryanrybeiro123/logiccomp/wish/1689216914 Proposição: ryanrybeiro123 https://padlet.com/ryanrybeiro123/logiccomp/wish/1689217362 Toda oração que declare algo, podendo ser valorada como verdadeira ou falsa, sem casos em que ela se encaixe nas duas opções]]> 2021-08-22 01:46:56 UTC https://padlet.com/ryanrybeiro123/logiccomp/wish/1689217362 Premissas: ryanrybeiro123 https://padlet.com/ryanrybeiro123/logiccomp/wish/1689217549 Consistem em proposições que são utilizadas como base para um raciocínio. Pode-se dizer que são as proposições do silogismo

]]> 2021-08-22 01:47:28 UTC https://padlet.com/ryanrybeiro123/logiccomp/wish/1689217549 Argumento: ryanrybeiro123 https://padlet.com/ryanrybeiro123/logiccomp/wish/1689217833 Um argumento é uma sequência  de enunciados na qual um dos enunciados é a conclusão e 
os demais são premissas, as quais servem para provar ou, pelo menos, fornecer alguma 
evidência para a conclusão.
]]> 2021-08-22 01:48:17 UTC https://padlet.com/ryanrybeiro123/logiccomp/wish/1689217833 Silogismo: ryanrybeiro123 https://padlet.com/ryanrybeiro123/logiccomp/wish/1689218132 Consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas.]]> 2021-08-22 01:48:42 UTC https://padlet.com/ryanrybeiro123/logiccomp/wish/1689218132 DEDUÇÃO E INDUÇÃO ryanrybeiro123 https://padlet.com/ryanrybeiro123/logiccomp/wish/1689221307 A  Lógica  dispõe  de  duas  ferramentas  principais  que  podem  ser  utilizadas  pelo 
pensamento  na  busca  de   novos  conhecimentos:  a  dedução  e  a  indução,  que  dão  origem  a 
dois  tipos  de  argumentos,  dedutivos  e  indutivos.
]]> 2021-08-22 01:57:28 UTC https://padlet.com/ryanrybeiro123/logiccomp/wish/1689221307 Indutivo ryanrybeiro123 https://padlet.com/ryanrybeiro123/logiccomp/wish/1689222121 Os  argumentos  indutivos,  por  outro  lado,  não  pretendem  que  suas   premissas forneçam  provas  cabais  da  ver acidade  da  conclusão,  mas  apenas  que  forneçam indicações dessa veracidade. 

Argumentos  indutivos  partem  do  particular  para  o  geral, isto  é,  a  partir  de observações  particulares,  procura  estabelecer  regras gerais,  que,  no  caso das  ciências  naturais,  devem  ser  provadas  por  outros  meios;  os argumentos  dedutivos,  por seu  lado,  partem  de  regras  gerais  par a  estabelecer  a  veracidade  de  acontecimentos 
particulares.
 

]]> 2021-08-22 01:59:11 UTC https://padlet.com/ryanrybeiro123/logiccomp/wish/1689222121 Exemplo: ryanrybeiro123 https://padlet.com/ryanrybeiro123/logiccomp/wish/1689222237 Joguei uma pedra no lago, e a pedra afundou; 
Joguei outra pedra no lago e ela também afundou; 
Joguei mais uma pedra no lago, e também esta afundou; 
Logo, se eu jogar uma outra pedra no lago, ela vai afundar
]]> 2021-08-22 01:59:23 UTC https://padlet.com/ryanrybeiro123/logiccomp/wish/1689222237 Dedutivo ryanrybeiro123 https://padlet.com/ryanrybeiro123/logiccomp/wish/1689225726 Os  argumentos  dedutivos  pretendem  que suas premissas forneçam  uma prova conclusiva da veracidade d a conclusão. Um  argumento dedutivo  é  válido  quando  suas  premissas,  se  verdadeiras,  fornecem  provas  convincentes para  sua conclusão,  isto  é,  quando  for  impossível  que  as  premissas  sejam  verdadeiras  e  a conclusão  falsa;  caso  contrário,  o  argumento  dedutivo  é  dito  inválido. ]]> 2021-08-22 02:08:58 UTC https://padlet.com/ryanrybeiro123/logiccomp/wish/1689225726 Exemplo: ryanrybeiro123 https://padlet.com/ryanrybeiro123/logiccomp/wish/1689226240 Todos os homens são mortais. (premissa) 
Sócrates é homem. (premissa) 
Portanto Sócrates é mortal. (conclusão)
]]> 2021-08-22 02:10:21 UTC https://padlet.com/ryanrybeiro123/logiccomp/wish/1689226240