Виды простых суждений и их использование в логике