Wartościowanie (logika)