Головна |
Диз'юнкція предикатів - це новий складовою предикат, який звертається в істинне висловлення при тих і тільки тих значеннях змінної, при якій хоча б один предикат звернеться в істинне висловлення.
Поняття висловлювання. Читання і запис натуральних висловлювання | Дистрибутивні закони, що зв'язують кон'юнкцію і диз'юнкцію висловлювань. Докази. | Заперечення висловлень. Закони де Моргана | Поняття предиката. Область визначення і область істинності предиката. Рівносильні предикати (див. Пункт 13). | Імплікація і еквіваленція предикатів, їх області визначення. | Відношення логічного слідування і равносильности на безлічі предикатів. Необхідні і достатні умови. | Поняття аксіоми, теореми. Будова і види теорем, зв'язок між ними. |