Oops, faltou o link pro output... http://angg.twu.net/dednat6/demo-minimal-abilio.tex.html http://angg.twu.net/dednat6/demo-minimal-abilio.tex http://angg.twu.net/dednat6/demo-minimal-abilio.pdf
On Fri, 16 Aug 2019 at 05:19, Eduardo Ochs <[email protected]> wrote: > O codigo pra gerar o seu diagrama esta' aqui, no final do arquivo: > http://angg.twu.net/dednat6/demo-minimal-abilio.tex.html > http://angg.twu.net/dednat6/demo-minimal-abilio.tex > O diagrama se chama "Kripke-star". > [[]], Eduardo > > On Fri, 16 Aug 2019 at 05:13, Eduardo Ochs <[email protected]> wrote: > >> Oi Abilio, >> >> acabei de incluir no dednat6 um arquivo que inclui o diagrama que você >> me mandou em privado - mas sem as bolinhas, só com os labels. >> >> Algumas pessoas - tipo eu - acham o Tikz absurdamente difícil. Tenta >> seguir as instruções desse "quick start guide for beginners" aqui, >> >> http://angg.twu.net/dednat6.html#quick-start >> >> e depois de seguir as instruções pra usar o demo-minimal.tex tenta >> repetí-las com o demo-minimal-abilio.tex. Se você achar fácil fala >> comigo em privado pra eu te ajudar os com os seus outros diagramas. >> >> [[]], >> Eduardo Ochs >> http://angg.twu.net/dednat6.html >> http://angg.twu.net/math-b.html >> http://angg.twu.net/#eev >> >> On Thu, 15 Aug 2019 at 20:00, Abílio <[email protected]> wrote: >> >>> Prezadxs, >>> Estou precisando representar modelos de Kripke no latex. >>> Alguem me daria uma sugestao? >>> Abracos >>> Abilio >>> >>> -- >>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos >>> Grupos do Google. >>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >>> envie um e-mail para [email protected]. >>> Para ver essa discussão na Web, acesse >>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD20svtZ%3Dkdga2Ai5rN71hZX1wZC1%3DgG9Zv0hgDS66oO3Uw%40mail.gmail.com >>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD20svtZ%3Dkdga2Ai5rN71hZX1wZC1%3DgG9Zv0hgDS66oO3Uw%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6gQQ9E5tEUBtktvPGzFW_T5tdgFvOvGVD6pDWo7aFx9qQ%40mail.gmail.com.
