Кіріспе
Предикат логикасындағы тұжырымдау ережесі
In predicate logic, universal instantiation (UI; also called universal specification or universal elimination, and sometimes confused with dictum de omni) is a valid rule of inference from a truth about each member of a class of individuals to the truth about a particular individual of that class. It is generally given as a quantification rule for the universal quantifier but it can also be encoded in an axiom schema. It is one of the basic principles used in quantification theory. Example: "All dogs are mammals. Fido is a dog. Therefore Fido is a mammal." Formally, the rule as an axiom schema is given as
for every formula A and every term t, where is the result of substituting t for each free occurrence of x in A. is an instance of
And as a rule of inference it is
from infer
Irving Copi noted that universal instantiation " follows from variants of rules for 'natural deduction', which were devised independently by Gerhard Gentzen and Stanisław Jaśkowski in 1934."
Предикат логикасында әмбебап инстанция (UI; сонымен қатар әмбебап спецификация немесе әмбебап жою деп аталады, кейде омни дектомымен шатастырылады) – бұл жеке тұлғалар класының әрбір мүшесі туралы шындықтан сол кластың нақты бір тұлғасы туралы шындыққа көшудің жарамды ережесі. Ол әдетте жалпыға бірдей квантор үшін кванттық ереже ретінде беріледі, бірақ аксиомалық схемада да кодталуы мүмкін. Бұл кванттық теорияда қолданылатын негізгі принциптердің бірі. Мысал: "Барлық иттер сүтқоректілер. Фидо – ит. Демек, Фидо сүтқоректі." Формальды түрде, ереже аксиомалық схема ретінде әр формула А және әр термин t үшін беріледі, мұнда – A-дағы x-тің әрбір еркін пайда болуын t-мен алмастырудың нәтижесі. – формуласының инстанциясы.
In predicate logic, universal instantiation (UI; also called universal specification or universal elimination, and sometimes confused with dictum de omni) is a valid rule of inference from a truth about each member of a class of individuals to the truth about a particular individual of that class. It is generally given as a quantification rule for the universal quantifier but it can also be encoded in an axiom schema. It is one of the basic principles used in quantification theory. Example: "All dogs are mammals. Fido is a dog. Therefore Fido is a mammal." Formally, the rule as an axiom schema is given as
for every formula A and every term t, where is the result of substituting t for each free occurrence of x in A. is an instance of
And as a rule of inference it is
from infer
Irving Copi noted that universal instantiation " follows from variants of rules for 'natural deduction', which were devised independently by Gerhard Gentzen and Stanisław Jaśkowski in 1934."
Ал тұжырымдау ережесі ретінде ол:
-ден көрінеді.
In predicate logic, universal instantiation (UI; also called universal specification or universal elimination, and sometimes confused with dictum de omni) is a valid rule of inference from a truth about each member of a class of individuals to the truth about a particular individual of that class. It is generally given as a quantification rule for the universal quantifier but it can also be encoded in an axiom schema. It is one of the basic principles used in quantification theory. Example: "All dogs are mammals. Fido is a dog. Therefore Fido is a mammal." Formally, the rule as an axiom schema is given as
for every formula A and every term t, where is the result of substituting t for each free occurrence of x in A. is an instance of
And as a rule of inference it is
from infer
Irving Copi noted that universal instantiation " follows from variants of rules for 'natural deduction', which were devised independently by Gerhard Gentzen and Stanisław Jaśkowski in 1934."
Ирвинг Копи атап өткендей, әмбебап инстанция "Герхард Гентцен мен Станислав Яшковскийдің 1934 жылы тәуелсіз түрде ойлап тапқан "табиғи шегерім" ережелерінің нұсқаларынан туындайды".
In predicate logic, universal instantiation (UI; also called universal specification or universal elimination, and sometimes confused with dictum de omni) is a valid rule of inference from a truth about each member of a class of individuals to the truth about a particular individual of that class. It is generally given as a quantification rule for the universal quantifier but it can also be encoded in an axiom schema. It is one of the basic principles used in quantification theory. Example: "All dogs are mammals. Fido is a dog. Therefore Fido is a mammal." Formally, the rule as an axiom schema is given as
for every formula A and every term t, where is the result of substituting t for each free occurrence of x in A. is an instance of
And as a rule of inference it is
from infer
Irving Copi noted that universal instantiation " follows from variants of rules for 'natural deduction', which were devised independently by Gerhard Gentzen and Stanisław Jaśkowski in 1934."
Квин
Уиллард Ван Орман Куиннің пікірінше, әмбебап инстанция және экзистенциалдық жалпыландыру – бір принциптің екі жағы, себебі "∀x x = x" дегеннен "Сократ = Сократ" шығады деудің орнына, "Сократ ≠ Сократ" деген жоққа шығарудан "∃x x ≠ x" шығады деуге де болады. Бұл екі амалда көрінетін принцип – сандық көрсеткіштер мен оларға мысал ретінде байланысты жеке сөйлемдер арасындағы байланыс. Бірақ бұл принцип ретінде тек қана шартты түрде ғана қарастырылады. Ол тек термин атауды білдіргенде және анықтамалық контексте қолданылғанда ғана қолданылады.