مبدأ التضمن والافتراض في علم الدلالة