Антецедент

Предмет Русский язык

👍 Проверено Автор24

употребляющееся в составе главной части сложноподчиненного предложения «служебное слово тот или такой, указывающее на необходимость придаточной части», например местоимение тот в предложении.

Научные статьи на тему «Антецедент»

Секвенции

Части секвенции: антецедент – левая часть, сукцедент – правая часть....
соответствии с исходным генценовским вариантом) секвенция значит, что из конъюнкции формул, образующих антецедент...
Они бывают двух видов – первый вид нужен для того, чтобы вводить логический знак в антецедент, а второй...
Результатом применения этих правил становится перестановка, сокращение или добавление формул в антецеденте...
секвенция может быть связана с задачей поиска таких значений переменных, при которых все входящие в антецедент

Статья от экспертов

Антецеденты вклада работников в деятельность малых производственных групп

Цель исследования изучить меру проявления вклада работников в деятельность малых групп в зависимости от их демографических характеристик и включенности и не включенности в неформальные подгруппы. Выборка составила 302 сотрудника из 35 первичных структурных подразделений организаций с разным содержанием деятельности, среди которых 55% женщин и 45% мужчин в возрасте от 18 до 67 лет. Выделено две категории работников: включенные (N=163) и не включенные (N=139) в подгруппы члены. Для сбора эмпирических данных были использованы: Субшкала вклада в групповую деятельность из Опросника лидерства, вклада и стиля межличностного поведения и формализованный алгоритм для определения в малой группе неформальных подгрупп и их состава. Данные методики включены в компьютерную технологию «Групповой профиль Универсал». Впервые была изучена роль пола, возраста и включенности не включенности в неформальные подгруппы сотрудников в их вкладе в групповую деятельность. Установлено, что пол не является антеце...

Creative Commons

Научный журнал

Методы решения задачи построения секвенциального исчисления

Обычно запись секвенции выглядит следующим образом: A1, A2, ..., An ⊢ B, где A1, A2, ..., An - это антецеденты...
выступает доказательством для сукцедента, а сукцедент в свою очередь является доказательством антецедента...
: (a˅b˅c˅d˅…˅z) ↔ (a˄b˄c˄d˄…˄z) Секвенцию с пустым антецедентом интерпретируют как истину, а секвенция...
Если одновременно пусты как антецедент, так и сукцедент, секвенция интерпретируют как противоречивую:...
Начинают с антецедентов и постепенно применяют правила вывода, чтобы получить новые секвенции.

Статья от экспертов

Об исчислении Ламбека с одним делением и одним примитивным типом, допускающем пустые антецеденты

Доказывается следующее утверждение: правило вывода, заданное схемой, допустимо в исчислении Ламбека с одним делением L*(\), допускающем пустые антецеденты, тогда и только тогда, когда оно допустимо во фрагменте L*(\) с одним примитивным типом L*(\;pi). Для этого применяется подстановка типов, сводящая выводимость в L*(\) квы-водимости в L*(\;pi).

Creative Commons

Научный журнал

Еще термины по предмету «Русский язык»

Отвлеченность [существительных]

принадлежность существительных к разряду отвлеченных.

Предложение сложное свободное

сложное предложение, построенное по свободной модели, т.е. «включает в свой состав минимум структурных элементов, необходимый для выражения данного грамматического значения, причем все эти элементы прямо мотивированы грамматическим значением.

Прилагательное (имя прил.) счетно-местоименное

прилагательное, совмещающее признаки количественного числительного и местоимения, или местоименного прилагательного (о слове один).

Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

Напиши термин
Выбери определение из предложенных или загрузи свое
Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек

Все самое важное и интересное в Telegram

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot