Consecvent

Consequence (tot consequent , din lat. consequens - din com „cu, împreună cu” + sequi „urmează” sau succesent , din succedens - „din sub după + cedere „a merge””) - folosit în filosofie (în special școala kantiană ) și logica în doctrina judecăților , concluziilor și probelor , un concept care înseamnă o consecință, o concluzie în raport cu o cauză - un antecedent .

În condiționalul dacă-atunci , enunțul este antecedentul ; enunţul se numeşte consecvent [1] . De exemplu, în afirmația condiționată „dacă este noapte, atunci este întuneric” antecedentul este „este noapte” , iar consecința (consecventă) este „întuneric” . $A$ $B$ $A$ $B$

În calculul logic formal, conceptul de consecvent este utilizat atât pentru partea dreaptă a implicației (este un consecvent ), cât și în conceptele de derivabilitate, de exemplu, în calculul secvențial , unde expresia principală este o secvență a formei , arătând derivabilitatea formulelor de listă din formulele de listă , succesentul (consecvent) se numește listă . $A\Rightarrow B$ $B$ $\Gamma \rightarrow \Delta$ $\Delta$ $\Gamma$ $\Delta$

Note

↑ Consequent // Filosofie: Dicţionar Enciclopedic / editat de A. A. Ivin. — M .: Gardariki, 2004.