Questo esempio è il linguaggio logico classico, come spiegheremo in dettaglio, ma ora sorge un dubbio