Это такие способы построения рассуждений, чтобы из истинных суждений-посылок всегда получались истинные суждения-заключения.
