[ITS] IT terministandardi sõnastik

[et]
28.03.02

deduktiivne järeldamine

‣ Järeldamine, mis tuletab loogilise järelduse mingist teatavast eelduste kogumist.
Märkus:
▫Deduktsioon on ainus tõesust säilitav järeldamine.
EVS-ISO/IEC 2382-28:1998 (kehtiv)

[en]
28.03.02

deduction

deductive inference (synonym)

‣ An inference which derives a logical conclusion from a specific set of premises.
Märkus:
▫Deduction is the only truth-preserving inference.
EVS-ISO/IEC 2382-28:1998 (kehtiv)

Püsilink