Risultato e conseguenza nella semantica delle predicazioni