Представление о логике высказываний. Множества и операции над ними