علم الدلالة والمطابقة والتضمين