https://www.dogmatv.it/logica-13-enunciazioni-composte-quadrato-logico/