Изучение логических форм сложных суждений: Теория и практика