Sia "P" un generico predicato in una variabile che non usa il simbolo "B".
Sia "Q" un generico predicato in una variabile che non usa il simbolo "B". Sia "R" un generico predicato in una variabile che non usa i simboli "B" e "Q".