Reguła wyjścia

reguła transformacji dla niektórych system formalny, reguła dedukcyjna, zasada rozstrzygania o dopuszczalnych trybach przejść z określonego zbioru oświadczeń (wyroków), wypowiedzi (lub wyrażenia je wyrażające), zwane sentencjami, dla niektórych Do pewnej określonej wypowiedzi (zdania, zdania, formuły) jest wniosek.P.P., którego forma przesłanek i wniosków jest wyraźnie wskazana, nazywana jest bezpośrednio, na przykład, rachunek zdań (999), < pozwalając na przejście z dowolnej koniunkcji (patrz Konwencja) do dowolnego z jej członków lub permutacji, co pozwala nam dodać do dowolnej wypowiedzi dowolną inną wypowiedź za pomocą operacji dzielenia. Disjunction). Jeżeli tylko rodzaje wniosków są wskazane w paczkach i wnioskach, z których jeden może przejść do drugiego, dostępna jest zasada pośredniego wycofania; typowym przykładem jest tzw. Twierdzenie o dedukcji (ogólnie wprowadzenie implikację naturalnego rachunku (Zob. Naturalny kamień) stwierdzenia lub predykaty), pozwala na dowolne wyjście A 1 , A 2 ... a n-1 a n | - B go (w pewnych naturalnych ograniczeń) w postaci a < 1 , A 2 ... A n-1 A n | - > A n B. P. c. , wyrażając metody i techniki sensownego rozumowania, zostały częściowo usystematyzowane w ramach tradycyjnej logiki formalnej (w postaci t.n. tryby sylogizmu) od tego czasu (czasami ze zmianami) przeniósł się do logiki matematycznej, takim jak ponens reguła modus (sylogizm schemat, przepis lub delecji), która pozwala z dowolnego implikacji i jej poprzednik (założenie), przejdź do jego sukces (zakończenie). Ponadto P. v. są podzielone na oryginały (podstawowe, postulowane) i wyprowadzone z oryginału (przez jakąś metaorozę). Dla początkowego p. układy formalne (kamicy (Zob. Obliczanie)) są aksjomaty, postulaty tego systemu wstać zwykłe systemy aksjomatyczne problemów spójności (zob. Spójność), kompletności (Zob. Kompletność) oraz niezależność (Patrz Niezależność). Ponieważ P. w. w taki czy inny sposób wyrażają logiczną zależność. i istnieje ścisła zależność między tą relacją a działaniem implikacji dla większej części logicznych rachunków, to jest takie połączenie między tymi dwoma. i twierdzenia dowolnego rachunku, w szczególności między początkowymi P.'s. i aksjomaty (na przykład, analogi SP wyżej. naturalne rachunku są odpowiednio rachunek zdań Aksjomat A-B A, A-B B, A < ⊃ a do i w do do ). Lit. : Slupetsky E., Borkovsky L., Elementy logiki matematycznej i teorii mnogości, trans. z polskiego. , M., 1965; Serebryannikov OF, Heuristic rules and logical calculi, M, 1970; Smirnov VA, formalne wyprowadzenie i rachunek logiczny, M., 1972. Zobacz także lit. Metoda aksjomatyczna, dedukcja. Wielka sowiecka encyklopedia. - M .: radziecka encyklopedia. 1969-1978.

Popularne Wiadomości

Zalecane, 2019

Nenchen Thang
Wielka sowiecka encyklopedia

Nenchen Thang

Pasma górskiego w Chinach, wschodnia część gór Gandisi. Ogranicza płaskowyż tybetański na południe. Oddziela pulę pp. Tsangpo (Brahmaputra) na południu, Nagchu (Salween) i Lake Namtso w S. Długość około 600 km . Składa się z piaskowców, łupków, wapieni paleozoicznych i mezozoicznych, skał wulkanicznych z okresu kredy i młodych granitów.

Czytaj Więcej
Aktywa trwałe netto
Słownik finansowy

Aktywa trwałe netto

Aktywa trwałe netto Net trwałe - stają aktywa długoterminowe - różnica pomiędzy wartością początkową środków trwałych. oraz kwota skumulowanej amortyzacji. W języku angielskim: Net trwałe Synonimy: wartość rezydualna, koszt aktywów netto Zob. również: Wartość bilansowa Rzeczowe aktywa trwałe Słownik finansów Finam.

Czytaj Więcej
28050
Podręcznik GOSP

28050

GOST 28050} {przepusty z -89 śrubowe trzonka wielowypustowe otworów o średnicy zarysu ewolwentowego 55 do 130 mm, zawierającą 3 do modułu 5 mm wyśrodkowany na średnicy zewnętrznej. Budowa. ACS: 25. 100. 25 CHS R23 narzędzie do obróbki Działanie: C 01. 07. 90 Uwaga: cm. SAT „GOST 28048-89” dokumentu tekstowego :.

Czytaj Więcej
Skąpomocz
Wielka sowiecka encyklopedia

Skąpomocz

(Z greckiego i oligo ... úron -. Moczu) zmniejszenie dziennej ilości moczu 500 ml (zamiast 1500 w normie). Pojawia się w wyniku zmniejszonej filtracji lub zwiększenia absorpcji wstecznej w nerkach. T. n. fizjologicznej O. obserwowane na skutek odwodnienia korpusu (patrz. Odwodnienie) (na czczo wodę, pot, wymioty, biegunka).

Czytaj Więcej
7291
Podręcznik GOSP

7291

GOST 7291 {-72} Organiczne barwniki. Barwiony szkarłat. Warunki techniczne. ACS: 87. 040 CHS: l23 barwniki i pomocnicze Zamiast GOST 7291-54 Działanie: C 01. 01. 74 Zmodyfikowana 9 ICS / 74, 3/79, 9/85, 6/90 Uwaga: reedycja w 1998 tekst dokumentu: GOST 7291 "Barwniki organiczne pigment szkarłat skoncentrowany specyfikacji .

Czytaj Więcej
Melissa Samos
Wielka sowiecka encyklopedia

Melissa Samos

Melissa (Melissos) Samos (około 410 - około 360 pne ..), Starożytny grecki filozof, uczeń Parmenidesa, ostatnie przedstawiciele szkoły Eleatów, który opracował jej metafizyczny i idealistyczne tendencje. Wybitny polityk i dowódca wojskowy (dowódca Floty Samians i przeciwnik polityczny Peryklesa), który napisał nie zachowanych esej „O naturze lub Jehowy”.

Czytaj Więcej
KUPON SECURITY
Słownik finansowy

KUPON SECURITY

KUPON SECURITY (bezpieczeństwo kupon) Amerykańskie rządowe papiery wartościowe (obligacje skarbowe i bony skarbowe), kupon (kupon) wypłacana jest w procentach. Finanse. Słownik objaśniający. 2 wyd. - M .: "INFRA-M", Wydawnictwo "Ves Mir". Brian Butler, Brian Johnson, Graham Seadwell i inni, ogólne sformułowanie: DE.

Czytaj Więcej