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

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

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


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

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

На основе базовых формул и определения импликации можно построить систему последовательных импликаций для бинарных соединений неметаллов. Так, из базовых формул (1) и (2) (табл. 6.1) получаем истинную импликацию

[L*(H), L]H] -> [L*(B), L]B, Те].

После ее преобразований находим формулу

L*(H) —> L*(B), L]B, Те.

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

Из формул (2) и (3) (табл. 6.1) получим

[L*(B), L]B, Те] -> [L*(C), L+C, As, Те].

После преобразований находим

L*(B) -> L*(C), ЬфС, As.

Из формул (3) и (4) получим

[L*(С), ЬфС, As, Те] -> [L*(N), I^N].

Откуда находим

L*(C) -> L*(N), ЬфК

Из (4) и (5) получим

[L*(N), ЬфМ/ -> [L*(0), ТфО].

Следовательно,

L*(N) L*(0), ЬфО.

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

Аналогичным образом находим остальные последовательные импликации. Полный список последовательных импликаций для всех неметаллов имеет вид (табл. 6.3)

Таблица 6.3

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

Найденные формулы дают возможность описания взаимной обусловленности существования бинарных соединений неметаллов. При проведения логических вычислений по этим формулам полезно использовать общее свойство ряда неметаллов, по которому в данном ряду каждый элемент образует бинарные соединения со своими ближайшими соседями. Действительно, ранее было установлено, что в этом ряду каждый неметалл реагирует со своими ближайшими соседями. Но если два каких-то элемента реагируют друг с другом, то они образуют между собой и бинарное соединение.

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