אנגלית ⇄ גרמנית +

theory of propositions
.פיזיק	Aussagenkalkül m; Aussagenlogik f