Обозначения в логике высказываний: основные понятия