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