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 verificada] |
Conteúdo apagado Conteúdo adicionado
m Não é mais preciso inserir a navegação manualmente, basta manter a lista de capítulos do livro atualizada. Ver detalhes. |
|||
Linha 1:
: O Cálculo Proposicional Clássico (CPC) consiste num sistema simbólico de '''Lógica Clássica'''. E como todos os sistemas de lógica clássica, segue os seguintes princípios:
Linha 39 ⟶ 36:
Se <math>\alpha \,\!</math> e <math>\beta \,\!</math> são fórmulas bem formuladas, então <math>\alpha \,\!</math> e <math>\beta \,\!</math> são subfórmulas de <math>\alpha \land \beta</math>, <math>\alpha \lor \beta</math>, <math>\alpha \to \beta</math> e <math>\alpha \leftrightarrow \beta</math>.
| |||