Умовою теореми «Якщо точка х лежить на бісектрисі кута, то вона рівновіддалена від сторін цього кута» є предикат Р(х)= «Точка х лежить на бісектрисі кута», а висновком – предикат Q(x)= «Точка х рівновіддалена від сторін кута». Тоді теорему можна записати у вигляді:

Скільки двійкових наборів містить таблиця істинності функції f(a, b)?

Операція об’єднання двох множин А і В позначається так:

Засновником формальної логіки був:

Множина голосних букв у слові “математика”- це скінченна множина, кількість елементів якої

Будь-яке розповідне речення, про яке можна сказати, що воно (його зміст) істинне чи хибне, називається

Частково обчислювана функція може бути продовжена до

Граф визначається:

В теоремі предикат Р(х) називається

Позначимо буквою А висловлення «Влітку я поїду до бабусі», а буквою В - «Влітку я поїду в туристичну поїздку». Тоді висловлення «Влітку я поїду до бабусі або в туристичну поїздку» запишеться так: