Типы сложных высказываний в логике