Основные понятия и определения дисциплины

Категорические высказывания.

Высказывание Категорическое

а- высказывание, в котонром предикат утверждается или отрицается относительно субъекнта без ограничения к.-л. условиями и вполне определенно. В. к. обычно противопоставляются условным высказываниям и разделинтельным высказываниям. В традиционной логике В.к., как правило, отождествляются с простыми атрибутивными суждениями (см.: Суждение). Их структура выражается формулой: лS есть (не есть) Р

36. 
    Связанные и свободные переменные.
    

Свободные и связанные переменные

Связанное переименование, свободное переименование

Операции над кванторами

Правило отрицания кванторов — применяется для построения отрицаний высказываний, содержащих кванторы, и имеет вид:

37. 
    Общая значимость.
    
38. 
    Логические функции.
    

Логическая функция – это функция, определенная на множестве истинностных значений (истина, ложи) и принимающая значение из того же множества.

Например:

F(А,В) = А  В – логическая функция двух переменных
А и В, называющаяся «дизъюнкция»

Некоторая функция двух переменных будет полностью определена так:

F(0,0) = 0 F(0,1) = 1 F(1,0) = 1 F(1,1) = 1

39. 
    Алгоритмы сортировки данных. Сортировка слиянием.
    

Это сортировка использует следующую подзадачу:
Есть 2 отсортированных массива, нужно сделать из них один общий тоже отсортированный.
Алгоритм работает по следующему принципу: разбить массив на 2 части, отсортировать каждую из них а потом слить обе части в одну отсортированную.
Program_Sliv_Sort
Var A,B: array [1…1000] of integer;
N: integer;
Procedure Sliv(p,q: integer): {процедура сливающая массивы}