0 Membros e 1 Visitante estão vendo este tópico.
Eu estou no irc. Cadê vocês, pessoal?
Esta madrugada eu fiquei no Wikibooks, colocando a demonstração de que o terceiro axioma do Cálculo Proposicional Clássico de Frege é derivável dos dois primeiros:http://pt.wikibooks.org/wiki/L%C3%B3gica:_C%C3%A1lculo_Proposicional_Cl%C3%A1ssico:_Axiom%C3%A1tica#Prova_de_que_o_terceiro_axioma_.C3.A9_dedut.C3.ADvel_dos_dois_primeiros
Citação de: Dante, the Wicked em 16 de Janeiro de 2007, 02:07:47Esta madrugada eu fiquei no Wikibooks, colocando a demonstração de que o terceiro axioma do Cálculo Proposicional Clássico de Frege é derivável dos dois primeiros:http://pt.wikibooks.org/wiki/L%C3%B3gica:_C%C3%A1lculo_Proposicional_Cl%C3%A1ssico:_Axiom%C3%A1tica#Prova_de_que_o_terceiro_axioma_.C3.A9_dedut.C3.ADvel_dos_dois_primeiros Legal, eu vi. Mas qual é a funcionalidade dos mesmo praticamente falando?
Qual canal? #corujao?… aliás, tenho que ver se ainda tenho um irc instalado aqui…
Estou indo de uma vez Devo tirar um coxilo, mas antes das 02:00 eu apareço pra bater cartão.
Citação de: Tarcísio em 20 de Janeiro de 2007, 20:07:48Estou indo de uma vez Devo tirar um coxilo, mas antes das 02:00 eu apareço pra bater cartão.Você está sem dormir há quanto tempo?
Eu não gosto de irc. Passei pra avisar que a balada não foi boa.