Il termine Predicato - nel contesto della logica matematica, e citato in un commento di @Giorgio - descrive tutti i tipi di funzioni con valori booleani, non solo funzioni che iniziano con il prefisso Is
. Nota che questo termine è in qualche modo ambiguo, ha diversi significati , le funzioni con valori booleani sono solo uno di questi.
Come hai notato, è una comune convenzione di denominazione in programmazione per assegnare a funzioni booleane un prefisso come Is
, Can
o Has
, come menzionato in questo SO post precedente . Dubito, tuttavia, esiste una categoria speciale per i predicati che iniziano con il prefisso Is
, ad eccezione dei predicati di categoria "che iniziano con il prefisso Is
" .