Fórum de Lógica Computacional by Michelle Bortoletto https://padlet.com/cheleborella/qoe5cq892ky134vm en-us 2022-10-17 16:40:15 UTC 2022-10-18 23:46:31 UTC hello@padlet.com Lógica Computacional cheleborella https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343620243 Lógica computacional é o uso da lógica para executar ou raciocinar sobre computação.]]> 2022-10-17 16:51:28 UTC https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343620243 1.O que é lógica? cheleborella https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343625492 Lógica tem origem na palavra grega logos, 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. Esse sentido fundamenta-se na estrutura lógica, quando algo "tem lógica" quer dizer que faz sentido, é uma argumentação racional.
Lógica como ciência do raciocínio:
• Argumento: conceito central da lógica dedutiva. • sequência de afirmações para demonstrar a validade de uma asserção. • Como saber se a conclusão obtida de um argumento é válida? • As afirmações que compõem o argumento são aceitas como válidas ou • As afirmações que compõem o argumento podem ser deduzidas de afirmações anteriores. • Em lógica, a forma de um argumento é diferente do seu conteúdo. • “Análise lógica” não determina a validade do conteúdo de um argumento. • “Análise lógica” determina se a verdade de uma conclusão pode ser obtida da verdade de argumentos propostos. ]]> 2022-10-17 16:54:29 UTC https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343625492 2.O que é Proposição? cheleborella https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343634928 Proposição: • Todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo • Afirmam fatos ou exprimem descrições de objetos, eventos ou contextos • Uma proposição, na lógica booleana, é uma sentença que é verdadeira (V) ou falsa (F), mas não ambas. • princípio do terceiro excluído ]]> 2022-10-17 17:00:07 UTC https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343634928 3.O que são Premissas? cheleborella https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343650893
  • Premissas: 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.
  • Para o filósofo Aristóteles a lógica não é ciência e sim um instrumento para o pensar corretamente. O objeto da lógica é o silogismo (argumento formado de três proposições; a maior, a menor (premissas) e a final (conclusão) deduzida da maior, por intermédio da menor.

    • Exemplo de silogismo:

    P1 - Todo homem é mortal (V)
    P2 - Sócrates é homem (V)
    C - Logo, Sócrates é mortal (V).




    ]]>     2022-10-17 17:09:21 UTC https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343650893     4.O que são Argumentos? cheleborella https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343700397 A base da estruturação de um algoritmo e/ou programação é o Argumento usado, ou seja, a "busca da verdade" e seus fundamentos lógicos. Um argumento é uma sequência 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.

    Exemplo:
    1. O Batman não voa.
    2. De facto, o Batman é um morcego. 
    3. Os morcegos são mamíferos. 
    4. E os mamíferos não voam .
    - Neste caso a conclusão é a primeira fase que se justifica (“de facto ...”) pelas premissas que se seguem. ]]>     2022-10-17 17:38:11 UTC https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343700397     5.O que é Silogismo? cheleborella https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343709101 Silogismo   nada   mais   é   do  que   um   argumento   constituído   de   proposições   das   quais
    se   infere   (extrai)   uma   conclusão.   Assim,   não   se   trata   de   conferir   valor   de   verdade
    ou   falsidade   às   proposições   (frases   ou   premissas   dadas)   nem   à   conclusão,   mas
    apenas   de   observar   a   forma   como   foi   constituído.   É   um   raciocínio   mediado   que
    fornece   o   conhecimento   de   uma   co isa   a   partir   de   outras   coisas   (buscando   sua
    causa) (CABRAL, 2020).
    ]]>     2022-10-17 17:43:12 UTC https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343709101     6.O que é Falácia? cheleborella https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343745156 Falácia: consiste em argumentos que logicamente estão incorretos.

    Falácias lógicas • Com a ampliação sem precedentes de produtores se conteúdo na Web e de oportunidades de debates e discussões nas redes sociais, nunca foi tão relevante a capacidade de detecção de falácias lógicas, as quais têm sido usadas por cada vez mais pessoas e de modo cada vez mais frequente.
    • Definição: Uma falácia é um argumento que não apresenta consistência lógica, ou seja, em que a sua conclusão não é sustentada logicamente pelas premissas.
    • São, portanto, raciocínios inválidos, mal-estruturados e incoerentes, mas que podem ser tomados como verdadeiros, explorando a “ingenuidade” do interlocutor e empregando técnicas de persuasão.
    • Cabe alertar que, se os argumentos ou as premissas forem falaciosos, nada se pode concluir sobre o valor-verdade da conclusão, nem que ela é verdadeira, nem que ela é falsa. ]]>     2022-10-17 18:03:42 UTC https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343745156     7.O que é inferência? Quais os tipos? cheleborella https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343764291 Inferência é o processo que permite chegar a conclusões a partir de premissas, constituindo a argumentação lógica perfeita. A inferência, como veremos a seguir, pode ser de dois tipos: indutiva e dedutiva. Uma inferência inválida é chamada falácia.
    indutiva: Se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares. 

    Dedutiva: É aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares




    ]]>     2022-10-17 18:15:27 UTC https://padlet.com/cheleborella/qoe5cq892ky134vm/wish/2343764291