Задание {{ 358 }} ТЗ № 358
Если - предикат, заданный на множестве Д, то справедливо утверждение: £
£
R
£
Задание {{ 359 }} ТЗ № 359 Если общезначимы и , то общезначим … £
£
R
£
Задание {{ 360 }} ТЗ № 360 Если общезначимы предикаты и , то общезначим R
£
£
£
Задание {{ 361 }} ТЗ № 361 общезначимо в ИП, если для любого набора значений переменных из области Д, принимает £ только ложные значения;
R только истинные значения;
£ или ложные или истинные значения
£ аксиомы гильберта.
Аксиомы Гильбердта в ИП Задание {{ 362 }} ТЗ № 362 Одной из аксиом Гильберта в ИП является £
£
R
Задание {{ 363 }} ТЗ № 363 Одной из аксиом Гильберта в ИП является £
R
£
Задание {{ 364 }} ТЗ № 364 Одной из аксиом Гильберта в ИП является £
£
R
£
|