Az általános érvényű képlet - nagy enciklopédiája olaj és gáz, papír, oldal 1
Az általános érvényességét képletű
Általánosan érvényes képleteket elsőrendű logika ugyanazt a szerepet játssza, mint a tautológia a propozicionális logika. van egy formális kapcsolat a kettő között: ha veszünk egy tautológia, és ahelyett, hogy belép az propozicionális változók helyettesítésére tetszőleges formulák aláírásának akarat általánosan érvényes képlet. Ezután az egyes képletek helyettesített válik igaz vagy hamis, és az értéke a teljes képlet segítségével határozzuk meg az igazság tábla a logikai művelet, azaz ugyanazok a szabályok, hogy a propozicionális logika. [1]
Általánosan érvényes képleteket a ítéletlogika gyakran nevezik tautológia. [2]
Minden általánosan érvényes képlet levezethető a levezethető. [3]
Legyen egy univerzális érvényességi képletű A. [5]
Csak néhány korlátozás általánosan érvényes képlet tétel 2,12 érvényben marad általában, bár bizonyos korlátozások érvényesek kvantifikátorok. Ez lehetővé teszi, például, hogy gyorsan a tagadása bonyolult képletek, ráadásul egy nagyon rövidített formában. [6]
Ezért minden általánosan érvényes képleteket zárt a modus ponens. Ti) - (T1g), továbbá tartalmaz minden bizonyítható képlet. [7]
Természetesen vannak más általánosan érvényes képlet. nem különleges eset propozicionális tautológia. [8]
Összpontosítva figyelmünket az egyetemesen érvényes képleteket. azonnal felismerni a szoros kapcsolat a kérdés, hogy egyenértékűek transzformációk logikai képletek. [9]
Van persze, egyetemesen érvényes, de nem általánosan érvényes képlet. [10]
A levezethető a kikövetkeztethető minden általánosan érvényes képleteket és csak azokat. [11]
Egy hasonló tétel érvényes az egyetemesen érvényes képleteket. Azonban, meg kell jegyezni, hogy ha van egy megvalósítható F képletű, akkor lehet, hogy a képlet a V-F lehetetlen lesz. Ezután, a területet meghatározó értelmezése D - 1, 2, és értelmezése a P (1) - A és F (2) - és üzembe, és a - 1, azt látjuk, hogy az F prenex alakú megvalósítható, és a V-formula ebben az értelmezésben nem megvalósítható. [12]
Az alábbi tétel egy lista néhány alapvető egyetemesen érvényes képleteket. Mivel a formula tétel 2,4 alkalmazni a levezethető fogjuk felsorolni a következő képlet kerül, mint egy folytatása a megadott képletek a fenti tétel hangsúlyozni, hogy a kiegészítő érvényes, levezethető formula be itt. [13]
Így világossá válik, hogy bármilyen általánosan érvényes általános képletű X asztal, kezdve a - X kell zárni, mert különben nyitott ág azt mondják, hogy - X megvalósítható, és ez ellentmond a hipotézist. [14]
Ez azt bizonyítja, hogy az összes több érvényes intuitionistically képletek tartalmaznak minden bizonyítható képletű ösztönösen. [15]
Oldalak: 1 2 3 4