Symptom (logika)