Benar (logika)