Wikilivros

Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC: 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
He7d3r.bot (discussão | contribs)
Robôs
19 639 edições
Atualizando a categoria do livro, com AutoCat (detalhes). utilizando AWB
He7d3r.bot (discussão | contribs)
Robôs
19 639 edições
m Não é mais preciso inserir a navegação manualmente, basta manter a lista de capítulos do livro atualizada. Ver detalhes.
Linha 1:
 
{{Navegação| [[Lógica: Cálculo Quantificacional Clássico|Voltar para o Índice de Cálculo Quantificacional Clássico]]
|[[Lógica: Cálculo Quantificacional Clássico: Constantes, Variáveis e Quantificadores|Constantes, Variáveis e Quantificadores]]|[[Lógica: Cálculo Quantificacional Clássico: Dedução Natural no CQC|Dedução Natural no CQC]]}}
 
{{reciclagem}}
Obtido em "https://pt.wikibooks.org/wiki/Lógica/Cálculo_Quantificacional_Clássico/Tablôs_semânticos_no_CQC"