Lógica/Cálculo Proposicional Clássico/O que é o Cálculo Proposicional Clássico: diferenças entre revisões
[edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Linha 25:
===Termos, Operadores, Conectivos e Valorações===
No CPC, '''fórmulas atômicas''' representam proposições de uma linguagem <math>\mathcal{L}\,</math> . Para
Os operadores alteram os valores das fórmulas, constituindo assim '''fórmulas moleculares'''. Os conectivos são operadores que relacionam duas fórmulas. Os 5 operadores mais usuais são: a negação (¬), a conjunção (∧), a disjunção (∨), a implicação (→) e a bi-implicação (↔).
|