Земельные работы

Транспортные работы

Каменные работы

Железобетонные работы

Строительные работы

Монтаж конструкций

Восстановление строительных машин

Карта сайта

Доказательство — логическая процедура уста-новления истинности какого-либо утверждения при помощи других утверждений, истинность которых уже установлена. С помощью доказательств наши предположения, соображения, догадки, гипотезы становятся строго обоснованными знаниями о предметах. Доказательство включает три части: тезис — утверждение, которое доказывается.
доводы (аргументы) — положения, которые используются для доказательства данного тезиса; форма доказательства, показывающая логическую последовательность перехода от доводов к тезису. Доводы иногда называют также основаниями доказательства или посылками. По форме доказательства делятся на индуктивные, когда тезис, являющийся общим суждением, обосновывается на основе доводов, являющихся единичными или менее общими суждениями, и дедуктивные, когда тезис, являющийся единичным или частным суждением, подводится под общее правило, истинность которого установлена. По способу ведения доказательства делятся на прямые, когда тезис непосредственно вытекает из аргументов, и косвенные, когда непосредственно доказывается не тезис, а лож-ность отрицания тезиса, т. е. ложность антитезиса. Доказательство ложности или несостоятельности какого-либо тезиса называют опровержением. В символической логике доказательством называют последовательность формул, каждая из которых является аксиомой, либо следует из предыдущих формул по правилам вывода. Однако не все требует доказательств. Не нуждаются в доказательствах очевидные истины.

Кризис в строительстве