Las lógicas por defecto permiten representar proposiciones como "si "x" es un ave, entonces "x" puede volar, a menos que haya algo que lo contradiga".