Cтраница 1
Процедура совмещения совпадающих атомов неизменяющихся фрагментов структур может быть распространена и на полное структурное уравнение конкретной органической реакции. Кихо [133], содержит в явной форме всю информацию об образующихся и разрывающихся в ходе реакции связях и о соответствии друг другу всех повторяемых при обычном способе записи реакций совпадающих атомов, входящих в состав как исходных, так и конечных структур. [1]
Метод резолюции требует, чтобы мы делали подстановки в дизъюнкты так, чтобы две литеры с противоположными знаками содержали совпадающие атомы. Так как эти атомы могут содержать переменные, можно делать и дальнейшие подстановки вместо них, а литеры по-прежнему будут отличаться только знаками. [2]
Процедура совмещения совпадающих атомов неизменяющихся фрагментов структур может быть распространена и на полное структурное уравнение конкретной органической реакции. Кихо [133], содержит в явной форме всю информацию об образующихся и разрывающихся в ходе реакции связях и о соответствии друг другу всех повторяемых при обычном способе записи реакций совпадающих атомов, входящих в состав как исходных, так и конечных структур. [3]