Пропозиционална копула - Голямата енциклопедия на нефта и газа, статия, страница 1
Пропозиционална копула
Пропозиционалната връзка E се използва допълнително като инструмент за получаване на логически следствия от определени формули на пропозиционалното смятане и други, по-висши логически изчисления. Такива последствия трябва да са верни, ако оригиналните формули са верни. Следователно конструкцията на заключението трябва непременно да изключва възможността (което показва неговата неистинност в този случай) за получаване на неверни последици, когато оригиналните формули са верни. В същото време, с неистинността на първоначалните данни, получаването на каквито и да е последствия (както верни, така и неверни), разбира се, не показва неистинността на самата конструкция на заключението. Това обстоятелство намира своя конкретен израз в таблицата на истинността на формулата A E B. [1]
Елементите на множеството b се наричат унарни пропозиционални съединители. Елементите на едно множество се наричат двоични пропозиционални съединители. [2]
Езиковите формули се изграждат от атомарни формули с помощта на пропозиционални връзки и квантори. & или l (конюнкция, u), V (дизюнкция, неразделително or), -v или ZD (импликация, предполага ако. Съответно неелементарните формули на тези изчисления имат формата (fLf), (f / f), (f1E1 e), - F1 V-gf, Ezhf. [3]
Елементите на множеството L се наричат унарни пропозиционални съединители. Елементите на множеството L2 се наричат двоични пропозиционални съединители. [4]
В този раздел ще разгледаме пропозиционалните връзки в нов смисъл, в който, например, Q(x) V R(x) ще бъде дефинирано в някои случаи, когато Q(x) или R(x) е недефинирано. [5]
Азбуката на тази теория се състои от константи, обобщени променливи, пропозиционални връзки, квантификатори, разделители и скоби. Освен това в теорията на азбукатавключва символа на празното множество и символа за членство на елемент в множество, а членството в рамките на теорията на позиционните множества се записва по следния начин: XY A, където X, Y, A са обобщени променливи и тази нотация се чете като X е елемент от A в позиция Y. Конструкцията XY се нарича дуплекс. Стойността на обща променлива може да бъде или константа, или разширен набор. [6]
Ние също няма да изследваме проблема с интуиционистичната интерпретация на пропозиционалните връзки и квантори, тъй като точността на горната интерпретация е недостатъчна. [7]
Също така няма да изследваме проблема с интуиционистичната интерпретация на пропозиционалните връзки и квантори, тъй като точността на горната интерпретация е недостатъчна. [8]
За теоретико-множествените и решетъчните операции, както и за съответните пропозиционални връзки, ние използваме същите символи U, P, желаейки да подчертаем тясната им връзка помежду си. [9]
За теоретико-множествените и решетъчните операции, както и за съответните пропозиционални връзки, ние използваме едни и същи символи [], P, желаейки да подчертаем тясната им връзка помежду си. [10]
Операциите 7, &, v, -, - се наричат пропозиционални съединители. [единадесет]
Последната забележка е свързана и с факта, че интуиционистите тълкуват различно значението на пропозиционалните връзки. [12]
Последната забележка е свързана и с факта, че интуиционистите тълкуват различно значението на пропозиционалните връзки. [13]
За да се определят значенията на формулите в тризначната логика, е необходимо да се зададат таблици на истинност за всички пропозиционални връзки. Ние определяме конюнкцията като минимум две стойности (така, например, LLN L и I LN N), а дизюнкцията - като максимум. [14]
Операции -алгебрите се обозначават по същия начин като съответните им (интерпретирани от тях) логически пропозиционални връзки. [15]