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 <eduardoo...@gmail.com> 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 <eduardoo...@gmail.com> 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 <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%2B6gQQ9E5tEUBtktvPGzFW_T5tdgFvOvGVD6pDWo7aFx9qQ%40mail.gmail.com.

Responder a