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