Következetes

Következmény (szintén konzekvens , lat. consequens - com -ból "vel, együtt" + sequi "követni" vagy utód , a succedens -ből - "sub után + cedere "menni") - a filozófiában (főleg a kanti iskolában ) használják ) és a logika az ítéletek , következtetések és bizonyítékok tanában, következményt jelentő fogalom, okkal kapcsolatos következtetés - előzmény .

Az if-then feltételes feltételben az állítás az előzmény ; az állítást következménynek nevezzük [1] . Például a "ha éjszaka van, akkor sötét van" feltételes kijelentésben az előzmény "éj van" , a következmény (következmény) pedig "sötét" . $A$ $B$ $A$ $B$

A formális logikai számításban a konzekvens fogalmát mind az implikáció jobb oldalára használják (ez egy következmény ), mind a levezethetőség fogalmaiban, például a szekvenciális számításban , ahol a fő kifejezés a forma szekvenciája. , amely a listaképleteknek a listaképletekből való származtathatóságát mutatja, a következőt (következményt) listának nevezzük . $A\jobbra nyíl B$ $B$ $\Gamma \jobbra \Delta$ $\Delta$ $\Gamma$ $\Delta$

Jegyzetek

↑ Következmény // Filozófia: Enciklopédiai szótár / szerkesztette A. A. Ivin. - M .: Gardariki, 2004.