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