Универсум — различные толпы людей.

Предикаты:
• A(x)=истина тогда и только тогда, когда толпа x — праздник
• B(x)= истина тогда и только тогда, когда толпа x сопровождается страшным шумом

Выберите правильный перевод на язык логики предикатов. «Все праздники сопровождаются страшным шумом»:

Укажите правильное утверждение:

Задан некоторый язык первого порядка с константами a и b, одноместными предикатными символами P и Q. Пусть задана интерпретация, носитель которой состоит из двух элементов {a,b}. Интерпретация предикатов: P(a)=1, P(b)=1; Q(a)=1, Q(b)=0. Найдите истинностное значение формулы в данной интерпретации (1 — истина, 0 — ложь):

Какие из следующих выражений являются формулами стандартной интерпретации формальной арифметики:

В основе каких языков программирования лежат современные логические теории?

Отметьте выражения, описывающие закрашенное множество:

Пусть A — произвольное высказывание, И — любое истинное высказывание, Л — любое ложное высказывание. Укажите формулу, которая является тавтологией. (В этих формулах пропозициональная переменная только A):

Укажите пары формул, которые являются равносильностями:

Укажите правильные утверждения:

Пусть A — произвольное высказывание, И — любое истинное высказывание. Укажите истинностное значение высказывания A∨И: