correzione: $\Delta \models p\lor r$
- $r$ non è conseguenza logica di $\Delta$ perchè non è vero che per ogni valutazione che soddisfa $\Delta$, $r$ è soddisfatto (per esempio $v(p)=1,v(q)=0, v(r)=0; \Delta=\{1, 1\}$)
- $p\lor r$ è conseguenza logica di $\Delta$ (basta fare la tavola di verità).