5˙041
Insbesondere folgt ein Satz aus einem anderen, || die Wahrheit eines Satzes p aus der Wahrheit eines anderen q wenn alle Wahrheitsgründe des ersten Wahrheitsgründe des zweiten sind.