Логическая правильность доводов — упрощенно — это естественное вытекание последующих доводов из предыдущих, когда один является следствием другого. Такое вытекание образует доказательст