Логика. Реферат Язык как знаковая система. Функции языка. Логическая гра. Язык как знаковая система. Функции языка. Логическая грамматика
 Скачать 48.41 Kb.
|
|
Негосударственное образовательное учреждение высшего профессионального образования «Сибирский институт бизнеса и информационных технологий» Письменная работа. Реферат (1 семестра) Дисциплина: Логика название дисциплины Реферат (вид работы) Тема: Язык как знаковая система. Функции языка. Логическая грамматика. (Название темы) Выполнила: Беккер Александра Юрьевна (Ф.И.О. студента) 40.03.01 Юриспруденция ,ЮС2,5 – 1122(1) (направление, группа) Проверил(а): _____________________________ (Ф.И.О. преподавателя) _____________________________ (дата) Омск 2022 г СодержаниеВведение 3 1.Язык как знаковая система 4 2.Функции Языка 6 3.Логическая грамматика 9 Заключение 23 Список литературы 24 ВведениеСовременная лингвистика признает язык сложной знаковой системой. Этой точки зрения, несмотря на большие теоретические трудности, с нею связанные, придерживается подавляющее большинство ученых. Язык как знаковая системаЯзык — естественно возникающая в человеческом обществе и развивающаяся система знаковых единиц, способная выразить всю совокупность понятий и мыслей человека и предназначенная прежде всего для целей коммуникации. Система — объединение элементов, находящихся в отношениях и связях, образующих целостность, единство. Язык состоит из единиц: звук; морфема (приставка, корень, суффикс, окончание); слово; фразеологическая единица (устойчивое словосочетание; предложение (простое, сложное); текст Язык — знаковая система. Уже в давние времена исследователи рассматривали единицы той или иной системы как знаки, несущие информацию. Знаковостью обладает все, что нас окружает: природа, человек, животное, машина. Пример: На дереве появились желтые листья. Это естественный знак. Он — часть предмета, составляет одно целое с ним, является его признаком. О чем информирует этот знак? Желтые листья на деревьях означают наступление осени. Если это происходит в июле, значит, на данной территории засуха, давно не было дождя. Бывает и так: на одной улице города каштаны радуют глаз зеленью листвы, а на другой все листья у них пожухли, а некоторые даже лежат на земле. Это знак того, что на одной из улиц интенсивное движение транспорта и воздух отравлен выхлопными газами. Возможен еще вариант: все деревья в саду зеленые, а у одного листья пожелтели. Что это за знак? Дерево заболело, его надо лечить. Языковой знак указывает на какой-то предмет, качество, действие, событие, положение дел, когда об этом начинают говорить или писать. Языковой знак, как и любой другой знак, имеет форму (означающее) и содержание (означаемое). Самостоятельный языковой знак — слово Морфема самостоятельно не функционирует в языке. Она проявляет себя только в слове, поэтому считается минимальным, несамостоятельным языковым знаком. Предложение, высказывание, текст — составные знаки разной степени сложности. Функции ЯзыкаФункции языка – это проявление его сущности, его назначения и действия в обществе, его природы, т.е. его характеристики, без которых язык не может существовать. Главнейшие базовые функции языка –коммуникативная и когнитивная, имеющие разновидности, т. е. функции более частного характера. Коммуникативная функция означает, что язык является важнейшим средством человеческого общения (коммуникации), т. е. передачи от одного лица другому какого-либо сообщения с той или иной целью. Язык существует именно для того, чтобы обеспечивать общение (коммуникацию). Общаясь друг с другом, люди передают свои мысли, чувства и душевные переживания, воздействуют друг на друга, добиваются общего взаимопонимания. Язык дает им возможность понять друг друга и наладить совместную работу во всех сферах человеческой деятельности, являясь одной из сил, которые обеспечивают существование и развитие человеческого общества. Коммуникативная функция языка играет ведущую роль. Но язык может выполнить эту функцию благодаря тому, что он подчинен строю мышления человека; поэтому возможен обмен информацией, знаниями, опытом. Из этого неизбежно следует вторая основная функция языка – когнитивная (т. е. познавательная, гносеологическая), означающая, что язык – важнейшее средство получения новых знаний о действительности. Когнитивная функция связывает язык с мыслительной деятельностью человека. Помимо перечисленных язык выполняет еще ряд функций: фатическая (контактоустанавливающая) – функция создания и поддержания контакта между собеседниками (формулы приветствия при встрече и прощании, обмен репликами о погоде и т. п.). Общение происходит ради общения и в основном неосознанно (реже – сознательно) направлено на установление или поддержание контакта. Содержание и форма фатического общения зависят от пола, возраста, социального положения, взаимоотношений собеседников, однако в целом такое общение стандартно и минимально информативно. Стандартность, поверхностность фатического общения помогают устанавливать контакты между людьми, преодолевать разобщенность и некоммуникабельность; эмотивная (эмоционально-экспрессивная) – выражение субъективно-психологического отношения автора речи к ее содержанию. Она реализуется в средствах оценки, интонации, восклицании, междометиях; конативная – функция усвоения информации адресатом, связанная с сопереживанием (магическая сила заклинаний или проклятий в архаическом обществе или рекламные тексты – в современном); апеллятивная – функция призыва, побуждения к тем или иным действиям (формы повелительного наклонения, побудительные предложения); аккумулятивная – функция хранения и передачи знаний о действительности, традициях, культуре, истории народа, национальном самосознании. Эта функция языка связывает его с действительностью (фрагменты действительности, выделенные и обработанные сознанием человека, закрепляются в единицах языка); метаязыковая (речевой комментарий) – функция истолкования языковых фактов. Использование языка в метаязыковой функции обычно связано с трудностями речевого общения, например при разговоре с ребенком, иностранцем или другим человеком, не вполне владеющим данным языком, стилем, профессиональной разновидностью языка. Метаязыковая функция реализуется во всех устных и письменных высказываниях о языке – на уроках и лекциях, в словарях, в учебной и научной литературе о языке; эстетическая – функция эстетического воздействия, проявляющаяся в том, что говорящие начинают замечать сам текст, его звуковую и словесную фактуру. Отдельное слово, оборот, фраза начинают нравиться или не нравиться. Эстетическое отношение к языку означает, таким образом, что речь (именно сама речь, а не то, о чем сообщается) может восприниматься как прекрасное или безобразное, т. е. как эстетический объект. Эстетическая функция языка, будучи основной для художественного текста, присутствует и в повседневной речи, проявляясь в ее ритмичности, образности. Таким образом, язык полифункционален. Он сопровождает человека в самых различных жизненных обстоятельствах. С помощью языка человек познает мир, вспоминает прошлое и мечтает о будущем, учится и учит, работает, общается с другими людьми. Логическая грамматикаЛогические грамматики превратились с течением лет в инструментарий высокого уровня, и теперь они позволяют пользователю сконцентрироваться на лингвистических феноменах. Грамматики, построенные на определенных предложениях, поддерживают использование логики для обработки данных естественного языка, и они подготовили почву для практической работы лингвистов на языке программирования PROLOG. ГРАММАТИКА, ПОСТРОЕННАЯ НА ОПРЕДЕЛЕННЫХ ПРЕДЛОЖЕНИЯХ (DEFINITE-CLAUSE GRAMMAR или DCG) Проведение работ по исследованию построения грамматик для понимания естественного языка (далее ЕЯ) приобрело большую популярность после введения Колмеройером в 1975 году грамматических формализмов, основанных на предложениях Хорна. Так называемые метаморфозные грамматики (metamorphosis grammars или MGs) определили рост заинтересованности в области выражения лингвистических понятий в логике (qv) и заложили основу для создания качественных блоков предварительной обработки данных (процессоров ввода-вывода) и интерфейсов. Основное применение результаты этих исследовательских работ нашли в консультировании и создании баз данных на основе ЕЯ, выработке вопросов и ответов, переводе текстов и синтезе текстов, исходя из надлежащим образом оформленных спецификаций. Понятие грамматик, построенных на определенных предложениях (DCGs), как особого случая метаморфозных грамматик, было введено в 1978 году Перейрой и Уорреном в качестве грамматического формализма, для которого PROLOG имеет эффективный механизм синтаксического анализа. Одни практические системы были созданы для одновременного использования синтаксического и семантического знания для привнесения логики в структуру, содержа в себе информацию для семантической интерпретации. Другие системы были выстроены на более чем одном уровне трансляции; использование синтаксического и семантического знания осуществлялось отдельно друг от друга, и конечным результатом являлось в PROLOGе предложение Хорна, выполнение которого осуществлялось механизмом планирования (qv). Техника экстрапозиционных грамматик (extraposition grammars или XGs) была предложена Перейрой для описания определенных глобальных отношений или экстрапозиций, таких как связь между относительным местоимением и его записью. В конечном итоге разработки наподобие грамматик структуры определений (modifier structure grammars или MSGs) Даля и МакКорда, древовидных грамматик (tree grammars или TGs) Колмеройера и усложненных грамматик (puzzle grammars или PGs) Сабатье увеличили силу выражения лингвистических понятий. Все эти исследовательские работы по грамматическим формализмам, замешанным на логике, стали возможны и проще в осуществлении после выбора PROLOGа, языка программирования основанного на подмножестве логики первого порядка. ЛОГИЧЕСКИЕ ГРАММАТИКИ Грамматики описывают структуру (синтаксис) языков множеством продукций (правил, перерабатывающих текст). Например, правилом sentence -> noun-phrase verb-phrase устанавливается связь между тремя нетерминальными символами: предложение может состоять из именной группы и следующей за ней глагольной группы. Такие правила могут быть отображены в PROLOGе следующим образом: sentence (S1, S3): - noun-phrase (S1, S2), verb-phrase (S2, S3). verb-phrase (S1, S2): - connects (S1, writes, S2). connects (1, each, 2). connects (2, author, 3). connects (3, writes, 4). (Примечание: предикаты (т. е. выражения с неопределенными терминами, или переменными, которые преобразуются в истинные или ложные высказывания при выборе конкретных значений для этих самых терминов) заносятся в PROLOG через запятую. Переменные отличаются от констант первой заглавной буквой.) В нижеследующей записи числа обозначают начало и конец каждого слова: 1each2 author3 writes4 Чтобы проверить правильность построения предложения, необходимо указать цель ? - sentence (1, 4). (где ? - бинарное обозначение структуры (или бинарный функтор), содержащееся в любой системе PROLOG) и продемонстрировать, что она подтверждается предыдущими условиями. Используя список в качестве информационной структуры для представления предложения, числа больше не нужны, так как PROLOG имеет устройство синтаксического анализа, способного перевести: ? - sentence ([each, author, writes]. [ ]). Грамматики, построенные на определенных предложениях, являются объемом понятия контекстно-свободных грамматик, которые также могут быть транслированы на язык PROLOG. Грамматики, построенные на определенных предложениях, позволяют любому логическому выражению стать нетерминальным, они построены на логических символах: константах, переменных, выражениях, - а не только на одних константах. Также они имеют только один нетерминальный символ в левой части каждого правила. Контекстные зависимости (контекстные отношения подчинения) описываются логическими переменными в рамках параметров (или независимых переменных) грамматических символов. У правила грамматики, построенной на определенных предложениях, следующая форма: nonterminal symbol -> body (основная часть программы). где “body” (“основная часть”) является последовательностью одного или более элементов данных, отделенных друг от друга запятыми. Каждый элемент данных является либо нетерминальным символом, либо последовательностью терминальных символов. Значение правила состоит в том, что "основная часть"- это возможная форма для группы типа “нетерминальный символ”. В PROLOGе нетерминальный символ записывается как выражение (а не как список), а последовательность терминальных символов - в виде списка. В правой части правила наряду с нетерминальными символами и списком терминальных символов могут находиться последовательности вызовов процедур, записываемых в фигурных скобках ({and}). Они используются для выражения дополнительных условий, которые в обязательном порядке должны выполнятся, чтобы правило действовало. Нетерминальный символ преобразуется в (N + 2)-местный предикат (имеющий идентичное название), чьи первые N параметры полностью описаны в нетерминальном символе и чьи последние два параметра являются такими же, как и при трансляции контекстно-свободного нетерминального символа. Вызовы процедур в правой части правила транслируются так, как они есть. Каждое грамматическое правило, типа p(X) -> q(X). получает группу входящих данных, анализирует некую исходную часть и генерирует остаток для дальнейшего анализа. Это частное правило транслируется системой PROLOG как p(X, S0, S): - q(X, S0, S). Следовательно, система грамматической индексации в PROLOGе обеспечивает более сжатую запись, когда параметры для групп входящих и выходящих данных неявно выражены. Когда в правиле содержатся терминальные символы, они транслируются со сказуемым "connects". К примеру, connects(S1, X, S2) означает, что суть S1 связана через X с сутью S2. Правило p(X) -> (older), q(X), (high). преобразуется в
АНАЛИЗ ЕЯ В 1977 году Колмеройер ввел общую схему анализа ЕЯ, что явилось решающим шагом вперед и вызвало огромный интерес в области использования логических грамматик как альтернативы прочно утвердившимся грамматикам расширенных сетей переходов (augmented transition network grammars). С исторической точки зрения, это можно признать поворотным пунктом, так как был указан метод преобразования предложений ЕЯ в логические структуры. Метод заключался в рассмотрении простейших высказываний, содержащих собственные имена существительные, какой бы то ни было артикль в виде квантора (кванторного слова) с тремя операциями перехода и четыре приоритетных правила, для разрешения проблемы иерархии квантования (количественного измерения качественных признаков). Краткий обзор общей схемы побуждает к дальнейшему развитию приемов составления логических грамматик. Например, предложение Chomsky is (a) writer содержит имя собственное, и глагол “to be” преобразуется в формулу writer(chomsky) Главным образом глаголы, прилагательные, имена существительные вводят характеристики с n параметрами. Для глаголов, n может равняться 1 [непереходные глаголы] или N+1 [переходные глаголы, где N - количество комплементов (дополнений, следующих за глаголом в составном сказуемом и описывающих его подлежащее)]. Для прилагательных и имен существительных n равняется или больше 1 (отношения, где n - это n-место его параметров). Параметры представляют в предложении дополнения при имени существительном, глаголе или прилагательном. Например, предложение Chomsky writes a book содержит глагол “write”, существительное “book” и артикль “a” и может быть заменено следующей формой: for a B such that B is (a) book (1) it is true that Chomsky writes B (2) где (1) и (2) являются простейшими высказываниями. Эта же логическая структура может быть записана в стенографических индексах: a(B, book (B), writes(Chomsky), B)). Обратите внимание, что высказывания (1) и (2) преобразуются в формулы “book(B)” и “writes(Chomsky, B),” соответственно. Логическая структура выражает смысл предложения, и каждая из ее составных частей соответствует смыслу обособленных слов согласно принципу Фреже. Записи, передающие значение, указываются как логические структуры, так как единственным из области значения, что люди научились точным образом представлять в виде записи в ЭВМ, являются логические отношения. Всякий артикль a представляет квантор q (кванторное слово) с тремя операциями перехода, создающий новую формулу из переменной x и двух формул f1 и f2, q(x, f1, f2). Эта формула соответствует высказыванию for a x such that e1, it is true that e2 где e1 и e2 являются простейшими высказываниями соответствующими f1 и f2. Например, предложение Chomsky writes a book for each publisher содержит глагол “write”, два существительных (“book” и “publisher”) и два артикля (“a” и “each”) и может быть заменено следующей формой: for each P such that P is a publisher it is true that for a B such that B is a book, it is true that Chomsky writes B for P Предложение преобразуется в логическую структуру each(P, publisher(P), a(B, book(B), writes-for(Chomsky, B, P))). Эта логическая структура отражает следующее приоритетное правило: в конструкции с использованием имени существительного (book) и его дополнения (publisher), квантование, представленное артиклем при дополнении, влияет на квантование, представленное артиклем при имени существительном. Помимо этого правила Колмеройер предложил еще 3 приоритетных правила для организации возможности квантования. АНАЛИЗ КОЛМЕРОЙЕРА ДЛЯ КОНКРЕТНОГО ЕЯ Общая схема анализа была изначально предложена Колмеройером для французского и английского языков. Позднее Даль адаптировал ее для испанского, Коэлхо - для португальского, а Пик предложил иную семантику для артиклей французского языка. ОБЩАЯ СХЕМА АНАЛИЗА КОЛМЕРОЙЕРА В КАЧЕСТВЕ ГРАММАТИКИ, ПОСТРОЕННОЙ НА ОПРЕДЕЛЕННЫХ ПРЕДЛОЖЕНИЯХ (DCG) DCGs поддерживают процессы синтаксического анализа и транслирования благодаря взятым ими на вооружение из подмножества ЕЯ, необходимым элементам синтаксиса и семантики. Процесс синтаксического анализа состоит из доказательства, что цепочка слов является законным и правильно построенным предложением (с точки зрения выбранного синтаксиса). Процедура доказательства осуществляется через исследовательскую стратегию (с конца на начало, сверху вниз, слева направо) и через правило умозаключения (логического вывода), где заключением является qv, уже после отработки системы PROLOG. Трансляция заключается в изображении каждого предложения в виде логической структуры. Эта структура состоит из правильно построенных формул определенной логической системы, которая основывается на объеме понятия логики предикатов(qv). Механизм транслирования выражается как множество определенных предложений логики через грамматические правила PROLOGа. Он (механизм) может содержать, как вместе, так и по отдельности синтаксические и семантические знания из подмножества рассматриваемого ЕЯ. Механизм синтаксического анализа зависит от системы PROLOG, и он может быть вскрыт включением отслеживающего устройства. Трансляция и синтаксический анализ - независимые друг от друга процессы, их независимость позволяет легче производить изменения в грамматике. Упрощенная грамматика, обозначаемая через G, рассматривается следующим образом. Она производит синтаксический анализ английских предложений, одновременно порождая соответствующие им логические структуры. Грамматика определяется 2 модулями: 1) синтаксис + семантика 2) морфология и имеет дело с предложениями типа: Hodges writes for Penguin. СИНТАКСИС + СЕМАНТИКА sentences(S) -> noun-phrase(NP, S2, O), verb([subject-X | L], O1), complements(L, O1, O2). complements([ ], O, O) -> [ ]. complements([K-N | L], O1, O3) -> complements(L, O1, O2), case (K), noun-phrase(N, O2, O3). noun-phrase(N, O2, O4) -> article(N, O1, O2, O3), common-noun([subject-N | L], O1), complements(L, O3, O4). noun-phrase(PN, O, O) -> [PN], {proper-noun(PN)}. article[A, O1, O2 and (O1, O2)] -> [a]. case(for) -> [for]. case(direct) -> [ ]. МОРФОЛОГИЯ verb([subject-A, for -P], is-published-by(A,P)) -> [writes]. common-noun([subject-P], publisher(P)) -> [publisher]. proper-noun(hodges). proper-noun(penguin). К примеру, правило: noun-phrase(PN, O, O) -> [PN], {proper-noun(PN)}. представляет собой структуру: noun-phrase(PN, O, O, S0, S): - connects(S0, PN, S), proper-noun(PN). Первое правило грамматики G, по идее, признается справедливым только для предложений, в которых за именной группой следует глагол с возможно некоторыми дополнениями. Первое грамматическое правило для дополнений допускает их отсутствие (терминальный символ [ ] выступает в роли пустого списка), второе правило для дополнений определяет последовательность дополнений как группу данных, составленную из дополнения, падежа и именной группы. Различные параметры отличных друг от друга нетерминальных символов связаны одной и той же логической переменной. Это позволяет строить структуры в процессе унификации. Именная группа “a publisher” анализируется и транслируется грамматическим правилом как: noun-phrase(N, Oa, Ob) -> article(N, Oc, Od, Oe), common-noun(N, of), {constraints(Oa, Ob, Oc, Od, Oe, Of)}. Заметьте, что это правило - упрощенная версия четвертого правила представленной грамматики G. Нетерминальный символ для именной группы имеет 3 параметра. Интерпретация последнего параметра Ob будет зависеть от характеристики Oa индивидуума N, так как в общем именная группа содержит артикль, такой как “a”. Теперь смотри на правую часть правила. Слово “a” имеет интерпретацию Oe, and(Oc, Od) в контексте двух характеристик Oc и Od индивидуума N. Характеристика Oc будет соответствовать оставшейся части именной группы, содержащей слово “a”, а характеристика Od вытекает из остатка предложения. Значит, Oe будет содержать всеобъемлющую интерпретацию и связываться с Ob через одну и ту же переменную. Так как Of является характеристикой нарицательного существительного, она связывается с Oc одной и той же переменной. Oa имеет описание характеристик N, а также зависит от характеристик оставшейся части предложения. Поэтому Oa связывается с Od через одну и ту же переменную. Каждое слово ассоциируется с характеристикой. Например, значение глагола “writes” вводится отношением “is-published-by(A,P)”. Глагольное правило также содержит информацию о характеристиках отношения, а именно то, что “A” играет роль подлежащего предложения а “P” “навязывает” использование предлога “for”. Значение неопределенного артикля “a” вводится конъюнкцией “and(O1, O2)” согласно определению, принятому в классической логике. Более продвинутая по сравнению с G грамматика имела бы более скрупулезно разработанные дефиниции существительных, глаголов, прилагательных, артиклей: noun([A-[ ] & author & type-X], pr(author(X))) -> no(author, A). no(Type,GN) -> [Noun], {no1(Noun, Type, GN)}. no1(author, author,mas-sin). verb([(G-N)-V&type-X, dir-A-W&title-Y], pr(author(X, Y))) -> ve(writes, N). ve(Type, N) -> [Verb], {ve1(Verb, Type, N)}. ve1(writes, writes, sin). adjective([A-{ }&author&type-X, prep(by)-_-[ ]&pub&type-Y], pr(published(Y,X))) -> ad(pub, A). ad(Type, GN) -> [Adj], {ad1(Adj, Type, GN)}. ad1(published, pub, mas-sin). article(G-sin)-D-X, O1, O2, for([X, D] and (O1, O2)), cardinality(X, greater, 0))) art-ind(G-sin). art-ind(mas-sin) -> [a]; [some]. (Замечание: безымянные переменные записываются в PROLOG как “_”.) Эти дефиниции включают синтаксические и семантические проверки, такие как грамматический род, число, семантические типы. Значение артикля также отличается. Вместо квантора с двумя операциями перехода оно было введено квантором с тремя операциями перехода. Первая операция перехода - квантование переменной X, вторая - для основной характеристики “and” переменной X, третья - для точного определения характеристики (мощности множества) и ограничения области переменной X. ОБЛАСТЬ ПОНЯТИЙ ГРАММАТИК, ПОСТРОЕННЫХ НА ОПРЕДЕЛЕННЫХ ПРЕДЛОЖЕНИЯХ Экстрапозиционные грамматики (XGs) увеличивают мощь DCGs при перечислении контекстных зависимостей. Правила XG могут иметь в своей левой части более одного нетерминального символа и символ пробела “ “, выражающий случайную цепочку логических символов (терминальных и нетерминальных). Например, правило экстрапозиционной грамматики Relative-marker . . . complement -> [that]. утверждает, что относительное местоимение ”that” может быть проанализировано как относительный показатель, за которым следуют какие-нибудь неизвестные фразы и затем дополнение. XGs упрощают выражение синтаксических представлений и следовательно позволяют упростить трактовку семантических и логических описаний. Параметры для нетерминальных символов используются (как и в DCGs) для проверок согласования, производства дерева синтаксического анализа и ограничения возможности присоединения постмодификаторов. Грамматики структуры определений (MSGs) увеличивают вероятность точного описания несинтаксических репрезентаций. Они упрощают автоматическое моделирование таких репрезентаций при одновременно происходящем анализе. Древовидные (или древесные) грамматики (TGs) позволяют лучше ориентировать лингвистические конструкции. Усложненные грамматики (PGs) являются средством, разработанным специально для нужд лингвистов. Правила их стратегии описывают порядок и режим трансляции, и описываются эти правила независимо друг от друга. ЗаключениеВ заключении хочется добавить, что проблема языка как знаковой природы языка остается одной из центральных в современной лингвистике, а также в семиотике и философии. Эта проблема захватывает весь язык в целом и отдельные его элементы, понимание его структуры и его системы, синтагматики и парадигматики, его функционирования и развития. Она открывает возможность сближения языка с другими системами знаков и удаления его от них - теоретических описаниях и обсуждениях. Она не затемняет и не искажает ни социальной природы языка, ни его свойств практического действительного сознания. Список литературыДемидов И.В.. Логика: учебник. М, 2021 Грядовой Д. И.. Логика: общий курс формальной логики учебник. М, 2017 Яшин Б. Л.. Логика: учебник. М, 2015 Ивин А. А.. Логика: учебник. М, 2015 Горский Д.П. Логика. М., 1985 Зегет В. Элементарная логика, М.,1985 Сборник упражнений по логике. Минск, 1990 Челпанов Г.И. Учебник по логике. М., 1994 Упражнения по логике. М., Юрист, 1993 Яшин Б.Л. Задачи и упражнения по логике. М., 1996 |