Rincón Matemático

Matemática => Lógica, Conjuntos, Lenguajes Formales => Lógica => Mensaje iniciado por: Bobby Fischer en 07 Abril, 2021, 09:01 pm

Título: Programa Isabelle HOL (ii)
Publicado por: Bobby Fischer en 07 Abril, 2021, 09:01 pm
Hola,

¿Algún sitio donde venga un listado exhaustivo de todas las reglas de Isabelle?
¿Cómo sé yo que la regla de eliminación de la doble negación está en 'Main' y se llama 'notnotD' y sin embargo la regla de introducción de la doble negación no está y debo definirla?

Gracias,

Saludos.