Compositional rule of inference
The inference procedure is called as the “compositional rule of inference”. The inference is determined by two factors : “implication operator” and “composition operator”.

For the implication, the two operators are often used: