Beviset för den » logiska konseqvensens»