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.