συναγωγή → inference ISO/IEC 2382-28:1995απαγωγή, απαγωγική συναγωγή → abduction, abductive inference ISO/IEC 2382-28:1995παραγωγή, παραγωγική συναγωγή → deduction, deductive inference ISO/IEC 2382-28:1995επαγωγή, επαγωγική συναγωγή → induction, inductive inference ISO/IEC 2382-28:1995μοντελοδηγούμενη συναγωγή → model-driven inference ISO/IEC 2382-28:1995μαθηματική επαγωγή → mathematical induction ISO 2382.02: 1976μάθηση μέσω επαγωγής, επαγωγική μάθηση → learning by induction, inductive learning ISO/IEC 2382-31παραγωγική μάθηση, μάθηση μέσω παραγωγής → deductive learning, learning by deduction ISO/IEC 2382-31συνεπαγωγή, πράξη "ΑΝ ΤΟΤΕ" → implication, IF-THEN operation, conditional implication, ISO 2382.02: 1976