审查判断证据过程中应用形式逻辑的方法有()。