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
Sem resumo de edição |
|||
Linha 11:
:No CPC os termos representam proposições. Para escrever os termos são usadas letras do alfabeto latino maiúsculas (A, B, C, D, E etc.). Os termos consistem em '''fórmulas atômicas''', ou seja, fórmulas que não podem ser seguimentadas em fórmulas mais simples.
: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 (↔).
===Definição de Fórmula===
:Se α é e β são fórmulas bem formuladas, então ¬α, α∧β, α∨β, α→β e α↔β são fórmulas bem formuladas.
| |||