Высказыванием является предложение вида:
В списке выражений вида:
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)
 
Выражение максимально упрощаемо до выражения: