> A minha pergunta é qual software eu posso usar prar editar e estudar > axiomas e teoremas (sistemas dedutivos) > Um abração e muito obrigado ;)Alertas do Yahoo! Mail em seu celular. > Saiba mais.
O Software chama-se Isabelle e usa, se eu não me engano, lógica de segunda ordem. Digite as palavras chaves "Isabelle proof theorem" no google and have fun! Ronaldo Luiz Alonso.
