Потрясающе! Если К соотвествие Т, и С определяестя Т, то К= С ???? Простотразбор ваших же слов говорит обтобратном: одно определяетс Т а другое соответсвует Т. Уже не одно и тоже.
Уже много всего написано. Тема расползается, как и положено для чатиков. Не стану отвечать на все реплики, постараюсь ещё раз более строго описать мою мысль.
1. Вещь — любой конкретный отдельный предмет.
2. Требование — предикат, который может быть истинен или ложен для данной вещи. Например, если требование Т = "быть щипковым музыкальным инструментом", а вещь Г = "конкретная гитара, что у меня дома лежит", то Т(Г) = истина и значит моя гитара удовлетворяет требованию Т.
3. Требования заказчика — множество конкретных требований ТЗ = {Т1,..., Тn}.
4. Плановый результат проекта (ПР) — множество всех вещей, удовлетворяющих всем требованиям ТЗ. ПР = {В|Тi(В) = истина для всех i}.
5. Фактический результат (ФР) проекта — конкретная вещь, полученная и переданная заказчику.
6. Заказчик считает результат успешным если и только если ФР € ПР.
7. В указанных выше терминах, содержание проекта (СП) = ПР. Качество (К) определяется, как соответствие требованиям (ТЗ). То есть К — это тоже предикат на вещах. Причём К = Т1 & ... & Тn (конъюнкция требований из ТЗ).
8. Теорема. Для любой вещи В: [К(В) = истина] <=> [В € СП].
9. Строго говоря К ≠ СП (К — предикат, а СП — множество). Но они оба определяют одну и ту же сущность: К интенсионально, а СП экстенсионально. На практике это различие исчезает, поскольку и К и СП задаётся одним и тем же текстом — файлом с описанием ТЗ. Вот, что я имел в виду. Не больше.
