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
Sem resumo de edição
Linha 1:
:'''Voltar para o Índice de [[Lógica]].'''
:'''Voltar para o Índice de [[Lógica: Cálculo Proposicional Clássico|Cálculo Proposicional Clássico]].'''
 
:As características do Cálculo Proposicional Clássico (CPC) são:
Linha 16:
===Definição de Fórmula===
:Se α é e β são fórmulas bem formuladas, então ¬α, α∧β, α∨β, α→β e α↔β são fórmulas bem formuladas.
 
:'''Voltar para o Índice de [[Lógica]].'''
:'''Voltar para o Índice de [[Lógica: Cálculo Proposicional Clássico|Cálculo Proposicional Clássico]].'''