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