You have to define your propositions somehow, probably in English, but honestly this seems like a really good way to precisely specify the terms of a complex contract with a lot of conditions. It does lack a bit in human-readability, but propositional logic isn’t all that hard to learn.