tipos de lógica de progração

INSTITUTO BRASILEIRO DE TECNOLOGIA AVANÇADA – IBTA
LÓGICA DE PROGRAMAÇÃO

Uma abordagem sobre os tipos de lógicas matemáticas

UMA ABODAGEM SOBRE OS TIPOS DE LÓGICAS MATEMÁTICAS

Trabalho de lógica de programação, pelo Instituto Brasileiro de Tecnologia Avançada – IBTA, na área de concentração Técnico de informática.

Introdução

Este trabalho tem como objetivo de mostrar os tipos de lógicas matemáticas presente no cotidiano das pessoas. Com um foco um pouco mais específico na ciência da computação.

Resumo

Com base nas definições de tipos de lógicas matemáticas, em auxilio a qualquer tipo de individuo que venha a manipular ou tirar qualquer dado para analises e resultados que trazem respostas claras e objetivas para tomadas de decisões.

Sumário

1. Iniciação à logica matemática
1.1 Proposição, conectivos
1.2 Conceito de proposição
1.3 Conceito de conectivos
1.4 Tabela Verdade
1.5 Operações Lógicas Sobre Preposições
1.6 Negação
2. Lógica Formal
3. Logica Matemática
4. Lógica De Predicados
4.1 Frege adiciona à lógica de orações
4.2 Métodos para usá-los numa linguagem
5. Conclusão
6. Bibliografia

1. Iniciação à logica matemática

1.2 Proposições, conectivos
1. 3 Conceitos de proposição

Definição – Chama –se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo.
As proposições transmitem pensamentos, isto é, afirmam fatos ou exprimem juízos que formamos a respeito de determinados entes. Assim, p. ex., são proposições compostas as seguintes: P: Carlos é careca e Pedro é estudante Q: Carlos é careca ou Pedro é estudante R: Se Carlos é careca, então é feliz.
Visto que cada uma delas é formada por duas proposições simples. As proposições compostas também costumam serem