Формализация - <span>представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы</span><span>, или исчисления.</span>
1)“Все караси - рыбы”, “Интеллектуальная собственность охраняется законом”, “Все квадраты – равносторонние прямоугольники”.
2)<span>“Ни один лев не есть травоядное животное”. Видим полную несовместимость субъекта и предиката. Объемы их полностью исключают друг друга.
3)</span>“Некоторые студенты - спортсмены”. Здесь S и P – перекрещивающиеся понятия, их объемы совпадают частично.“Некоторые преступления являются должностными”: предикат подчинен субъекту. Объем предиката полностью входит в объем субъекта, объем субъекта лишь частично совпадает с объемом предиката.<span>
4)</span>“Некоторые студенты не являются спортсменами” – часть объема субъекта входит в объем предиката, это перекрещивающиеся понятия.<span>“Некоторые геометрические фигуры не являются треугольниками”: субъект и предикат – в отношении подчинения.</span>
<span>C:\, school, <span>physics, school, math, notes.</span></span>
X : = 4 + 8 * 3 ; - то есть x=4+8*3 = 4+24 = 28
y : = ( x mod 10 ) + 15; // mod 10 - остаток от деления на 10. y = (28 mod 10)+15 = 8+15 = 23
<span>x : = ( y div 10 ) + 3 // div - целочисленное деление, (y div 10) + 3 = (28 div 10) + 3 = 2+3 = 5
Сумма переменных равна 23+5 = 28</span>
Var n:integer;
begin
readln(n);
var ar:=readarrinteger(n);
for var i:=0 to n-1 do if (ar[i]<=437)
then begin write('Crash ',i+1); exit; end;
write('No crash');
end.