Contribuições do utilizador 201.43.77.128
De 201.43.77.128 discussão registo de bloqueios registos Registo de edições
28 de janeiro de 2006
- 20h32min20h32min de 28 de janeiro de 2006 dif his +15 Lógica/Cálculo Quantificacional Clássico →Símbolos de identidade e funcionais (CQCf=)
- 20h15min20h15min de 28 de janeiro de 2006 dif his +964 Lógica/Cálculo Quantificacional Clássico →Formalização de Sentenças
- 18h32min18h32min de 28 de janeiro de 2006 dif his +48 Lógica/Cálculo Quantificacional Clássico →Dedução Natural no CQC
- 18h22min18h22min de 28 de janeiro de 2006 dif his +33 Lógica/Cálculo Quantificacional Clássico →Variáveis individuais e Quantificadores
- 18h15min18h15min de 28 de janeiro de 2006 dif his +147 Lógica/Cálculo Proposicional Clássico/Operadores e Tabelas Veritativas Sem resumo de edição
- 18h01min18h01min de 28 de janeiro de 2006 dif his +2 Lógica/Cálculo Proposicional Clássico/Operadores e Tabelas Veritativas →Tabelas de Verdade
- 17h59min17h59min de 28 de janeiro de 2006 dif his −8 Lógica/Cálculo Proposicional Clássico/O que é o Cálculo Proposicional Clássico Sem resumo de edição