Report copyright - Lógica informática (2012 13) - Tema 2: Deducción natural ...jalonso/cursos/li-12/temas/tema-2.pdf · Regla derivada de modus tollens (MT) Regla de introducción del condicional
Please pass captcha verification before submit form
Please pass captcha verification before submit form