Lógica/Cálculo Proposicional Clássico: mudanças entre as edições
imported>Dante Cardoso Pinto de Almeida m ({{candidatocapitulo}}) |
(→Índice) |
||
Linha 13: | Linha 13: | ||
*[[Lógica: Cálculo Proposicional Clássico: Dedução Natural - Parte II|Dedução Natural - Parte II]] [[Imagem:100%.png]] | *[[Lógica: Cálculo Proposicional Clássico: Dedução Natural - Parte II|Dedução Natural - Parte II]] [[Imagem:100%.png]] | ||
*[[Lógica: Cálculo Proposicional Clássico: Axiomática|Axiomática]] [[Imagem:50%.png]] | *[[Lógica: Cálculo Proposicional Clássico: Axiomática|Axiomática]] [[Imagem:50%.png]] | ||
*[[Lógica: Cálculo Proposicional Clássico: Cálculo de Sequêntes|Cálculo de Sequêntes]] [[Imagem:0%.png]] | |||
[[Categoria:Cálculo Proposicional Clássico|Cálculo Proposicional Clássico]] | [[Categoria:Cálculo Proposicional Clássico|Cálculo Proposicional Clássico]] |