СИЛЛОГИЗМ

см. вывод, доказательство