Según Llull, la máquina podía probar por sí misma la verdad o mentira de un postulado.