形式逻辑所遵循的基本规律有（）、（）和（），主要方法有（）、（）和（）。