Логика высказываний, или пропозициональная логика (лат. propositio — «высказывание»), или исчисление высказываний — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, внутренняя структура простых высказываний не рассматривается, а учитывается лишь, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные. (Википедия)
Развёрнутое толкование значения слов и словосочетаний, примеры употребления в различных значениях, фразеологизмы и устойчивые сочетания.
Синонимы и сходные по смыслу выражения, прямые и обратные ассоциации, информация о сочетаемости.
Примеры употребления в контексте из современных источников и из русской классической литературы.
Информация о правописании, таблицы склонения имён и спряжения глаголов, разбор по составу с графической схемой и указанием списка сходных по морфемному строению слов.