Звідність

Звідність — відношення між поняттями, яке у логіці й математиці, що означає можливість редукції (зведення) одного поняття до іншого.

• Звідність множин, зведення предикатів за розв'язністю.
• Звідність множин за переліченістю.
• Звідність арифметичних функцій за обчислюваністю.
• Звідність сімейств арифметичних функцій.

По кожній з цих позицій можна визначити відношення еквівалентності.

• Філософський словник / за ред. В. І. Шинкарука. — 2-ге вид., перероб. і доп. — К. : Головна ред. УРЕ, 1986.

• Звідність // Великий тлумачний словник сучасної української мови (з дод. і допов.) / уклад. і гол. ред. В. Т. Бусел. — 5-те вид. — К. ; Ірпінь : Перун, 2005. — ISBN 966-569-013-2.

Це незавершена стаття з логіки. Ви можете допомогти проєкту, виправивши або дописавши її.