Igor

Introdução

Assim como na matemática básica estudamos operações algébricas com números reais e complexos, na álgebra das proposições estudaremos operações envolvendo proposições que são uma sentença de sentido completo, ou seja, é uma afirmação que pode ser escrita na forma simbólica ou linguagem usual.
E é sobre isso que nosso trabalho irá retratar: Logica Proporcionais e Proposições simples e compostas.

Lógica Proposicional
Nesta seção, serão enfocadas as operações utilizadas na Lógica Proposicional. No entanto, para cumprir este objetivo, é necessário que se entenda o que é Lógica.
Investigando a literatura sobre o assunto é possível inferir que existem muitas definições para a palavra Lógica. Em todas as definições, faz – se referência ao Estudo das leis do pensamento ou termos semelhantes. Para representar as mais variadas definições, observe – se que define COPI (1977, p 15): “ Lógica é uma ciência do raciocínio”. Em outras palavras, como o raciocínio se estrutura e se fundamenta enquanto formação de uma rede semântica própria.
Esta formação de redes semânticas, e suas mais variadas formas de apresentação, requerem um conjunto de símbolos que convertem a expressão falada em símbolos anteriormente sistematizados.
Para que esta conversão ocorra, são necessárias algumas convenções simbólicas que vêm expressar raciocínio que seriam expressos na linguagem falada. Uma parte destas convenções são as chamadas Operações da Lógica Proposicional.
Chama-se Lógica Proposicional por que está fundamentada em Proposições. A lógica Proposicional pretende estudar as proposições declarativas simples, isto é, proposições que são os elementos básicos de transmissão do conhecimento humano.
Pode-se entender Proposição como sendo todo conjunto de palavras ou símbolos que exprimem um pensamento em sentido completo. A combinação de proposições retornam resultados verdadeiros ou falsos.

O que é uma Proposição?
Proposição: É uma