命題外延性