Доказательство начинается с одной или нескольких посылок, которые представляют собой суждения, принятые на веру для достижения цели доказательства, а также суждения, приводящие к заключению. Доказательство является дедуктивно достоверным в том случае, если допущение, что его посылки истинны, а заключение ложно – некогерентно. Например, следующее доказательство является достоверным (valid) дедуктивным доказательством:
(Посылка 1) Ни одно материальное тело не может двигаться со скоростью, превышающей скорость света.
(Посылка 2) Мой автомобиль – это материальное тело.
(Заключение) Мой автомобиль движется с меньшей скоростью, чем скорость света.
В достоверном дедуктивном доказательстве посылки делают заключение достоверным. Существуют доказательства, которые не являются дедуктивно достоверными, но в которых посылки в некотором смысле «подкрепляют», или «подтверждают», или «усиливают» заключение, и некоторые (или все) доказательства такого рода часто оцениваются как «хорошие» (good), или «правильные» (correct), или «сильные» (strong) индуктивные доказательства. Однако здесь нам нужно быть внимательными и провести тонкое различие между двумя видами доказательства. В некоторых доказательствах из посылок следует вероятное заключение, то есть более вероятное, чем невероятное, например: