Алгебра логіки у програмуванні
З погляду логіки A&B B&A. Проте, комп'ютер за такої операції може і звернутися до обчислення значення другого операнда. Справа в тому, що при помилковості першого операнда значення всього виразу свідомо буде хибним, тому допустимо писати:
IF (x>0) AND (1/x > 2) THEN.
але неприпустимо (при x=0 виникне помилка поділу на 0):
IF (1/x > 2) AND (x>0) THEN.
Поясніть, чому в цьому розділі наведено оповідання:
Султан повертався додому з переможної війни. За традицією, у столиці армію мали зустрічати артилерійським салютом, але міські гармати мовчали. Султан закликав до себе головного візира і зажадав пояснень.
- Володарю, - почав головний візир, - на те було дванадцять причин. По-перше, у нас скінчився порох.
– Досить! - Сказав султан і звелів відрубати візирю голову.
Принципи індукції та дедукції в математиці
Дедукція- перехід від загального до приватного; у спеціальному сенсі термін означає процес логічного висновку, тобто. перехід за тими іншими правилами логіки від деяких даних пропозицій-посилок до їх наслідків (висновків).


1 Бажаючі можуть спробувати свої сили у визначенні, наприклад, прямої.
2 Коней - Табун, Коров - Стадо, Творів - Збори, Законів - Звід, Вбивств - Серія.
3 Прийом зображення множин у вигляді плоских фігур - діаграми Ейлера-Венна (див. рис. 1-4).