https://123dok.org/document/y6eo31g4-calcolo-proposizionale.html