Логические пересечения между объектами

Другие языки

Полностью включённые, взаимоисключающие и дихотомические множества

Два множества могут быть полностью включёнными (don-gcig) или взаимоисключающими (’gal-ba).

Два множества являются полностью включёнными, если каждый член множества А также является членом множества Б, и наоборот. Пример – множества звёзд и солнц; все звёзды – это солнца, и все солнца – это звёзды.

Два множества являются взаимоисключающими, если у них нет общего локуса (gzhi-mthun). Общий локус – это явление, которое было бы членом обоих множеств. Множество способов познания объектов (shes-pa) и множество форм физических явлений (gzugs) взаимоисключающие: нет ничего, что относилось бы к обоим множествам.

Два взаимоисключающих множества могут образовывать или не образовывать дихотомию (dngos-’gal). Они образуют дихотомию, если всё существующее относится или к первому, или ко второму из двух взаимоисключающих множеств.

Например, множества статичных (постоянных) и нестатичных (непостоянных) явлений взаимоисключающие и дихотомические. Любое существующее явление или статично, или нестатично, и нет ни одного явления, которое было бы статичным и нестатичным. Множества способов познания и форм физических явлений взаимоисключающие, но не дихотомические. Есть явления, не относящиеся ни к одному из двух множеств, например абстракции.

Top