Представление о логике высказываний.

 Множества и операции над ними