Las reglas pueden ser expresadas en lenguaje formal con dos proposiciones "P" y "Q", de esta forma: