Методы изобретательства, с помощью которых три программиста легко могут составить программу, посредством которой компьютер может сам изобрести много изобретений. Александр Анатольевич Шмонов
ещё одно условное суждение (я назвал это условное суждение вторым условным суждением):
Второе условное суждение: «Если будет иметься следующее. Нагревание стального шара. То будет иметься следующее. Расширение стального шара».
Если обыкновенный человек сделает вывод (то есть умозаключение) из первого и второго условных суждений, то он получит следующее условное суждение (я назвал это условное суждение третьим условным суждением):
Третье условное суждение: «Если будет иметься следующее. Пламя газовой горелки касается нижней части стального шара. То будет иметься следующее. Расширение стального шара».
Следствием первого условного суждения являются следующие слова (находящиеся в следующей последовательности): «Нагревание стального шара». А основанием второго условного суждения являются эти же слова (находящиеся в этой же последовательности) то есть: «Нагревание стального шара». Если человек вместо основания второго условного суждения изложенного выше поставит основание первого условного суждения изложенного выше то он в результате этого получит (из второго условного суждения) вышеизложенное третье условное суждение то есть если человек вместо основания второго условного суждения (изложенного выше) поставит основание первого условного суждения изложенного выше то он в результате этого получит такое условное суждение которое обыкновенный человек получит в результате вывода из первого и второго условных суждений.
Аналогичных примеров можно привести огромное количество.
Опираясь на: 1) вышесказанное 2) описание условного умозаключения изложенное на 630 странице выше и ниже указанного словаря Кондакова 3) правило сечения изложенное на 470 странице этого словаря Кондакова 4) изложенное в произведениях о которых сказано в пунктах 4 и 5 а также 6 списка произведений который изложен в конце этой работы, 5) анализ литературы, я пришёл к следующему правилу (я назвал это правило первым правилом):
Первое правило: для того, чтобы компьютер сделал вывод (то есть умозаключение, то есть процесс выведения заключения) из двух условных суждений он (то есть компьютер) должен сделать одну из четырёх следующих последовательностей действий (то есть одно из четырёх следующих мероприятий):
1. компьютер должен найти в своей памяти два таких условных суждения, у которых следствие первого условного суждения и основание второго условного суждения имеют одинаковые значения (то есть имеют одинаковый смысл) (то есть компьютер должен найти в своей памяти два таких условных суждения у которых следствие первого условного суждения имеет какое-то значение а основание второго условного суждения имеет такое же значение). Затем компьютер должен вместо основания второго условного суждения поставить основание первого условного суждения. И тем самым компьютер второе условное суждение преобразует в третье условное суждение (то