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
Sem resumo de edição
Linha 1:
{{Navegação| [[Lógica:'' Cálculo Proposicional Clássico|Voltar para o Índice de [[LógicaCálculo Proposicional Clássico]].''
:''Voltar para o Índice de ||[[Lógica: Cálculo Proposicional Clássico: Operadores e Tabelas de Verdade|CálculoOperadores Proposicionale ClássicoTabelas de Verdade]].''
}}
 
:As características do Cálculo Proposicional Clássico (CPC) são:
Linha 17 ⟶ 18:
:Se α é e β são fórmulas bem formuladas, então ¬α, α∧β, α∨β, α→β e α↔β são fórmulas bem formuladas.
 
{{Navegação| [[Lógica:'' Cálculo Proposicional Clássico|Voltar para o Índice de [[LógicaCálculo Proposicional Clássico]].''
:''Voltar para o Índice de ||[[Lógica: Cálculo Proposicional Clássico: Operadores e Tabelas de Verdade|CálculoOperadores Proposicionale ClássicoTabelas de Verdade]].''
}}
Obtido em "https://pt.wikibooks.org/wiki/Lógica/Cálculo_Proposicional_Clássico/O_que_é_o_Cálculo_Proposicional_Clássico"