логічна семантика

ЛОГІЧНА СЕМАНТИКА — моделювання на логічній мові змісту висловлювань і основних семантичних понять.