Lógica Computacional by https://padlet.com/jmarcosd/cfvsege6xiqh24u2 Mural destinado a atividade Fórum da disciplina de Lógica Computacional do curso de Tecnólogo de Análise e Desenvolvimento de Sistemas en-us 2022-08-17 17:44:13 UTC 2022-08-17 18:48:04 UTC hello@padlet.com O que é lógica? jmarcosd https://padlet.com/jmarcosd/cfvsege6xiqh24u2/wish/2263552466 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.

A lógica computacional analisa as relações entre os valores e transforma em algoritmos. Esses algoritmos são responsáveis por uma série de possibilidades, desde a codificação e decodificação de mensagens até tarefas como reconhecimento facial ou a possibilidade de carros autônomos.]]> 2022-08-17 17:57:50 UTC https://padlet.com/jmarcosd/cfvsege6xiqh24u2/wish/2263552466 O que é Proposição? jmarcosd https://padlet.com/jmarcosd/cfvsege6xiqh24u2/wish/2263554691  Em uma argumentação, aquilo que é dito e possui a forma de sujeito, verbo e predicado é chamado de proposição. As proposições são enunciados, afirmações ou negações, e possuem sua validade, ou falsidade, analisada logicamente. ]]> 2022-08-17 18:00:16 UTC https://padlet.com/jmarcosd/cfvsege6xiqh24u2/wish/2263554691 O que é Premissa? jmarcosd https://padlet.com/jmarcosd/cfvsege6xiqh24u2/wish/2263562967 Em Lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência. Esta constitui-se de duas partes: uma coleção de premissas, e uma conclusão.

Premissa significa a proposição, o conteúdo, as informações essenciais que servem de base para um raciocínio, para um estudo que levará a uma conclusão.

Uma dada fórmula pode ou não ser conclusão de uma dada coleção de premissas. Isto depende da Lógica ou do sistema lógico considerado. ]]> 2022-08-17 18:09:14 UTC https://padlet.com/jmarcosd/cfvsege6xiqh24u2/wish/2263562967 O que são Argumentos? jmarcosd https://padlet.com/jmarcosd/cfvsege6xiqh24u2/wish/2263572896 São sequências de proposições que nada mais é que as sentenças afirmativas que podem ser verdadeiras ou falsas, na qual uma delas é a conclusão e as demais são premissas. 

As premissas justificam a conclusão.

O objetivo de um argumento é justificar uma afirmação que se faz, ou dar as razões para certa conclusão obtida. 
]]> 2022-08-17 18:19:37 UTC https://padlet.com/jmarcosd/cfvsege6xiqh24u2/wish/2263572896 O que é Silogismo? jmarcosd https://padlet.com/jmarcosd/cfvsege6xiqh24u2/wish/2263577111 O silogismo é a estrutura básica de um argumento ou um raciocínio dedutivo, o qual é formado por três proposições que estão interligadas.]]> 2022-08-17 18:24:26 UTC https://padlet.com/jmarcosd/cfvsege6xiqh24u2/wish/2263577111 O que é Falácia? jmarcosd https://padlet.com/jmarcosd/cfvsege6xiqh24u2/wish/2263582017 É uma afirmação que pode parecer à primeira vista verdadeira, mas, depois de aplicar as regras da lógica, não é. Falácias lógicas muitas vezes podem ser tentativas de enganar as pessoas e fazê-las acreditar em algo que não é necessariamente verdade. ]]> 2022-08-17 18:29:53 UTC https://padlet.com/jmarcosd/cfvsege6xiqh24u2/wish/2263582017 O que é inferência? Quais os tipos? jmarcosd https://padlet.com/jmarcosd/cfvsege6xiqh24u2/wish/2263595841 É o processo que permite chegar a conclusões a partir de premissas, constituindo a argumentação lógica perfeita. 

A inferência pode ser de dois tipos: indutiva e dedutiva.]]> 2022-08-17 18:45:59 UTC https://padlet.com/jmarcosd/cfvsege6xiqh24u2/wish/2263595841