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 <abilio.rodrig...@gmail.com> 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 logica-l+unsubscr...@dimap.ufrn.br. > 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6jZVQgzUcg44m%3De9EAbgGJuj5pw0gb1L4735k8vyt5xPQ%40mail.gmail.com.