Доказательство и его виды

Доказательства делятся на прямые и косвенные. Доказательство, в котором истинность тезиса непосредственно выводится из аргументов, называется прямым. В таком доказательстве демонстрируется связь аргументов именно с тезисом, а не с каким-либо другим, опосредующим суждением.

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

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

Косвенные доказательства делятся на два вида:

• доказательство от противного;

• доказательство посредством исключения альтернатив.

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