Comprensión positiva de las lógicas no-clásicas (4)