Oferta (logica) - este

În acest termen, există alte utilizări, a se vedea. Oferta (dezambiguizare).

Oferta (în logica predicatelor) - o formulă bine formate, care nu conține apariții libere de variabile (de exemplu, intrările care nu sunt în domeniul de aplicare al oricărei Cuantificator în). Aproximativ vorbind, propunerea nu conține „parametrii“ care ar putea afecta validitatea sensul implicit a unei pedepse în „structura semantică“: astfel, în această structură, fiecare propunere este posibilă numai valoarea de adevăr.

o ofertă, pentru că un tabel de adevăr fix. Pentru orice valoare a lui y poate determina validitatea acestei expresii, y - legat variabil. In contrast, expresia

nu constituie o ofertă, pentru că aici y - variabila liberă. Pentru această expresie nu se poate construi un tabel de adevăr, deoarece de y fără restricții.

literatură

• Lavrov I. A. Maksimova L. - Probleme în teoria mulțimilor, logica matematică și teoria algoritmilor.
• S. Kleene - logica matematică.

Vezi ce „Oferta (logica)“ în alte dicționare:

logica propozitiilor - secțiunea logică, care examinează relația dintre adevăr-declarații. În cadrul acestei secțiuni declarațiile (propuneri, sugestii) sunt luate în considerare numai t.zr. adevarul sau falsitatea, indiferent de obiectul lor interne ... Filozofic Enciclopedia

Predicatul logic - o secțiune logică centrală, în care subiectul studiat predicat enunț adevăr structura și relația dintre ele. LP Aceasta reprezintă o extindere semnificativă a logicii propozițiilor. În cadrul acestei secțiuni orice declarație ... ... Filozofic Enciclopedia

LOGIC - (. Din logos cuvantul grecesc, concept, minte rațională), Sau logica formală, știința legilor și a operațiunilor de gândire corectă. În conformitate cu principiul de bază al raționamentului este corect L. (O) este determinată numai prin forma sa logică sau ... ... Philosophical Encyclopedia

Logica - Logica știința dreptului raționamentul (corect) (din greacă Logik (logo-uri) cuvânt, motiv, argumentul.). În mod tradițional, argumentul constă dintr-o serie de propuneri, aceste parcele de care ar trebui să fie o singură propoziție ... ... Enciclopedia de epistemologie și filosofia științei

Logica descoperirii științifice - „Logica Descoperire științifică» ( «Logica Descoperire științifică») principala lucrare epistemologică a brit, filozoful Karl Popper, publicată la Londra în 1959. Este o traducere în limba engleză avansat. prima limbă a Popper cartea «Logik der ... ... Enciclopedia de epistemologie și filosofia științei

logica predicatelor - logica secțiunii predicat logicii simbolice, raționamentul și de învățare în alte contexte lingvistice, având în vedere structura internă a pedepsei simple, constitutive ;. Expresiile limbajului sunt interpretate punct de vedere funcțional, și anume, ca semne ale unor ... ... Enciclopedia de epistemologie și filosofia științei

Propunere (logica) - sugerare în formula logica predicatelor alfa corect format care nu conține variabile nelegate. Acest lucru înseamnă că valorile posibile ale tuturor variabilelor din formulă sunt definite, iar formula are un tabel de adevăr fix. ... ... Wikipedia

clasele Logic - secțiunea logică (. A se vedea logica), subiectul principal al acestor clase, care sunt (o pluralitate) de elemente cerut pentru a caracteriza proprietățile lor, împărtășite de toți membrii clasei de elemente active. Ca parte a moderne formale ... ... Marea Enciclopedie sovietică

• Oferta obligatorie: protecția drepturilor și intereselor acționarilor în timpul preluării. Aleksandr Evgenevich Popov. 224 pagini. Această carte este scrisă nu pentru șabloane și modele primitive. Logica de prezentare, o cantitate mare de surse românești și străine studiate, critica de specialitate, cu atenție și ... Citește mai mult Cumpărați 373 UAH (Ucraina numai)