Následné

Důsledek (také následný , z lat. consequens - od com "s, spolu s" + sequi "následovat" nebo succedent , od succedens - "od sub po + cedere "jít"") - používá se ve filozofii (zejména kantovská škola ) a logika v nauce o soudech , závěrech a důkazech , pojem znamenající následek, závěr ve vztahu k příčině - antecedent .

V podmínce if- then je příkaz předchůdcem ; výrok se nazývá konsekvent [1] . Například v podmíněném příkazu „je-li noc, pak je tma“ je předchůdcem „je noc“ a důsledkem (následkem) je „tma“ . $A$ $B$ $A$ $B$

Ve formálně logickém kalkulu se pojem konsekventu používá jak pro pravou stranu implikace (jedná se o konsekvent ), tak v pojmech odvoditelnosti, například v sekvenčním kalkulu , kde je hlavním výrazem sekvencí tvaru , znázorňující odvoditelnost vzorců seznamu od vzorců seznamu , succedent (následný) se nazývá seznam . $A\Šipka doprava B$ $B$ $\Gamma \šipka doprava \Delta$ $\Delta$ $\Gamma$ $\Delta$

Poznámky

↑ Consequent // Philosophy: Encyclopedic Dictionary / edited by A. A. Ivin. — M .: Gardariki, 2004.