Please enable JavaScript.
Coggle requires JavaScript to display documents.
Cálculo Proposicional (Príncipios (Principio da identidade, Principio da…
Cálculo Proposicional
-
-
Formalização
- O processo de formalização consiste em converter um conjunto de proposições interligadas em uma estrutura composta de letras proposicionais, conectivos lógicos e símbolos de pontuação:
- Letras proposicionais: A, B, ...,P, Q, ou P¹, P², ..., ou a, b, c, ..., ou p¹, p², p³,...
- Conectivos proposicionais: ¬, ^, v, →, ↔
- Parênteses: ().
-
Conceitos
- É a parte da lógica matemarica que estuda
a validade de alguns argumentos apresentados
em linguagem própia, a linguagem proposicional.
- Trabalha com tabela - verdade, tautologias e métodos dedutivos que visam estabelecer a validade dos argumentos
- Constitui um sistema formal no qual se pode operar com grande precisão e rigor algumas transformações e obter resultados bem definidos e de ampla aplicação em outras áreas da ciência.
Fórmula bem formada
- Uma fórmula aceitável para o cálculo proposicional é denominada de fórmula bem formada, wff (well-formed formula)