В обоих предложениях тире факультативно (возможно). Постановка тире в этом случае имеет целью логически и интонационно подчеркнуть сказуемое.
Называть и соединительной гласной неверно (соединительный гласный передается на письме только буквами о и е). Корректно говорить так: вместо соединительных гласных о и е в некоторых сложных словах пишется и. Это слова с первой частью – числительным (десятилетка, семимесячный, тридцатитомный), а также слова с первой частью, совпадающей с формой повелительного наклонения глагола (сорвиголова, вертихвостка, перекати-поле).
Следует поставить запятую или тире.
Для слоговых аббревиатур, оканчивающихся на согласный, согласование в мужском роде при наличии опорного слова иного рода (среднего, женского) - частое явление. Ср., например: МИД, ТАСС.
Корректно: главное здание МГУ.
Корректно: условно раненный. Здесь раненный — причастие от глагола совершенного вида ранить, на что указывает зависимое обстоятельство образа действия условно.
Некоторые специальные символы существуют, но не все из них являются общепринятыми. Символы, которыми обозначали бы, например, всё множество гласных, обычно не используют (нет необходимости), а вот символы, обозначающий любой гласный или любой согласный — Г и С (V и C), используют в работах по структуре слога.
В целом ряде разделов лингвистики используют математический значок пустого множества для обозначения нулевых элементов (нулевых окончаний или суффиксов, нулевых связок и др.).
В генеративной лингвистике общепринятыми являются такие обозначения, как S (предложение), NP (= noun phrase, именная группа), VP (= verb phrase, глагольная группа), D (детерминатор) и мн. др., но понятны эти символы только тем, кто знаком с теорией генеративной грамматики, то есть далеко не всем лингвистам.
В типологической лингвистике широко используют сокращения типа Pst (прошедшее время), AdvPart (деепричастие), gen (родительный падеж).
В структурных схемах словосочетаний и предложений тоже используется система условных обозначений для слов разных частей речи и их форм.
Конечно, очень часто лингвисты используют символы и сокращения, которые создают сами. В одной из авторитетных лингвистических теорий второй пол. XX в. — модели «Смысл — Текст» И. А. Мельчука — используется огромное количество таких символов и сокращений: с их помощью обозначаются разные типы отношений в лексике, разные типы синтаксических отношений, но в большинстве своем это именно сокращения, а не абсолютно условные символы. Это верно и почти для всех остальных обозначений, о которых сказано выше.
