Первая посылка представляет собой утверждение типа «если/то», состоящее из двух частей:

(A) Если человек верит в привидения и ведьм,

(Б) он верит в существование реальности за пределами физического мира.

Первая часть («если») называется антецедент, а вторая («то») — консеквент. Мы уже видели, что подтверждение части «если», т.е. антецедента, абсолютно гарантирует истинность консеквента. Это происходило в каждом обоснованном логическом высказывании, которое мы рассматривали.