# data[].attributes.body
Para um melhor entendimento da Lógica Computacional assim como a teoria precisamos entender também suas definições. São elas; Proposição, Premissas, Argumento, Silogismo e Falácia.

# data[].attributes.body
Antes mesmo de começarmos a falar sobre suas definições primeiro precisamos entender a Lógica por si mesma, que também é muito importante.

# data[].attributes.body
Que as proposições consistem em um enunciado ou uma frase declarativa nós já sabemos, então vamos nos aprofundar um pouco mais sobre eles.

Uma proposição é uma sequência de palavras que expressam uma ideia, que mostram pensamento, que demonstram fatos ou apresentam opiniões que formamos a respeito de determinados assuntos.

Essa proposição pode ser verdadeira ou falsa. A lógica não permite concluir se uma proposição ou afirmação é verdadeira ou falsa, ela apenas garante que, com base em premissas verdadeiras, seja possível chegar a conclusões verdadeiras. Portanto, temos que as premissas podem ser verdadeiras ou falsas. se afirmo que o céu está claro e sem nuvens, você pode olhar pela janela e concluir se a afirmação é verdadeira ou falsa. Se estiver chovendo, você dirá que minha afirmação é falsa. Por outro lado, um argumento pode ser válido ou inválido

# data[].attributes.body
As premissas consistem naquelas proposições que são utilizadas como base para um raciocínio que pode-se dizer que são proposições do silogismo.

Deixo aqui um pequeno vídeo para que passamos entender um pouco mais sobre as premissas e também um PDF para leitura.

# data[].attributes.attachment_link.title
1. Lógica Computacional: Introdução à Lógica

# data[].attributes.body
PDF

# data[].attributes.body
Os argumentos são um conjunto de enunciados que se relacionam uns com os outros.

O argumento lógico é deduzido a partir daquilo que é colocado como verdade, e a nossa opinião sobre a validade das premissas não pode interferir na elaboração da conclusão.

Vou deixar aqui um breve exemplo que está relacionado também diretamente as premissas e proposições.

# data[].attributes.body
O silogismo consiste em um raciocínio dedutivo (premissas) assim possibilitando a dedução  de uma conclusão a partir das premissas.

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.

O silogismo é constituído de três termos:

Termo Maior: também chamado de extremo maior, ele surge na premissa maior, sendo o termo predicado da conclusão. É representado por P.

Termo Menor: também chamado de extremo menor, ele surge na premissa menor, sendo o termo sujeito da conclusão. É representado por S.

Termo Médio: ele aparece em ambas as premissas, entretanto, não aparece na conclusão. É representado por M.

O silogismo contém algumas regras;
1.Um silogismo possui três termos (maior, menor e médio) e devem ter o mesmo sentido em todo o raciocínio
2. O termo médio não deve jamais aparecer na conclusão do silogismo. A função do termo médio é ligar as duas premissas
3. Na conclusão do silogismo, os termos maior e menor não podem surgir com uma extensão maior que nas premissas
4. Quando um silogismo apresenta duas premissas afirmativas, a conclusão deverá ser afirmativa também
5. Quando um silogismo apresenta duas premissas negativas, não se pode concluir nada
6. Quando um silogismo apresenta duas premissas particulares não é possível concluir nada
7. A conclusão de um silogismo sempre seguirá a parte mais fraca, ou seja, a premissa negativa e/ou particular

# data[].attributes.body
A falácia consiste em argumentos que logicamente estão incorretos.

Deixo aqui um vídeo muito legal que pode nos ensinar de uma maneira bem divertida e também um pequeno resumo para ajudar.

O que são falácias lógicas?

Uma falácia lógica é 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, se você usa uma falácia lógica, desacredita-se ao parecer desonesto ou tolo, você não quer ser vítima de uma falácia lógica, pois as conclusões falsas podem fazer com que você tome decisões que você mais tarde se arrepende, defender-se de falácias lógicas requer estar ciente dos tipos mais comuns e saber como evitá-los.

# data[].attributes.attachment_link.title
FALÁCIAS LÓGICAS E DEBATES DE MEIA TIGELA

# data[].attributes.body
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.

Quando a partir de argumentos válidos e verdadeiros obtemos conclusões falsas, temos erros de raciocínio. Os paradoxos apresentados mostram que conceituar o infinito com a linguagem tradicional escrita é muito complicado quando lidamos com conceitos abstratos, um famoso silogismo presente nessa interpretação de Zenão de Eléia apresenta que o herói Aquiles nunca seria capaz de alcançar uma tartaruga, pois quando Aquiles alcançasse a posição da tartaruga, ela já teria avançado mais um pouco.