Высказыванием является предложение вида:
В списке выражений вида:
2 – 2 = 0,2 + 3 = 6,3 + 12,2 + 2 > 2 + 2,2 – 0 = 3 – 0,56 = 50 + 6приведено всего истинных и ложных высказываний соответственно:
Выражениепосле применения аксиом алгебры предикатов и высказываний запишется наиболее коротко в виде:
Выражениепосле применения аксиом алгебры предикатов и высказываний запишется наиболее коротко в виде:
 
Выражениепосле последовательного применения всех подходящих аксиом алгебры высказываний и предикатов примет окончательный вид:
 
 
Множеством истинности предикатар ="х– простое число", где, является:
{1, 9, 7} 
{17, 6, 10} 
{7, 17} 
Для предикатар: div(x,3) = mod(x,2), гдехизменяется на множествеX = {2, 3, 5, 10, 19}, область истинности равна:
{2, 3, 5, 10} 
{10, 19} 
{2, 3, 5} 
Множество истинности предикатаp(x,y) = "x + y = 0", гдеx,y– целые числа из отрезка[–2; 4], равно:
{–2, –1, 1, 2} 
{(–2, 2), (–1, 1),(0,0)} 
[–2; 2] 
Область, нестрого заключенная между окружностью х2 + у2 = 4 и квадратом, в который она вписана, определяется предикатом:
 
 
 
Область, нестрого заключенная между окружностями х2 + у2 = 4, х2 + у2 = 9, описывается предикатом:
 
 
 
Для окружности х2 + у2 = 25, внутренность полукруга, расположенного строго над осью абсцисс, описывается предикатом:
(х2 + у2 = 25) и (у > 0) 
(х2 + у2 < 25) или (у > 0) 
(х2 + у2 < 25) и (у > 0) 
Выражениемаксимально упрощаемо до выражения: