"justify"> end;
end;
if sj1 <> [] then
begin
for j: = 1 to sx [i] do
if (not (j in sj1)) and (not (j in sj))
then s: = s + a [i, j];
b: = true;
include (si, i);
sj1: = [];
sw2: ='';
for j: = 1 to sx [i] do sw2: = sw2 + a [i, j];
cop (sw2, sw2);
if length (s) <> 0 then cop (sw3, s)
else sw3: = '__';
writeln (f, sw3, 'виведена з:' , sw1, 'і' < span align = "justify">, sw2);
if length (s) = 0 then
begin
writeln (f , одержали протиріччя, значить теорема доведена ');
writeln (f, '***********************');
close (f);
exit;
end;
break;
end;
end;
if b then break
end;
if (i = n) and (not (b)) then break;
until false;
writeln (f , '' Чи не можливо побудувати жодного нового пропозиції ');
end;
writeln (f , 'теорема не доведена, тому що не можливо отримати протиріччя');
writeln (f, '***********************');
close (f);;
{***************************************** *********************} i: = 1 to 50 doj: = 1 to 40 do stp [i, j]: = '0 ';;; ( stp); ('резульат дивіться у файлі rez.txt'); .
Результат виконання програми.
Введіть кількість посилок: 4
Ведіть 1-у посилку:
Ведіть 2-у посилку:
Ведіть 3-ю посилку:
Ведіть 4-ту посилку:
Введіть теорему:
<<Дана теорема істинна>>
Список літератури
1. Гаджієв А.А. Курс лекцій з дисципліни В«МЛіТАВ». 2004
2. Гаджієв А.А. Методичні вказівки до виконання лабораторного практикуму з дисципліни В«Математична логіка і теорія алгоритм...
