Съдържание
-
последователен
В класическата дедуктивна логика последователната теория е тази, която не съдържа противоречие. Липсата на противоречие може да бъде определена или в семантичен, или в синтактичен план. Семантичното определение гласи, че една теория е последователна, ако и само ако има модел, т.е. съществува интерпретация, при която всички формули в теорията са верни. Това е смисълът, използван в традиционната аристотелева логика, въпреки че в съвременната математическа логика се използва терминът удовлетворимост. Синтактичното определение гласи, че теория T { displaystyle T} е последователна, ако и само ако няма формула φ { displaystyle varphi}, така че както φ { displaystyle varphi}, така и нейното отрицание ¬ φ { displaystyle lnot varphi} са елементи от множеството T { displaystyle T}. Нека A { displaystyle A} е съвкупност от затворени изречения (неофициално „аксиоми“) и ⟨A⟩ { displaystyle langle A rangle} набор от затворени изречения, доказуеми от A { displaystyle A} под някои (посочени, вероятно неявно) формална дедуктивна система. Наборът от аксиоми A { displaystyle A} е последователен, когато е ⟨A⟩ { displaystyle langle A rangle}. Ако съществува дедуктивна система, за която тези семантични и синтактични определения са еквивалентни на всяка теория, формулирана в определена дедуктивна логика, логиката се нарича пълна. Пълнотата на сентенционното смятане е доказана от Пол Бернейс през 1918 г. и Емил Пост през 1921 г., докато пълнотата на предикатното смятане е доказана от Курт Гьодел през 1930 г., а доказателствата за консистенция за аритметика, ограничени по отношение на схемата за индукционна аксиома, са доказани от Акерман (1924), фон Нойман (1927) и Хербранд (1931). По-силните логики, като логиката от втори ред, не са пълни. Доказателството за последователност е математическо доказателство, че определена теория е последователна. Ранното развитие на теорията на математическото доказване е обусловено от желанието да се предоставят окончателни доказателства за съгласуваност на цялата математика като част от програмата на Хилбертс. Програмата на Хилберт беше силно повлияна от теоремите за непълноти, които показаха, че достатъчно силните доказателствени теории не могат да докажат тяхната последователност (при условие че те са в действителност последователни). Въпреки че последователността може да се докаже с помощта на теорията на модела, тя често се прави по чисто синтактичен начин, без да е необходимо да се споменава някакъв модел на логиката. Елиминирането на разреза (или еквивалентно нормализирането на основното смятане, ако има такова) предполага последователност на смятането: тъй като очевидно няма доказателство за фалшивост, няма противоречие като цяло.
Съставен (прилагателно)
От редовно възникващ и надежден характер. от края на 16в. в остарял смисъл „състоящ се от“
"Постоянната употреба на Chinglish в Китай може да бъде много досадна, освен някои първоначални забавления."
"Той е много последователен в политическия си избор: икономиката е добра или лоша, винаги гласува труд!"
Съставен (прилагателно)
Съвместим, акордант.
Съставен (прилагателно)
От набор от твърдения: такива, че не противоречи логично от тях.
Съгласен (съществително)
Обекти или факти, които съществуват едновременно или са съгласувани помежду си.
Съгласен (съществително)
Един вид покаятел, на когото било разрешено да помага при разрешено приемане на светите тайнства.
Консистенция (съществително)
Физическото качество, което се дава от степента на твърдост, плътност, плътност и вискозитет; консистенция.
Консистенция (съществително)
Да останем заедно или да останем в близка връзка с нефизически неща.
"Изпълнението й няма липса на последователност през последната година."
"Това композиционно музикално произведение е с изключителна последователност."
Консистенция (съществително)
Стои неподвижно; покой; състояние на покой.
Консистенция (съществително)
Условието да стоят или да се прилепват заедно или да бъдат фиксирани в съюз като части от тялото; съществуване; твърдост; съгласуваност; здравина.
Консистенция (съществително)
Това, което стои заедно като единно цяло; комбинация.
Съставен (прилагателно)
Притежаваща твърдост или неподвижност; твърд; трудно; солидна.
Съставен (прилагателно)
Да имаш съгласие със себе си или с нещо друго; хармония между неговите части; притежаващи единство; в съгласие; хармонично; сходен; съвместим; униформа; не противоречиви.
Съставен (прилагателно)
Живеене или действие в съответствие с тези вярвания или професии.
Консистенция (съществително)
Условието да стоят или да се прилепват заедно или да бъдат фиксирани в съюз като части от тялото; съществуване; твърдост; съгласуваност; здравина.
Консистенция (съществително)
Степен на твърдост, плътност, вискозитет или разсейване; мярка за способността да се държат заедно при манипулиране.
Консистенция (съществително)
Това, което стои заедно като единно цяло; комбинация.
Консистенция (съществително)
Твърдост на конституцията или характера; значимост; трайност; постоянство.
Консистенция (съществително)
Споразумение или хармония на всички части на сложно нещо помежду си или на едно и също нещо със себе си в различно време; хармонията на поведението с професията; congruity; кореспонденция; като съгласуваност на закони, подзаконови актове или съдебни решения; последователност на мненията; последователност на поведение или характер.
Съставен (прилагателно)
(понякога последвано от „с“ в съгласие или последователно или надеждно;
"показания, съответстващи на известните факти"
„Реших, че поведението, което следвам, е в съответствие с чувството ми за отговорност като президент по време на война“
Съставен (прилагателно)
белязано от подредено, логично и естетично съответствие на части;
"логичен аргумент"
"подреденото представяне"
Съставен (прилагателно)
способни да се възпроизвеждат;
"могат да бъдат получени удивително възпроизводими резултати"
Съставен (прилагателно)
едно и също по структура или състав;
„битуминозните въглища често се третират като постоянен и хомогенен продукт“
Консистенция (съществително)
хармонична униформа или съгласие между неща или части
Консистенция (съществително)
свойството да държи заедно и да запазва формата си;
"когато тестото има достатъчно консистенция, то е готово да се пече"
