<?xml version="1.0"?>
<rss version="2.0">
   <channel>
      <title>Lógica Computacional by Jhonatas Alves</title>
      <link>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh</link>
      <description>Um mural introdutivo feito para a disciplina de Lógica Computacional - Unopar</description>
      <language>en-us</language>
      <pubDate>2022-08-19 12:21:40 UTC</pubDate>
      <lastBuildDate>2022-08-19 13:34:45 UTC</lastBuildDate>
      <webMaster>hello@padlet.com</webMaster>
      <image>
         <url>https://padlet.net/icons/png/1f4a1.png</url>
      </image>
      <item>
         <title>O que é lógica?</title>
         <author>jhonatard132</author>
         <link>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265431044</link>
         <description><![CDATA[<div>Uma definição geral da lógica é "parte da filosofia que trata das formas do pensamento em geral (dedução, indução, hipótese, inferência etc.) e das operações intelectuais que visam à determinação do que é verdadeiro ou não"<br>Más, o que isso quer dizer?<br><br>De maneira geral, a lógica está conosco desde os primeiros instantes da vida, desde tarefas simples até deduções mais complexas, a lógica está lá.<br><br>Foi o filósofo grego Aristóteles (384 a.C.-322 a.C.) que criou o estudo da lógica, ele a chamava de analítica.<br><br></div><div>Para ele, qualquer conhecimento que pretenda ser um conhecimento verdadeiro e universal deveria respeitar alguns princípios, os princípios lógicos.<br><br></div><div>A lógica (ou analítica) passou a ser compreendida como um instrumento do correto pensar e a definição de elementos lógicos que fundamentam o conhecimento verdadeiro.<br><br></div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1590274962/d8fc64f054b799894f86d98148bad7ab/O_que_e_logica_e_como_ela_funciona_jpg.webp" />
         <pubDate>2022-08-19 12:34:48 UTC</pubDate>
         <guid>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265431044</guid>
      </item>
      <item>
         <title>O que é Proposição?</title>
         <author>jhonatard132</author>
         <link>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265434833</link>
         <description><![CDATA[<div>As proposições são enunciados que podem ser verdadeiros ou falsos. A verdade da proposição já pode aparecer demonstrada ou é precisamente aquilo que se pretende demonstrar.<br>A filosofia sustenta que a proposição é um produto lógico que surge do próprio ato de enunciação que afirma ou nega algo. Em certas ocasiões, essa proposição pode ser equivalente a uma oração enunciativa, uma vez que carrega um único valor.<br><br></div><div>Um exemplo de proposição lógica poderia dizer que “Maria agora tem um coelho de estimação” e dizer que “Maria agora tem como animal de estimação um bichinho orelhudo branco que gosta de comer cenoura”, pois “bichinho orelhudo branco que gosta de comer cenoura” é a descrição de um coelho.<br><br></div>]]></description>
         <enclosure url="" />
         <pubDate>2022-08-19 12:40:51 UTC</pubDate>
         <guid>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265434833</guid>
      </item>
      <item>
         <title>O que são Premissas?</title>
         <author>jhonatard132</author>
         <link>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265436719</link>
         <description><![CDATA[<div>Premissa significa a <strong>proposição</strong>, o conteúdo, as informações essenciais que servem de <strong>base para um raciocínio</strong>, para um estudo que <strong>levará a uma conclusão</strong>. Em <strong>lógica</strong> a premissa significa cada uma das <strong>proposições de um silogismo.<br></strong><br></div><div>Dependendo do contexto em que é usada a palavra premissa pode ter como sinônimos, por exemplo: princípio, ideia inicial, alegação, enunciado ou argumento.<br><br></div>]]></description>
         <enclosure url="" />
         <pubDate>2022-08-19 12:43:23 UTC</pubDate>
         <guid>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265436719</guid>
      </item>
      <item>
         <title>O que são Argumentos?</title>
         <author>jhonatard132</author>
         <link>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265449889</link>
         <description><![CDATA[<div>A noção de argumento é fundamental para a lógica. <br><br>Argumento é um conjunto de enunciados que estão relacionados uns com os outros. Argumento é um raciocínio lógico.<br><br>Observe o seguinte argumento: <br><em>Todos os homens são mortais. Sócrates é homem. Logo, Sócrates é mortal. </em><br>Este é um argumento formado por duas premissas e uma conclusão. Os dois primeiros enunciados são as premissas e o último enunciado é a conclusão. Os fatos apresentados nas premissas servem de evidência para a conclusão, isto é, são eles que sustentam a conclusão.&nbsp;<br>Para que o argumento seja válido, não basta que a conclusão seja verdadeira. É preciso que as premissas e a conclusão estejam relacionadas corretamente.&nbsp;<br><br><br></div>]]></description>
         <enclosure url="" />
         <pubDate>2022-08-19 12:57:51 UTC</pubDate>
         <guid>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265449889</guid>
      </item>
      <item>
         <title>O que é Silogismo?</title>
         <author>jhonatard132</author>
         <link>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265454543</link>
         <description><![CDATA[<div>Silogismo é um termo criado por Aristóteles na filosofia para mencionar o raciocínio por meio de dedução, ou, o que mais conhecemos, o raciocínio lógico. A palavra grega <em>syllogismos </em>significa conclusão, ou interferência. Esta forma de pensamento deve partir de duas premissas.<br>Há vários tipos de silogismo: regulares, irregulares e hipotéticos. A princípio, os irregulares são compostos por entima, epiquerema, polissilogismo e sorites.<br><br></div><ul><li><strong>Entima</strong>: quando ocorre no processo uma premissa subentendida, exemplo clássico é a frase “Penso, logo existo”</li></ul><div><br></div><ul><li><strong>Epiquerema</strong>: quando ambas as premissas vêm acompanhadas de provas.</li></ul><div><br></div><ul><li><strong>Polissilogismo</strong>: este é mais complexo porque por via de regra deve ter 4 proposições e todas corretamente comprovadas até sua conclusão.</li></ul><div><br>Além dos tipo temos também variações no Silogismo hipotético que são eles condicionais, que não nega e nem afirma, disjuntivos, premissas alternativas e o dilema, é um modo de sigilismo que usa de argumentos com duas possíveis hipóteses e que nenhuma das duas serão desejáveis.</div><div><br></div><div><br><br><br><br></div>]]></description>
         <enclosure url="" />
         <pubDate>2022-08-19 13:03:46 UTC</pubDate>
         <guid>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265454543</guid>
      </item>
      <item>
         <title>O que é Falácia?</title>
         <author>jhonatard132</author>
         <link>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265458536</link>
         <description><![CDATA[<div><strong>Falácias</strong> são argumentos que têm a pretensão de ser corretos e conclusivos mas que, no entanto, possuem algum erro em sua estrutura ou seu conteúdo. São majoritariamente encontradas em pensamentos envolvendo maus raciocínios ou ilusões que fazem com que um mau argumento pareça adequado quando, na verdade, é frágil ou inconsistente. Também podem ser chamadas sofismas, que são raciocínios elaborados maliciosamente a fim de enganar o interlocutor, ou paralogismos, que são raciocínios falsos mas, diferentemente dos sofismas, sem a intenção de enganar.</div><div>São diversos os modos de uso do termo ‘falácia’. De maneira mais geral, é utilizada para fazer referência a qualquer falsa crença ou ideia equivocada, como quando alguém afirma que “todos os patos são brancos.” Em filosofia, as falácias fazem parte do campo de estudos da lógica e nesse campo são definidas, mais estrita e tecnicamente, como erro de argumentação ou de raciocínio e são, geralmente, aplicados pelos lógicos àqueles argumentos que, apesar de incorretos, podem parecer convincentes, de modo que apenas um exame cuidadoso é capaz de revelar seu erro. Contudo, alguns argumentos são tão claramente falaciosos que não são capazes de enganar a ninguém. O termo também foi utilizado por filósofos da Escolácia para se referir à obra <em>Refutações sofísticas</em>, de Aristóteles, onde o autor se põe a analisar as falácias de seu tempo.</div><div>A respeito da classificação das falácias, o matemático e lógico moderno Augustus De Morgan afirma que “não <em>há</em> coisa alguma que possa ter o nome de uma classificação dos modos como os homens chegam a um erro; e é muito duvidoso que possa <em>haver</em> alguma.” No entanto, conhecer e classificar as falácias é muito útil para que as mesmas possam ser identificadas. As falácias são, portanto, divididas em dois grupos: falácias formais e falácias não-formais.</div>]]></description>
         <enclosure url="" />
         <pubDate>2022-08-19 13:08:20 UTC</pubDate>
         <guid>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265458536</guid>
      </item>
      <item>
         <title>O que é inferência? Quais os tipos?</title>
         <author>jhonatard132</author>
         <link>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265463480</link>
         <description><![CDATA[<div>Inferência é a ação e o efeito de inferir (deduzir algo, tirar uma conclusão de outra coisa, conduzir a um resultado). A inferência surge a partir de uma avaliação mental entre distintas expressões que, ao serem relacionadas como abstrações, permitem traçar uma implicação lógica.<br>são tipos de inferência;</div><ol><li><strong>Dedução - </strong>Dedução é o processo de derivar uma conclusão dos axiomas e fatos dados. Ou seja, tire uma conclusão com base nos conhecimentos e observações disponíveis. A conclusão pode ser tirada aplicando a regra do <em>modus ponens</em> . Esta regra de inferência afirma que, se for sabido que P e P → Q são verdadeiros, pode-se concluir que Q também deve ser verdadeiro. Inferência por dedução também é conhecida como inferência lógica.</li><li><strong>Indução<br></strong><br>Por outro lado, indução implica derivar uma regra geral (também chamada axioma) de observações particulares ou específicas.<br><br>Esse tipo de raciocínio é o oposto do dedutivo. Basicamente, significa extrair conclusões ou inferências de vários dados, indo do específico para o geral. Os cientistas usam o raciocínio indutivo para formar hipóteses e teorias.</li><li><strong>&nbsp;Rapto</strong></li></ol><div>Esse tipo de inferência começa com um conjunto incompleto de observações, resultando na explicação mais provável possível.<br><br></div><div>Baseia-se na criação e teste de hipóteses, utilizando as melhores informações disponíveis. Geralmente envolve fazer uma suposição após observar um fenômeno para o qual não há uma explicação clara.<br><br></div><div><br><br></div><div><br></div>]]></description>
         <enclosure url="" />
         <pubDate>2022-08-19 13:14:37 UTC</pubDate>
         <guid>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265463480</guid>
      </item>
      <item>
         <title>Uma visão sobre a Lógica computacional </title>
         <author>jhonatard132</author>
         <link>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265477627</link>
         <description><![CDATA[<div>Vimos na disciplina vários conceitos de Lógica, e esses conceitos e fundamental na área computacional, pois, um algoritmo interpretado por um compilador, nada mais é do que uma sequência de passos lógicos, onde informações ou dados trafegam até chegar a uma conclusão.<br>por isso, saber maneiras de induzir, interpretar e resolver problemas lógicos e essencial para quem escreve esses algoritmos.<br>Com isso em mente, eu sou apaixonado por lógica e por esse universo gigantesco que é a tecnologia, descobrir formas de raciocínio e procurar caminhos mais eficientes para resolver problemas cotidianos ou corporativos é sem dúvidas uma tarefa exaustiva, e é exatamente isso que a lógica computacional nos trás, maneiras Lógicas de resolver esses problemas.&nbsp;</div>]]></description>
         <enclosure url="" />
         <pubDate>2022-08-19 13:30:13 UTC</pubDate>
         <guid>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265477627</guid>
      </item>
      <item>
         <title></title>
         <author>jhonatard132</author>
         <link>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265478741</link>
         <description><![CDATA[<div>Mais sobre lógica<br><br></div>]]></description>
         <enclosure url="https://mundoeducacao.uol.com.br/filosofia/logica.htm" />
         <pubDate>2022-08-19 13:31:20 UTC</pubDate>
         <guid>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265478741</guid>
      </item>
      <item>
         <title></title>
         <author>jhonatard132</author>
         <link>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265479624</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://www.educamaisbrasil.com.br/enem/filosofia/silogismo" />
         <pubDate>2022-08-19 13:32:10 UTC</pubDate>
         <guid>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265479624</guid>
      </item>
      <item>
         <title></title>
         <author>jhonatard132</author>
         <link>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265481912</link>
         <description><![CDATA[]]></description>
         <enclosure url="https://www.youtube.com/watch?v=LL_cDDZyYjc" />
         <pubDate>2022-08-19 13:34:39 UTC</pubDate>
         <guid>https://padlet.com/jhonatard132/mttqqauxvvm2k3eh/wish/2265481912</guid>
      </item>
   </channel>
</rss>
