A Study of Mohist Logic