Lógicas de inconsistência formal e não-monotonicidade