Lgica a cincia que estuda princpios e mtodos de inferncia (raciocnio), tendo o objetivo

principal de determinar em que condies certas coisas se seguem (so consequncia) , ou

no, de outras.
Raciocinar ou fazer inferncias significa manipular a informao disponvel aquilo que
sabemos, ou supomos, ser verdadeiro e extrair consequncias disso, obtendo informao
nova. um processo mental, mas no de interesse da lgica investigar como esse processo
ocorre, mas sim se a concluso uma consequncia daquilo que sabemos, se a concluso est
adequadamente justificada em vista da informao disponvel.

Argumento de modo geral, um conjunto (no vazio e finito) de sentenas, das quais uma
chamada de concluso, as outras de premissas, e pretende-se que as premissas justifiquem
garantam ou deem evidncia para a concluso.
Cabe lgica dizer se estamos diante de um bom argumento ou no.

Validade
Um argumento vlido aquele cuja concluso consequncia lgica de suas premissas, ou
seja, se as premissas foram verdadeiras, no possvel que a concluso seja falsa. Do
contrrio, o argumento invlido. Um argumento pode ser vlido mesmo que suas premissas
e concluso sejam falsas.
Correo
Um argumento correto se for vlido e, alm disso, tiver premissas verdadeiras.
A lgica estuda as formas de argumento, e no os seus contedos especficos, da ser chamada
de Lgica Formal. A lgica deixa de lado a questo de saber se as premissas de um argumento
so, de fato, verdadeiras ou falas, o que interessa : supondo que elas fossem verdadeiras, a
concluso teria obrigatoriamente de s-lo.
Argumentos dedutivos e indutivos
Dedutivo: latu sensu, ele no-ampliativo, ou seja, tudo o que est dito na concluso j foi
dito, ainda que implicitamente, nas premissas. Em sentido estrito, pode-se dizer que
argumento dedutivo a mesma coisa que um argumento vlido, ou seja, a concluso
consequncia lgica das premissas.
Indutivo: latu sensu , ele ampliativo, a concluso diz mais do que o afirmado nas premissas.
Em sentido estrito, pode-se dizer que argumento indutivo aquele que resultado de um
raciocnio por analogia ou por probabilidades, ou seja, dado que as premissas so verdadeiras,
a concluso apenas altamente provvel.
Ex: 80% dos entrevistados vo votar no candidato X
80% de todos os eleitores vo votar em X.

A lgica contempornea dedutiva, pois estamos interessados, a partir de proposio que
sabemos ou supomos verdadeiras, em atingir concluses das quais tenhamos uma garantia de
que tambm sejam verdadeiras. A ltima dcada, contudo, viu ressurgir um interesse grande
em inferncia indutiva, em razo de inteligncia artificial.
Silogismo (Aristteles, pai da lgica, sc. IV) um tipo muito particular de argumento, tendo
sempre duas premissas e uma concluso.
Linguagem Artificial originalmente pensada por Leibniz, mas no desenvolvida por ele, e sim
por G. Boole no sc. XIX e, posteriormente, em sua plena forma, por Frege. Consiste em um
conjunto de smbolos bsicos (alfabeto) junto com uma gramtica (ou regras de formao),
que diz como combinar estes smbolos para formar expresses bem formadas da linguagem,
ou seja, os termos e as frmulas.


O cerne da lgica clssica o clculo de predicados de primeira ordem (CQC) ou lgica
elementar ou teoria da quantificao, para representar simbolicamente indivduos e
propriedades.

- Sentena atmica ou simples: no pode ser decomposta em outras sentenas mais simples
Ex1: Cleo um peixe.
Ex2: Miau um gato.

- Sentena molecular ou complexa: pode ser decomposta em outras sentenas mais simples
Ex: Cleo um peixe e Miau um gato.

Objetos: simples ou complexos

Simples: no pode ser decomposto em partes que sejam objetos.
Ex: Se o nosso universo inclui apenas automveis, esses objetos so simples, pois qualquer
indivduo desse universo um automvel; assim, no faz sentido falar dos faris de um
automvel, pois faris no so indivduos neste universo.
Expresses bsicas do CQC
Constantes individuais: designar indivduos
a,b,c...
Variveis individuais