A form of [[Operation]] between on or more [[Proposition|Propositions]].