Частина логіки, в якій для розв’язування логічних задач використовується мова математичних і логічних знаків, - це…

Основні типи міркувань, які виокремлюють в логіці, називаються

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

Науки, в яких переважають дедуктивні міркування, називають

Виберіть множину С, якщо А = {1;2;3}; В = {2;3;4;}; С = {1}.

В численні предикатів предметні змінні і предметні константи, разом взяті, називаються

Кон’юнкція деякої кількості змінних дорівнює одиниці, якщо:

До алфавіту формальної логічної мови належать символи:

Областю істинності предиката x2 -1= 0 є:

Вкажіть приклад нескінченної множини: