прямая импликация
1Импликация — Импликация (лат. implicatio  связь)  бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… …
2Логические элементы — Логические элементы  устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого  «1» и низкого  «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… …
3ДВОЙСТВЕННОСТИ ПРИНЦИП — 1) Д. п. в математической логике теорема о взаимозаменяемости в определенном смысле логич. операций в формулах формальных логических и логико предметных языков. Пусть А формула языка логики высказываний или логики предикатов, не содержащая знака… …
4Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …
5КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …
6ДЕДУКЦИЯ — (от лат. deductio выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок… …
7Маймон, Соломон — В Википедии есть статьи о других людях с такой фамилией, см. Маймон. Соломон Маймон Salomon Maimon нем. Arndt, портрет Соломона Маймона Имя при рождении: Шлойме Хайман …