Типы суждений и их применение в логике