5.12
Insbesondere folgt die Wahrheit eines Satzes „p” aus der Wahrheit eines anderen „[p|q]”, wenn alle Wahrheitsgründe des ersten Wahrheitsgründe des zweiten sind.