Por aciu lusu de símbolos, tales proposiciones podríen amenorgase a la forma decuaciones, y la conclusión siloxística a partir de dos premises llógrase esaniciandol permediu acordies con les regles ordinaries alxebraiques.