Lógia Matemática

divisões da Lógica
noção Histórica da Lógica;
Linguagem simbólica;
Tabelas Verdades;

divisões da Lógica – é aplicada com o propósito de demonstrar a verdade sobre determinada coisa.
É a relação do pensamento com a realidade posta.
Logica formal
Lógica Material

noção Histórica da Lógica

A Lógica tem início com sócrates(384 a.c – 322 a.c), denominada lógica clássica. Na Grécia
Antiga, a Lógica (Matemática) toma como base as necessidades que as
pessoas têm de compreender o mundo onde estão inseridas a partir da
observação das regularidades nas ocorrências .

Lógica Matemática é atribuída a George Boole (1815-1864). Assim como

outros campos da matemática, a Lógica Matemática também consiste em
um conhecimento que é observado pelo homem desde os primórdios da
humanidade .
Linguagem simbólica;(premissas e conectivos)
a dois tipos de linguagem – natural e artificial.
Linguagem natural é aquela desenvolvida pelos grupos sociais para se comunicar.
Linguagem artificial ou FORMAL – é criada de modo consciente e natural, e serve para resolver
problemas colocados pela linguagem natural. CONFIGURA-SE COMO UMA LINGUAGEM
UNIVERSAL.
A compreensão da linguagem matemática e o raciocínio lógico (linguagem
artificial) em um texto matemático depende do desenvolvimento do
raciocínio lógico e da relação de aprendizado que o aluno tem com uma
linguagem própria e que não é utilizada de modo corriqueiro.
Para auxiliar na compreensão e aplicação dessa linguagem, dispomos dos símbolos utilizados pela
TEORIA DOS CONJUNTOS, denominado DIAGRAMA DE VENN.

Tabelas Verdades;
Ou tabela veritativa (nível de verdade de uma fórmula) consiste em uma tabela matemática usando
a linguagem FORMAL em lógica, para determinar se uma premissa é válida. Na tabela verdade
devemos observar três princípios;
1)O princípio da identidade – que afirma que todo objeto é idêntico a ele mesmo;
2)Princípio da contradição – que define quando são dadas duas proposições contraditórias(uma é
negação da outra), uma delas é falsa,
3)Princípio do Terceiro excluído – que determina que, quando são dadas duas proposições
contraditórias, uma delas é verdadeira.

2ª parte CÁLCULO PROPOSICIONAL e da álgebra de conjuntos

TAUTOLOGIA;e contra-tautologia;
Regras de Inferência;premissa, proposição e argumento;
Propriedades;
Circuitos.

TAUTOLOGIA;
as tautologias são representadas pelos conectivos, afirmando ou negando as premissas. Elas são
infinitas e têm o papel fundamental para a dedução do cálculo proposicional. Em resumo, podemos
afirmar que uma tautologia é sempre verdadeira.

Regras de Inferência;
são regras de transformação a partir de uma linguagem formal que podem ser utilizadas para chegar
ou inferir a conclusão sobre uma argumento, ou para criar um argumento.. Podemos entender a
INFERÊNCIA como o processo pelo qual se chega a uma proposição, tomando como parametro
proposições(tautologias) que já foram aceitas.Nesse contexto, é importante ressalvar
que há um conjunto de regras já reconhecidas que definem a validação de
um argumento a partir das premissas.
Propriedades da Lógica;
embasadas em quatro regras
Equivalência;
Implicação;
negação;
e conjunção;
disjunção e disjunção exclusiva. Ajudam a elaborar uma proposição ou argumento. Utilizados em
várias áreas de pesquisa, IA, circuito lógico, teoria dos autômatos e computabilidade.

Circuitos.
Por meio dos circuitos é possível observar, de modo bem prático, com
aplicações no cotidiano, os conceitos da lógica. O modo como a álgebra
booleana expressa a operação de um circuito pode ser representada por uma
operação algébrica, tomando como princípio que há apenas duas constantes
e variáveis, indicadas por 0 e 1. Na álgebra booleana, há somente três
valores para a realização das operações básicas: AND (E), OR (OU), NOT
(NÃO).