Logica proporcional

Índice
Introdução 2
Lógica proporcional 3
Conectivas lógicas ou operadores lógicos 6
Tabela de verdade 6
Conclusão 12
Bibliografia 13

Introdução
Depois de termos algumas noções fundamentais da chamada lógica aristotélica, ou seja, clássica, que é totalmente formal e demonstrativa, isto é, silogística, passemos então passemos ao estudo da lógica moderna, que, além de ser formal, é sistematicamente simbólica. Dito de outra forma, a lógica moderna,
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atómicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como "teoremas" do sistema formal.
O presente trabalho pretende-se desenvolver mais a lógica proporciol isto é, nas operações da lógica nos modos disjuntivos, inclusivo e exclusivo, nos seus modos condicionais e Bicondicional e na sua tabela da verdade.
O que segue define um cálculo proposicional padrão. Existem muitas formulações diferentes as quais são todas mais ou menos equivalentes mas que diferem nos detalhes:
De sua linguagem, que é a colecção particular de símbolos primitivos e operadores,
Do conjunto de axiomas, ou fórmulas distinguidas, e
Do conjunto de regras de inferência.

Lógica proporcional
Depois de termos algumas noções fundamentais da chamada lógica aristotélica, ou seja, clássica, que é totalmente formal e demonstrativa, isto é, silogística, passemos então passemos ao estudo da lógica moderna, que, além de ser formal, é sistematicamente simbólica. Dito de outra forma, a lógica moderna, ou seja, lógica ou inferência proposicional, recorre a uma linguagem simbólica para poder traduzir as proposições e as suas relações, evitando, desta forma, ambiguidades que resultam do uso que se faz da linguagem natural.
Em lógica e