Wikilivros

Lógica/Cálculo Proposicional Clássico/O que é o Cálculo Proposicional Clássico: diferenças entre revisões

Explorar interativamente o histórico
[edição não verificada][edição não verificada]
← Edição anteriorEdição posterior →
Conteúdo apagado Conteúdo adicionado
VisualTexto wiki
Sem resumo de edição
Linha 25:
 
===Definição de Fórmula===
:Se α<math>\alpha é\,\!</math> e β<math>\beta \,\!</math> são fórmulas bem formuladas, então ¬α<math>\neg \alpha \,\!</math>, <math>\alpha \land α∧β\beta</math>, α∨β<math>\alpha \lor \beta</math>, α→β<math>\alpha \to \beta</math> e α↔β<math>\alpha \leftrightarrow \beta</math> são fórmulas bem formuladas.
 
{{Navegação| [[Lógica: Cálculo Proposicional Clássico|Voltar para o Índice de Cálculo Proposicional Clássico]]
Obtido em "https://pt.wikibooks.org/wiki/Lógica/Cálculo_Proposicional_Clássico/O_que_é_o_Cálculo_Proposicional_Clássico"