I also have a question. In forming a negative statement, is the negative particle located before or after a verb? The answer is, it depends on the language. In English, "not" comes before a verb, e.g., "I do not want Brussels sprouts." In French, "ne" is located before a verb and "pas" is located after, e.g., "Je ne veux pas de chou de Bruxelles." (Arguably, "pas" is more important of the two.)
I am saying that unless you say what formal language (axioms and inference rules) you are using, there is no way to answer your question.