5˙0416
Insbesondere folgt ˇdie Wahrheit eines Satzes ˇp aus ˇder Wahrheit eine[m|s] anderen, ˇq wenn alle Wahrheitsgründe des ersten Wahrheitsgründe des zweiten sind.