Riccardo Azzolini
02307d02e7
Lo stesso simbolo viene usato per indicare la fine delle dimostrazioni e per denotare la clausola vuota nel metodo di risoluzione. L'uso nelle dimostrazioni non è importante, quindi conviene rimuovendolo, per evitare di avere un simbolo con due significati.
76 KiB
76 KiB