К примеру, доказать, что подсудимый виновен – значит исключить возможность его невиновности, и обратно (согл. экв. 1). Если доказано, что подсудимый невиновен, то это означает, что опровергнуто обвинение против него; опровергнуть обвинение – значит доказать невиновность подсудимого (согл. экв. 2). Если не доказана виновность и она не опровергнута, следует считать, что виновность (либо невиновность) подсудимого не исключена, и обратно (согл. экв. 3). Если доказана виновность подсудимого, то следует полагать, что он совершил это преступление (согл. экв. 4); обратное верно не всегда. Если опровергнута виновность, то следует полагать, что подсудимый является невиновным (согл. экв. 5); обратное верно не всегда.
(Логическая суть доказывания и опровержения специально будет рассматриваться в разделах 5.3.1 и 5.3.2.).