<?xml version="1.0"?>
<rss version="2.0">
   <channel>
      <title>Lógica Computacional by Francislei Xavier</title>
      <link>https://padlet.com/francisleixavierti/1o0nyo6wudcaez5z</link>
      <description>Unopar - Análise e Desenvolvimento de Sistemas</description>
      <language>en-us</language>
      <pubDate>2022-08-15 22:21:28 UTC</pubDate>
      <lastBuildDate>2022-08-15 23:15:48 UTC</lastBuildDate>
      <webMaster>hello@padlet.com</webMaster>
      <image>
         <url>https://padlet.net/icons/png/1f5a5.png</url>
      </image>
      <item>
         <title>O que é Proposição?</title>
         <author>francisleixavierti</author>
         <link>https://padlet.com/francisleixavierti/1o0nyo6wudcaez5z/wish/2261626904</link>
         <description><![CDATA[<div>As proposições são enunciados, afirmações ou negações, e possuem sua validade, ou falsidade, analisada logicamente. A partir da análise de proposições, o estudo da lógica torna-se uma ferramenta para o correto pensar. O pensar corretamente necessita de princípios (lógicos) que garantam sua validade e verdade.<br><br>Exemplo de proposições:</div><ul><li>O céu é azul.</li><li>Belo Horizonte é a capital de Minas Gerais.</li><li>O cachorro late.</li></ul>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1603225462/4b1b70c71bf21b4ea916b9420e1103c2/image.png" />
         <pubDate>2022-08-15 22:48:34 UTC</pubDate>
         <guid>https://padlet.com/francisleixavierti/1o0nyo6wudcaez5z/wish/2261626904</guid>
      </item>
      <item>
         <title>O que é lógica?</title>
         <author>francisleixavierti</author>
         <link>https://padlet.com/francisleixavierti/1o0nyo6wudcaez5z/wish/2261627989</link>
         <description><![CDATA[<div>A lógica é uma área da filosofia que visa estudar a estrutura formal dos enunciados (proposições) e suas regras. Em suma, a lógica serve para se pensar corretamente, sendo assim, uma ferramenta do correto pensar.<br><br></div><div>Lógica tem origem na palavra grega <em>logos</em>, que significa razão, argumentação ou fala. A ideia de falar e argumentar pressupõe que o que está sendo dito possua um sentido para aquele que ouve.<br><br></div><div>Esse sentido fundamenta-se na estrutura lógica, quando algo "tem lógica" quer dizer que faz sentido, é uma argumentação racional.<br><br></div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1603225462/7192b082946e5afb20e15d661ee94a65/image.png" />
         <pubDate>2022-08-15 22:51:08 UTC</pubDate>
         <guid>https://padlet.com/francisleixavierti/1o0nyo6wudcaez5z/wish/2261627989</guid>
      </item>
      <item>
         <title>O que são Premissas?</title>
         <author>francisleixavierti</author>
         <link>https://padlet.com/francisleixavierti/1o0nyo6wudcaez5z/wish/2261629573</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="https://padlet-uploads.storage.googleapis.com/1603225462/606633a0d3113cff99420c2f9ff39072/image.png" />
         <pubDate>2022-08-15 22:54:40 UTC</pubDate>
         <guid>https://padlet.com/francisleixavierti/1o0nyo6wudcaez5z/wish/2261629573</guid>
      </item>
      <item>
         <title>O que são Argumentos?</title>
         <author>francisleixavierti</author>
         <link>https://padlet.com/francisleixavierti/1o0nyo6wudcaez5z/wish/2261630714</link>
         <description><![CDATA[<div>Argumentos são <strong>ideias lógicas relacionadas entre si e com o propósito de esclarecer e resolver determinada situação ou dúvida</strong>, por exemplo.<br><br></div><div>Os argumentos são normalmente baseados em premissas que ajudam a construir uma conclusão. No entanto, todas as premissas devem ter como alicerce um sentido lógico, caso contrário o resultado final pode não ser verdadeiro ou válido.<br><br></div><div>Por norma, os argumentos servem principalmente para provar alguma coisa, como um ponto de vista, uma decisão ou ideia. Seu objetivo, neste caso, consiste em justificar determinado objeto que é causa de um debate.<br><br></div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1603225462/ae541fd7edda709f50ecd27e0d84bdf1/image.png" />
         <pubDate>2022-08-15 22:56:57 UTC</pubDate>
         <guid>https://padlet.com/francisleixavierti/1o0nyo6wudcaez5z/wish/2261630714</guid>
      </item>
      <item>
         <title>O que é Silogismo?</title>
         <author>francisleixavierti</author>
         <link>https://padlet.com/francisleixavierti/1o0nyo6wudcaez5z/wish/2261631549</link>
         <description><![CDATA[<div>Silogismo é um <strong>modelo de raciocínio baseado na ideia da dedução</strong>, composto por duas premissas que geram uma conclusão.</div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1603225462/1f178ad7a03d4eb164a392667d7451d6/image.png" />
         <pubDate>2022-08-15 22:59:07 UTC</pubDate>
         <guid>https://padlet.com/francisleixavierti/1o0nyo6wudcaez5z/wish/2261631549</guid>
      </item>
      <item>
         <title>O que é Falácia?</title>
         <author>francisleixavierti</author>
         <link>https://padlet.com/francisleixavierti/1o0nyo6wudcaez5z/wish/2261634009</link>
         <description><![CDATA[<div><strong>Falácia</strong> é um raciocínio que parece lógico e verdadeiro, porém existe alguma falha que o faz ser falso.<br><strong>Significado<br></strong><br></div><div>A palavra tem origem no termo em latim “<em>fallacia</em>”, aquilo que engana ou ilude. Desta forma, falácia será algo enganoso.<br><br></div><div>As falácias são construídas por raciocínios aparentemente corretos que levam à falsas conclusões. Este tipo de argumento está muito presente nos <a href="https://www.todamateria.com.br/texto-dissertativo/">textos dissertativos</a>.<br><br></div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1603225462/a2266714b9a2303c71dfc0e32c57c400/image.png" />
         <pubDate>2022-08-15 23:04:55 UTC</pubDate>
         <guid>https://padlet.com/francisleixavierti/1o0nyo6wudcaez5z/wish/2261634009</guid>
      </item>
      <item>
         <title>O que é inferência? Quais os tipos?</title>
         <author>francisleixavierti</author>
         <link>https://padlet.com/francisleixavierti/1o0nyo6wudcaez5z/wish/2261636015</link>
         <description><![CDATA[<div>Uma <strong>inferência </strong>é uma conclusão ou opinião alcançada levando em consideração evidências ou fatos conhecidos. Na lógica, uma inferência é definida como o processo de derivar consequências lógicas das suposições assumidas.<br><br></div><div>Uma premissa também é definida como uma afirmação dada como verdadeira e da qual é tirada uma conclusão.<br>Em alguns casos, a inferência não é logicamente derivável das suposições assumidas, mas tem um certo grau de probabilidade relativa.<br><br></div><div>A palavra inferência vem do latim medieval <em>inferentia,</em> que significa ” continuar” . Este termo é frequentemente usado como sinônimo de argumento.<br><br></div><div>A inferência é um mecanismo pelo qual o raciocínio ocorre. Esses dois andam de mãos dadas e é essencial seguir um processo de inferência apropriado para garantir a validade do raciocínio.<br><br></div><div><strong>Contribuição de Charles Peirce<br></strong><br></div><div>A pesquisa sobre inferência e argumentos foi enriquecida pelo trabalho do filósofo e matemático Charles Sanders Peirce (1839-1914).<br><br></div><div>Ele fez contribuições significativas para a teoria e metodologia da indução e descobriu um terceiro tipo de raciocínio ou inferência: abdução.<br><br></div><div>Assim, a classificação de Peirce abrangeu três tipos de inferências essencialmente diferentes, embora não totalmente independentes: dedução, indução e abdução.<br><br></div><div>Embora nos últimos estágios de sua vida os tenha considerado como três estágios diferentes de pesquisa, em vez de diferentes tipos de inferência, essa classificação ainda é mantida.<br><br></div><div><strong>Os 3 tipos de inferência<br></strong><br></div><div><strong>1- Dedução<br></strong><br></div><div>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.<br><br></div><div>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.<br><br></div><div>Relacionado:&nbsp; Fenomenologia: Origem, Que Estudos, Características</div><div><strong>Exemplo<br></strong><br></div><div>Axioma: Todos os mamíferos têm glândulas mamárias. Fato / premissa: As baleias são mamíferos. Conclusão: As baleias possuem glândulas mamárias.<br><br></div><div><br></div><div><strong>2- Indução<br></strong><br></div><div>Por outro lado, indução implica derivar uma regra geral (também chamada axioma) de observações particulares ou específicas.<br><br></div><div>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.<br><br></div><div><strong>Exemplo<br></strong><br></div><div>Dados:<br><br></div><ol><li>Juan dorme menos de seis horas e acorda cansado.</li><li>Lucia dorme menos de seis horas e acorda cansada.</li><li>Maria dorme menos de seis horas e acorda cansada.</li><li>Carlos dorme menos de seis horas e acorda cansado.</li></ol><div>Inferência: se uma pessoa dorme menos de seis horas, ela acorda cansada.<br><br></div><div><strong>3- Rapto<br></strong><br></div><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><strong>Exemplo<br></strong><br></div><div>Um exemplo disso são diagnósticos médicos com base nos resultados dos testes. Outro exemplo são as decisões dos jurados nos julgamentos, com base nas evidências apresentadas a eles.<br><br></div><div><br><br></div>]]></description>
         <enclosure url="https://padlet-uploads.storage.googleapis.com/1603225462/e7db0d1a8807f3e99400e347fb31562b/image.png" />
         <pubDate>2022-08-15 23:09:52 UTC</pubDate>
         <guid>https://padlet.com/francisleixavierti/1o0nyo6wudcaez5z/wish/2261636015</guid>
      </item>
   </channel>
</rss>
