命題変項の共有性