Boa noite a todos os membros da lista, meu nome é Alessandro Bandeira. Em 2001-2, fiz uma tradução da Begriffsschrift para facilitar meus estudos e agora pretendo usá-la nas minhas aulas. Dois anos atrás, Heck me informou sobre o pacote begriff.sty para produzir as fórmulas do Frege no latex e eu estou refazendo a tradução usando latex. Mas eu me deparei com o seguinte problema: Frege introduz, por meio de definição, quatro símbolos para abreviar um complexo de símbolos da sua conceitografia. Meu problema é como reproduzir estes símbolos no latex. Se alguém puder me dar alguma luz, serei muito agradecido. Nos links, estão os símbolos que desejo reproduzir (jpeg) e para quem tiver interesse .tex de algumas fórmulas de BS e GGA.
http://img514.imageshack.us/img514/1218/formulas.jpg http://www.4shared.com/file/124011562/4eb7dda9/BS_online.html http://www.4shared.com/file/133240095/6519e120/GGA1.html Um abraço -- Alessandro Bandeira Duarte (Usa GNU/Linux) _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
