Den första logiska följdenaf