Logo The Wordsmith Dictionary
Exact matches only Allow stemming Match all embedded
Sanseido Dictionary

束縛変項

そくばく へんこう かう 5 束縛変項 bound variable 述語論理の論理式の中で量記号の作用を受けている変項 。