Полная версия

Главная arrow Математика, химия, физика arrow Логика в химии

  • Увеличить шрифт
  • Уменьшить шрифт


<<   СОДЕРЖАНИЕ ПОСМОТРЕТЬ ОРИГИНАЛ   >>

Самодостаточная система импликаций для бинарных соединений неметаллов

На основе базовых формул и определения импликации получена самодостаточная система формул для бинарных соединений неметаллов (табл. 6.2).

Таблица 6.2

Самодостаточная система импликаций для бинарных соединений

неметаллов

Первая формула таблицы обозначает условное высказывание: «Если существует бинарное соединение неметалла L с углеродом, то должно существовать бинарное соединение этого неметалла и с водородом. Это верно для всех неметаллов, кроме водорода».

Вторая формула обозначает условное высказывание: «Если существует бинарное соединение неметалла L с углеродом, то должно существовать бинарное соединение этого неметалла и с бором. Это верно для всех неметаллов, кроме бора».

Формула (15) обозначает условное высказывание с отрицательной предпосылкой: «Если не существует бинарное соединение неметалла L с углеродом, то должно существовать бинарное соединение этого неметалла с теллуром. Это верно для всех неметаллов, кроме углерода и теллура».

Формула (16) обозначает условное высказывание с отрицательной предпосылкой: «Если не существует бинарное соединение неметалла L с углеродом, то должно существовать бинарное соединение этого неметалла с бромом».

Путем логических вычислений можно убедиться, что самодостаточная система формул (1-16) позволяет воспроизвести все базовые формулы для неметаллов. При этих расчетах используется базовая формула (3), (табл. 6.1), по которой углерод образует бинарные соединения со всеми другими неметаллами, кроме мышьяка и теллура.

 
<<   СОДЕРЖАНИЕ ПОСМОТРЕТЬ ОРИГИНАЛ   >>