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.
Nobody could misunderstand this!
Instructions unclear. Dick stuck in graphics card.
Propositional logic is easy.
Predicate logic just looks hard.
If you want to truly confuse people, you have to go into temporal logic.
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.