Simbolicamente, a proposição P pode ser expressa na forma (p \rightarrow q) \land (r \rightarrow s), em que p, q, r e s são proposições convenientes e os símbolos \rightarrow e \land representam, respectivamente, os conectivos lógicos “se ..., então” e “e”.