Lógica Computacional by Vinicius Barbosa https://padlet.com/viniciusbsilva/Bookmarks Princípios da Lógica Dedutiva e Indutiva en-us 2021-08-08 01:19:21 UTC 2025-11-17 17:07:53 UTC hello@padlet.com A lógica dedutiva é aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares. Vamos a um exemplo de inferência dedutiva ou dedução? viniciusbsilva https://padlet.com/viniciusbsilva/Bookmarks/wish/1696136020 Exemplos de Lógica Dedutiva:
1. Todos os brasileiros gostam de praia. Antônio é brasileiro. Portanto, Antônio gosta de praia.
2. Todo os jogadores de futebol treinam em academias. Paulo é um jogador de futebol. Então, Paulo treina em uma academia.]]> 2021-08-25 14:26:11 UTC https://padlet.com/viniciusbsilva/Bookmarks/wish/1696136020 Já a lógica indutiva se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares. Vamos a um exemplo de inferência indutiva ou indução? viniciusbsilva https://padlet.com/viniciusbsilva/Bookmarks/wish/1696150899 Mariana é analista de sistemas e sabe programar.
Enzo é analista de sistemas e sabe programar.
Sabrina é analista de sistemas e sabe programar.(...)
Portanto, todos os analistas de sistemas sabem programar.

 Observe que, ao consultar dezenas ou centenas de analistas de sistemas, chegamos a uma conclusão geral com relação a eles. Um cuidado a ser tomado com a lógica indutiva é que um único contraexemplo é capaz de invalidar todo um raciocínio. ]]> 2021-08-25 14:32:33 UTC https://padlet.com/viniciusbsilva/Bookmarks/wish/1696150899 George Boole: inventor da chamada Álgebra Booleana, que foi o primeiro sistema totalmente detalhado que lida com a lógica como cálculo. Colocando de uma maneira bem simples, podemos dizer que a Álgebra Booleana se caracteriza por utilizar apenas dois números (dígitos), 0 e 1, que significam, respectivamente, falso e verdadeiro, e que por meio de propriedades essenciais dos operadores lógicos e de conjuntos oferece uma estrutura para se lidar com proposições. viniciusbsilva https://padlet.com/viniciusbsilva/Bookmarks/wish/1696176586 2021-08-25 14:43:57 UTC https://padlet.com/viniciusbsilva/Bookmarks/wish/1696176586