Lógica Computacional by Nathan https://padlet.com/nathandasilva857/Bookmarks Criado com um desejo a uma estrela en-us 2022-05-14 18:32:14 UTC 2022-08-06 19:25:01 UTC hello@padlet.com 1 - O que é lógica? nathandasilva857 https://padlet.com/nathandasilva857/Bookmarks/wish/2255940715 A palavra lógica pode denotar tanto um conjunto de regras racionais para a obtenção de um conhecimento quanto a área da filosofia que estuda a validade formal das proposições linguísticas e matemáticas.
Não podemos dizer que a lógica em si foi criada, mas sim descoberta. Desde que existe racionalidade, a lógica existe. Quem a descobriu foi Aristóteles. As suas criações dizem respeito apenas à nomenclatura que ele deu e ao estudo sistemático daquilo que era a lógica. A lógica aristotélica, também chamada de lógica clássica, sustenta-se com base em princípios racionais e nos silogismos.
Aristóteles iniciou seus estudos entre 384 a.C e 322 a.C., na Grécia Antiga. Esse grande pensador percebeu que a maior distinção entre o ser humano e os demais animais é a linguagem. Ele também notou que há uma estrutura linguística que deve ser obedecida para que os enunciados tenham sentido.
Essas percepções fizeram com que o filósofo formalizasse uma ciência capaz de entender e classificar os elementos que permitem os enunciados linguísticos com sentido e validade, fundando a lógica.
As investigações de Aristóteles acerca da lógica fizeram-no descobrir que todo o conhecimento válido emitido por enunciados deve respeitar três princípios básicos. São eles:

Princípio da identidade: Esse princípio foi formulado por Parmênides de Eléia, um filósofo grego que empreendeu estudos sobre a lógica. A base dessa lei é que todo objeto é idêntico a si mesmo. Em outras palavras, a = a e b = b. Logo, “a” sempre será igual a “a”, e “b” sempre será igual a “b”. Um exemplo de aplicação prática dessa lei é dizer que uma bola é uma bola. 

Princípio da não-contradição: Esse princípio estabelece que duas afirmações contraditórias não podem ser verdadeiras ou falsas, uma delas é verdadeira enquanto a outra é falsa. Por exemplo, as duas afirmações seguintes não podem ser verdadeiras ao mesmo tempo: “X é Y” e “X não é Y”. Ou é ou não é. 

Princípio do terceiro excluído: Basicamente, o que esse princípio estabelece é que para qualquer proposição há duas possibilidades: ou ela é verdadeira ou a sua negação é verdadeira. Logo, se há duas proposições contraditórias uma delas é verdadeira e a outra é falsa. Ambas não podem ser verdadeiras e nem ambas podem ser falsas. ]]> 2022-08-06 18:46:53 UTC https://padlet.com/nathandasilva857/Bookmarks/wish/2255940715 2 - O que é Proposição? nathandasilva857 https://padlet.com/nathandasilva857/Bookmarks/wish/2255941389 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.
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.
O que quer dizer que as duas sentenças acima são diferentes, contudo elas querem dizer a mesma coisa. Ou seja, elas expressam uma mesma proposição.
Uma característica da proposição lógica é que ela declara algo e pode ser atestada como sendo verdadeira ou falsa, isso quer dizer que ela não pode estar em acordo com as duas opções.]]> 2022-08-06 18:51:39 UTC https://padlet.com/nathandasilva857/Bookmarks/wish/2255941389 3 - O que são Premissas? nathandasilva857 https://padlet.com/nathandasilva857/Bookmarks/wish/2255941976 Premissa é um conjunto de uma ou mais de uma sentença declarativa que é acompanhada de uma outra frase declarativa que é a conclusão. A verdade da conclusão é uma consequência lógica das premissas que a antecederam. Portanto, as premissas são as proposições que justificam a conclusão obtida.
Toda premissa, pode ser verdadeira ou falsa, bem como a conclusão, não aceitando jamais a ambiguidade. As frases que apresentam uma premissa são referidas como verdadeiras ou falsas (válidas ou inválidas), portanto, devem ser portadoras da verdade.]]> 2022-08-06 18:56:05 UTC https://padlet.com/nathandasilva857/Bookmarks/wish/2255941976 4 - O que são Argumentos? nathandasilva857 https://padlet.com/nathandasilva857/Bookmarks/wish/2255943065 Argumento é um conjunto de enunciados que estão relacionados uns com os outros. Argumento é um raciocínio lógico.
Por exemplo:

Todos os homens são mortais.
Mateus é mortal.
Logo, Mateus é mortal.

Este é um argumento formado por duas premissas e uma conclusão.

O argumento é um conjunto de premissas seguidas de uma conclusão. Quando esta conclusão resulta necessariamente das premissas, trata-se de um argumento dedutivamente válido.]]> 2022-08-06 19:03:33 UTC https://padlet.com/nathandasilva857/Bookmarks/wish/2255943065 5 - O que é Silogismo? nathandasilva857 https://padlet.com/nathandasilva857/Bookmarks/wish/2255943853 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.

Na filosofia, o silogismo é parte integrante da lógica aristotélica e está baseado na dedução. Ou seja, parte de afirmações verdadeiras para uma nova afirmação também verdadeira.
Por exemplo:

Todo brasileiro é sul-americano.
Todo nordestino é brasileiro.
Logo, todo nordestino é sul-americano.

]]> 2022-08-06 19:09:56 UTC https://padlet.com/nathandasilva857/Bookmarks/wish/2255943853 6 - O que é Falácia? nathandasilva857 https://padlet.com/nathandasilva857/Bookmarks/wish/2255944137 Falácia significa erro, engano ou falsidade. Normalmente, uma falácia é uma ideia errada que é transmitida como verdadeira, enganando outras pessoas.

No âmbito da lógica, uma falácia consiste no ato de chegar a uma determinada conclusão errada a partir de proposições que são falsas.

A filosofia de Aristóteles abordou a chamada “falácia formal” como um sofisma, ou seja, um raciocínio errado que tenta passar como verdadeiro, normalmente com o intuito de ludibriar outras pessoas.

De acordo com a lógica filosófica aristotélica, a “falácia informal” difere-se da formal, principalmente pelo fato da primeira usar de raciocínios válidos, a princípio, para chegar a resultados que sejam inconsistentes e com premissas falsas.

Ao contrário das falácias formais, que são mais fáceis de identificar, as falácias informais, por apresentar uma forma lógica válida, podem ser de difícil identificação.

]]> 2022-08-06 19:11:35 UTC https://padlet.com/nathandasilva857/Bookmarks/wish/2255944137 7 - O que é inferência? Quais os tipos? nathandasilva857 https://padlet.com/nathandasilva857/Bookmarks/wish/2255944729 Inferência é uma dedução feita com base em informações ou um raciocínio que usa dados disponíveis para se chegar a uma conclusão.

Inferir é deduzir um resultado, por lógica, com base na interpretação de outras informações. Inferir também pode significar chegar a uma conclusão a partir de outras percepções ou da análise de um ou mais argumentos.

Por exemplo: Se eu tiver dinheiro, irei viajar. Se eu for viajar, ficarei feliz. Portanto, se eu tiver dinheiro, ficarei feliz.

As inferências podem ser divididas em dois tipos: imediatas e mediatas.
A inferência imediata consiste em extrair de uma só proposição outra proposição, à qual se atribui o valor de verdade ou falsidade. A inferência imediata pode ser obtida por oposição ou conversão.

A inferência mediata consiste numa conclusão obtida a partir de duas ou mais proposições. Este tipo de inferências podem ser de três tipos: analógicas, indutivas e dedutivas.


]]> 2022-08-06 19:16:39 UTC https://padlet.com/nathandasilva857/Bookmarks/wish/2255944729