proposición que é falsa para calquera valor das súas variables