В составе доказательства (и опровержения) выделяются: тезис доказательства, аргументы, промежуточные допущения и форма доказательства.
Тезис доказательства — высказывание, истинность или ложность которого доказывается.
Аргументы — высказывания, посредством которых осуществляется доказательство тезиса. В доказательстве аргументы обязательно должны быть истинными.
Промежуточные допущения — вспомогательные допущения, которые вводятся в процессе рассуждения (дедукции) и устраняются затем при переходе к окончательному результату рассуждения. Эти высказывания могут быть как истинными, так и ложными. Например, в так называемых доказательствах «от противного» в качестве промежуточных допущений вводятся заведомо ложные высказывания.
Форма доказательства — логический способ обоснования тезиса при помощи аргументов (возможно, с использованием промежуточных допущений).