Известно, что все студенты из группы ЗКС-500 юны; Эти студенты являются студентами группы ЗКС-500. Следовательно, эти студенты юны. В приведенном выше примере использовался механизм вывода: абдукция;, аналогия;, дедукция;, индукция;