Базисный ассерторический язык

Базисный ассерторический язык [c.17]

Безусловно, что не все кванторы разности-пересечения выражают интересные для эротетической логики разновидности требований полноты. Так, легко заметить, что кванторы, предназначенные для различения градаций бесконечности, бесполезны. Не исключено, что из всего множества кванторов можно выделить естественное подмножество таких, которые выражают требования полноты, однако за неимением более определенной информации по этому вопросу мы ограничимся в дальнейшем только одним квантором и одной формой требования полноты — квантором общности, выражающим требование максимальной полноты. Еще одна причина введенного ограничения заключается в том, что наш базисный ассерторический язык обладает небольшими возможностями кванторного выражения, и поэтому для эротетических рассуждений лучше всего выбирать те кванторы, которые соответствуют возможностям базисного языка. [c.60]

Справочник химика 21

Химия и химическая технология