# data[].attributes.body
A lógica é uma área da filosofia que visa estudar a estrutura de uma sentença e suas regras. Resumindo, a lógica serve para pensar corretamente.
Foi o filósofo grego Aristóteles (384 a.C.-322a.C) que criou o estudo da lógica, chamando de análitica.
Para o filósofo, para que um conhecimento seja reconhecido como verdadeiro e universal deveria respeitar alguns princípios, os princípios lógicos.

# data[].attributes.attachment_link.description
27/jan/2017 - Walace Aguiar encontrou este Pin. Encontre (e salve!) seus próprios Pins no Pinterest.

# data[].attributes.body
Para o conhecimento ser reconhecido como verdadeiro ou universal, foi desenvolvida três princípios básicos, que orienta a lógica clássica.

1. Principio de Identidade.

Um ser sempre é idêntico a si mesmo: P é P.
Exemplo: Agua é agua

2. Princípio da não-contradição.

É impossível ser e não ser ao mesmo tempo, ou um mesmo ser, se também  seu oposto. É impossível que P seja P e não-P, ao mesmo tempo.
Exemplo: é impossível  que a Agua seja Agua e não seja Agua

3. Princípio do terceiro excluído, ou terceiro excluso.

Nas proposições (sujeito e predicado),só existem duas opções, ou é afirmativa ou negativa: A é x ou A é não-x.
Exemplo: Lucas é programador ou Lucas não é programador.

# data[].attributes.headline
2.  O que é Proposição ou lógica proposicional?

# data[].attributes.subject
2.  O que é Proposição ou lógica proposicional?

# data[].attributes.body
Álgebra das proposições, também conhecidas por lógica proposicional é um tema muito cobrado especialmente em concursos público e também em alguns curso de graduação.

Mas que é uma proposição?

Proposição é uma sentença declarativa ,seja ela expressa de forma afirmativa ou negativa ,na qual podemos atribuir um valor lógico 'V' (Verdadeiro) ou 'F'(Falsos).

Exemplos:

Brasília é capital do Brasil-Sentença declarativa expressa  de forma afirmativa, aonde podemos atribuir o valor lógico 'V'

A argentina não é um país pertencente ao continente Africano - É uma sentença declarativa expressa de forma negativa, aonde podemos atribuir o valor lógico 'V'

7+5=10  -  É uma sentença declarativa expressa na forma afirmativa, mas como a sentença é falsa, seu valor lógico é 'F'

x-3=5  - Não é uma proposição, pois não sabemos o valor da variável 'x', devido a essa fator não podemos atribuir valores lógicos, porém sabemos ser falsa  uma vez que apenas o número '8' torna a sentença verdadeira

Como nos já sabemos o que são proposições, automaticamente as sentenças que não são proposição são;

Sentenças Interrogativas: Ex;'Como você se chama:?'.

Sentenças Imperativas: Ex; 'Venha aqui rápido'.

Sentenças Exclamativas: Ex; 'Opa!'.

Poemas.

Sentenças abertas: Ex;  'x< 8'.

# data[].attributes.body
Premissa é uma proposição cuja a verdade server de da base para a verdade de outra, a conclusão.
Conclusão seria a proposição cuja averdade se baeia na verdade de outro,a premissa.Para chegarmos a conlusão a premissa acaba passando  por uma inferência

Exemplo:

1. Premissa: Ninguém atende ao telefone. Conclusão: Logo, ninguém está em casa.

2.    Premissa: X é uma quadrado . Conclusão: Logo, a soma dos ângulos internos de X é  igual a 360°.

# data[].attributes.body
Argumentos são ideia lógicas relacionadas entre si e como o propósito de esclarecer e resolver determinada situação.
Os argumentos são normalmente baseados e premissa que ajudam a construir uma conclusão .Como citado no tópico anterior, falando sobre premissas.
Por norma, os argumentos servem principalmente para provar alguma coisa, como um ponto de vista, uma decisão ou ideia. No lógica computacional, consiste em ajudar na atribuição dos valores lógicos, utilizando dois tipos de argumentos, o  indutivo e dedutivo.
Argumento Indutivo: um argumento indutivo é aquele no qual se parte de experiências sobre fatos particulares e se infere daí conclusões gerais.
Argumento Dedutivo: um argumento dedutivo é aquele no qual a conclusão se segue necessariamente das razões ou premissas.

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

1.
Todo homem é mortal.
Sócrates é homem.
Sócrates é mortal.

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

3.
Todo político é mentiroso.
José é político.
Logo, José é mentiroso.

Composição do Silogismo Aristotélico:

Premissa Maior(P¹): declaratória, aonde todo M é P.

Premissa Menor(P²): indicativa, aonde S é M.

Conclusão: união das duas primeiras premissas, é possível deduzir a terceira proposição, donde S é P

Termos do Silogismo:

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 .É representada por S.

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

# data[].attributes.body
A falácia é considerada um 'falso silogismo' uma vez que ela é inválida na construção de silogismo categóricos.
Logo a falácia trata-se de um argumento enganoso.
Exemplo:

Todos os cisnes não são negros.

Alguns pássaros são cisnes.

Logo,todos os pássaros não são negros.

Todo leão é um mamífero.

Algumas pessoas são de leão.

Logo, algumas pessoas são mamíferos.

# data[].attributes.body
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, como por exemplo o silogismo, que é um tipo de inferência.
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