Si una lógica incluye fórmulas que significan que algo no es conocido, esta lógica no puede ser monotónica.