Lógica/Cálculo Proposicional Clássico: mudanças entre as edições
imported>Dante Cardoso Pinto de Almeida m (→Índice) |
imported>Dante Cardoso Pinto de Almeida m (→Índice) |
||
Linha 5: | Linha 5: | ||
*[[Lógica: Cálculo Proposicional Clássico: Operadores e Tabelas de Verdade| Operadores e Tabelas de Verdade]] [[Imagem:100%.png]] | *[[Lógica: Cálculo Proposicional Clássico: Operadores e Tabelas de Verdade| Operadores e Tabelas de Verdade]] [[Imagem:100%.png]] | ||
*[[Lógica: Cálculo Proposicional Clássico: Fórmulas Contingentes, Contradições e Tautologias| Fórmulas Contingentes, Contradições e Tautologias]] [[Imagem:100%.png]] | *[[Lógica: Cálculo Proposicional Clássico: Fórmulas Contingentes, Contradições e Tautologias| Fórmulas Contingentes, Contradições e Tautologias]] [[Imagem:100%.png]] | ||
*[[Lógica: Cálculo Proposicional Clássico: Implicação | *[[Lógica: Cálculo Proposicional Clássico: Implicação Semântica| Implicação Semântica]] [[Imagem:100%.png]] | ||
*[[Lógica: Cálculo Proposicional Clássico: Funções de Verdade e Valorações|Funções de Verdade e Valorações]] [[Imagem:50%.png]] | *[[Lógica: Cálculo Proposicional Clássico: Funções de Verdade e Valorações|Funções de Verdade e Valorações]] [[Imagem:50%.png]] | ||
*[[Lógica: Cálculo Proposicional Clássico: Tablôs semânticos| Tablôs semânticos]] [[Imagem:100%.png]] | *[[Lógica: Cálculo Proposicional Clássico: Tablôs semânticos| Tablôs semânticos]] [[Imagem:100%.png]] |