A formal symbolic language for behavioral operations is proposed, based on propositional logic. The system describes how an experiment changes an organism's physical environment. With few exceptions, the codification system ...