МЕТОДИЧЕСКИЕ УКАЗАНИЯ И ВАРИАНТЫ ЗАДАНИЙ НА

МЕТОДИЧЕСКИЕ УКАЗАНИЯ И ВАРИАНТЫ ЗАДАНИЙ НА КОНТРОЛЬНУЮ РАБОТУ ПО КУРСУ
"ЛОГИКА"
1. МЕТОДИЧЕСКИЕ УКАЗАНИЯ
1.1. Цели и задачи.
В основу заданий на контрольную работу по логике положены два
дидактических принципа обучения: во-первых, доступность и научность
учебного материала, предлагаемого для индивидуального выполнения, и, вовторых, связь представленных логических заданий с профессиональной
подготовкой студентов и реальной общественной практикой.
Такой подход позволяет, с одной стороны, овладеть новой информацией о
мире в различных сферах познания, с другой - использовать логические
закономерности и принципы в выработке навыков и умений в области
инженерного конструирования и моделирования. Кроме того, он эффективно
формирует научно обоснованное мышление, которое необходимо как для
изобретательства, так и для внедрения инновационных техникотехнологических данных с целью обеспечить прогресс промышленного
производства и управления его финансово-экономическими потоками.
Учебный материал для контрольной работы учитывает специфику целевой
подготовки инженерных кадров, возможности студентов при изучении курса и
служит для закрепления и углубления логических навыков.
1.2. Выполнение контрольной работы и ее оформление.
Контрольная работа выполняется на заключительном этапе изучения курса.
Она состоит из задания, предполагающего применение разобранных в базовом
учебнике (Горлов А. В., Старостенко А. М. Логика. Учебное пособие для
технических университетов. - ОрелГТУ, 1998 г.) способов решения. Номер
варианта контрольной работы соответствует номеру студента в учебной
группе.
Работать над контрольным заданием следует, используя отдельную тетрадь,
где на обложке указаны фамилия студента, его шифр и номер варианта.
Записи нужно делать чернильной или шариковой ручкой, без исправлений,
четким почерком. При выполнении работы необходимо оставлять широкие поля
для замечаний, объяснений и методических указаний рецензента. Выполненную
работу следует в установленные сроки отправить в ОрелГТУ. Если
контрольная работа сделана с нарушениями указанных требований или не
полностью, она возвращается без проверки. Оценка контрольной работы
производится по принципу зачтено - не зачтено.
1.3. Исправление контрольной работы после рецензирования.
Получив от рецензента проверенную контрольную работу, студент должен
внимательно прочитать рецензию, проанализировать отмеченные ошибки и,
руководствуясь указаниями рецензента, проработать еще раз учебный
материал. После этого в конце тетради следует записать исправленные
решения и еще раз отправить контрольную работу в ОрелГТУ. Зачтенная
контрольная работа возвращается студенту и сдается затем преподавателю во
время зачета.
2. ВАРИАНТЫ ЗАДАНИЙ НА КОНТРОЛЬНУЮ РАБОТУ
Вариант 1.
1. Укажите характерные особенности диалектического и формального
направлений в логике и попробуйте установить, к какому из них тяготеет
Аль-Фараби, считавший, что логика - это искусство, которое "содержит в
себе вещи, ведущие разум к правильному мышлению всякий раз, когда
существует возможность ошибки, и которое указывает на все
предосторожности против заблуждения всякий раз, когда делается какой-либо
вывод при помощи разума. Его положение по отношению к разуму подобно
положению искусства грамматики по отношению к языку, и так же, как
грамматика исправляет язык людей, для нужд которого она создана, наука
логика исправляет разум с тем, чтобы мышление протекало правильно всякий
раз, когда существует возможность ошибки".
2. Используя диаграммы Венна, установите отношения между понятиями:
- большое искусство, трудное и важное;
- большое искусство, трудное и важное для развития интеллекта.
3. Определите отношения между суждениями в парах:
а) Некоторые прокуроры взяточники.
Некоторые прокуроры не берут взяток.
б) Все цветы пахнут.
Некоторые цветы не пахнут.
в) Ни один лентяй не учится.
Некоторые лентяи не учатся.
4. Исходя из истинных посылок, составьте силлогизм модуса EAE второй
фигуры.
Вариант 2.
1. "Один из ученых пожаловался известному врачу, что он болеет артритом.
- А ваша мать болела артритом? - спросил врач.
- Нет.
- А отец?
- Тоже не болел.
- Нет у вас артрита, - заявил врач".
Исходя из того, что артрит - чисто наследственная болезнь, оцените
правильность диагноза с точки зрения принципов формальной логики.
2. Произведите всеми возможными способами обобщение следующих понятий:
- ситуация в управлении, характеризующаяся повышенной психо логической
или физиологической напряженностью;
- число людей, находящихся в непосредственном подчинении руководителя;
- достижение поставленной цели.
3. Определите, являются ли данные суждения модальными:
а) Цвет обоев должен сочетаться с цветом мебели.
б) Солдатами не рождаются.
в) Возможно, завтра выпадет снег.
г) Иногда люди допускают несправедливость.
д) Гражданин обязан защищать интересы своей страны.
4. Укажите распределенность терминов в силлогизме:
Ни одна рыба не есть кит.
Некоторые водные животные - рыбы.
Некоторые водные животные не суть киты.
Вариант 3.
1. "Я знаю, что ничего не знаю", - говорил Сократ. Установите, насколько
корректно такое утверждение, опираясь на принципы а) диалектики, б)
формальной логики.
2. Охарактеризуйте следующие определения:
а) Прибыль - это разница между выручкой за реализованную продукцию и
издержками на ее производство.
б) Модель - это объект, сходный с другим объектом - оригиналом, более
простой по сравнению с оригиналом и служащий для его изучения.
3. Проведите операцию отрицания суждения:
а) Некоторые писатели не имеют высшего образования.
б) Волга длиннее всех европейских рек, но короче некоторых американских.
4. Разверните энтимему в полный силлогизм, определите его фигуру и модус:
Если даже наслаждение не делает вас человечнее, значит, вы по натуре
жестоки, как зверь.
Л. Вовенарг.
Вариант 4.
1. Придумайте истинное высказывание, соответствующее формуле:
Аx Аy (R(x,y) С R(y,x))
2. Произведите всеми возможными способами обобщение следующих понятий:
- формальная группа в организации, отвечающая за выполнение конкретной
задачи или набора задач для всей организации в целом;
- процесс стимулирования самого себя и других для деятельности,
направленной на достижение индивидуальных и общих целей организации.
3. Определите вид каждого из приведенных суждений:
- Ограничение - логическая операция, обратная обобщению.
- Лучше страшный конец, чем бесконечный страх.
- Есть множество проблем в управлении российской экономикой.
- Аргумент функции в математике - независимая переменная величина, от
значения которой зависят значения функции.
4. Исходя из истинных посылок, составьте силлогизм модуса EAO четвертой
фигуры.
Вариант 5.
1. Выявите логические формы понятий и выразите их как можно подробнее с
использованием языка логики предикатов:
а) желание высокой степени настоятельности;
б) число, которое делится на 2 или на 3, но не делится на 6.
2. Определите правильность дефиниции. Если есть ошибка, охарактеризуйте
ее.
а) Философ - это человек, разрабатывающий научную методологию.
б) Рак - небольшая красная рыбка, которая ходит задом наперед.
в) Возможность - это то, что может быть, а может и не быть.
г) "Человек - это смеющееся животное" (Аль-Фараби).
3. Представьте суждение в виде алетического модального. Запишите
эквивалентное ему суждение с другим оператором той же модальности.
Земля вращается вокруг Солнца.
4. Проведите логический анализ силлогизма (укажите его термины, фигуру и
модус, определите истинность):
Некоторые люди философы.
Всякий философ много знает.
Некоторые люди много знают.
Вариант 6.
1. Ответьте на следующие вопросы:
а) Что и почему является материальной формой логики?
б) Чем отличается язык логики предикатов от других существующих языков?
в) Что такое знак? Каковы основные виды знаков, их характеристики?
2. К какому виду относится каждое из приведенных ниже определений?
а) Лекция - устное изложение учебного предмета или какой-нибудь темы, а
также запись этого изложения.
б) Интегральная микросхема - микроэлектронное изделие, выполняющее
определенную функцию преобразования, обработки сигнала и (или)
накапливания информации и имеющее высокую плотность упаковки электрически
соединенных элементов (или элементов и компонентов) и (или) кристаллов,
которое с точки зрения требований к испытаниям, приемке, поставке и
эксплуатации рассматривается как единое целое.
в) Кристалл - часть пластины, в объеме и на поверхности которой
сформированы элементы полупроводниковой микросхемы, межэлементные
соединения и контактные площадки.
г) Окружность - замкнутая кривая, образованная движением точки, не
удаляющейся от другой, неподвижной точки.
3. Охарактеризуйте вопросы, заданные в тексте, указав для каждого из них
вид и базис:
Милая мать, для чего, из объятий моих убегая,
Мне запрещаешь в жилище Аида прижаться к родному
Сердцу и скорбною сладостью плача с тобой поделиться?
Иль Персефона могучая вместо тебя мне прислала
Призрак пустой, чтоб мое усугубить великое горе?
Гомер, "Одиссея".
4. Восстановив из энтимемы силлогизм, определите его фигуру и модус:
Трусость очень вредна, потому что она удерживает волю от полезных
действий.
Р. Декарт.
Вариант 7.
1. Укажите смысл и значение следующих выражений (знаков-символов):
- наименьшее натуральное число;
- океан;
- мир;
- автор "Войны и мира";
- столица России.
2. Установите, к какому виду относится деление, если оно правильное. Если
деление неправильное, объясните, какое нарушено правило и в чем состоит
ошибка.
а) Техника может быть механической, электронной и электронномеханической.
б) Металл может быть твердым, жидким и газообразным.
в) Электрический ток в интегральной схеме может быть переменным,
постоянным и высокочастотным.
3. Запишите результат отрицания суждения:
1) Некоторые черепахи не имеют панциря.
2) Всякий компьютер играет в шахматы хуже некоторых людей.
3) Ни один механизм не имеет больше двух степеней свободы.
4) Каждый студент изучает какую-нибудь науку.
4. Сделайте разбор силлогизма, изобразите в круговых схемах отношение
между его терминами:
Эта рукопись не является средневековой, ибо ни одна средневековая
рукопись не написана ализариновыми чернилами, а эта рукопись написана
именно ими.
Вариант 8.
1. Обоснуйте действительность или мнимость имен в материальном мире:
- самая удаленная точка Вселенной;
- самая большая река в Европе;
- русалка.
2. Запишите данное высказывание на языке логики предикатов с
использованием двухместного предикатора:
Либо каждый любит кого-нибудь и ни один не любит всех, либо кто-то любит
всех и кто-то не любит никого.
3. Укажите виды модальностей и отметьте модальные операторы в суждениях:
- Студент обязан знать основные требования, предъявляемые к нему вузом.
- Действительно, ты оказался прав.
- Доказано, что квадрат гипотенузы равен сумме квадратов его катетов.
- Это случайно, что метеорит упал в Тунгусской тайге.
- Невозможно, чтобы каждый знал, кто открыл на Венере атмосферу.
- Согласно "правилам игры" некое важное собрание не может начаться до тех
пор, пока не явятся все заинтересованные лица. Необходимо знать, что
опоздавшие не подлежат никакому наказанию.
- Возможно, это простое совпадение.
4. Правильно ли опровержение считать доказательством? Почему?
Вариант 9.
1. Укажите смысл и значение следующих выражений (знаков-символов):
- вечный двигатель;
- "вечный двигатель";
- ""вечный двигатель"".
2. Является ли суждение сложным? Найдите субъект и предикат (субъекты и
предикаты).
Из страны, где солнца свет
Льется с неба жгуч и ярок,
Я привез тебе в подарок
Пару звонких кастаньет.
3. Исследуйте табличным способом форму высказывания:
;(p м q) = (;p v ;q)
4. Что общего и в чем различие между софизмами и паралогизмами?
Вариант 10.
1. Запишите пословицы и поговорки на языке логики предикатов, делая
пояснения для индивидных символов и предикаторов. Там, где это возможно,
используйте многоместные предикаторы.
1) Дареному коню в зубы не смотрят.
2) Сытое брюхо к учению глухо.
2. Запишите результат отрицания суждения:
1) Ни один инженер не знает ни одного компьютерного языка.
2) И на старуху бывает проруха.
3) Не все коту масленица.
4) "И какой русский не любит быстрой езды!" (Н.В.Гоголь).
3. Осуществить по возможности операции:
а) обращения,
б) превращения.
1) Все люди, заинтересованные в сохранении мира, выступают против гонки
вооружений.
2) Некоторые общие суждения содержат распределенный предикат.
4. Какими чертами и свойствами отличается инженерное мышление от
информационного?
Вариант 11.
1. Обоснуйте действительность или мнимость имен в материальном мире:
- спутник Земли;
- гном;
- философская категория "материя".
2. Проведите отрицание сложных суждений:
1) Любой школьник знает все науки лучше некоторых студентов.
2) Если ни один лентяй не является отличником, то все двоечники - лентяи.
3) Некоторые инженеры не умнее всякого рабочего или каждый инженер умнее
некоторых рабочих.
4) И снег летит, и ветер свистит.
3. Определите правильность схем умозаключений. Для неправильных схем
приведите примеры, опровергающие их истинность.
А 6 В, А А 6 В, ;А
а) ; б) ; В ;В
А 6 В А v В, В
в) ; г) ; А 6 ;В А
д) А 6 С, В 6 С А v В С
4. Обоснуйте табличным способом тождественную истинность формулы:
p С q =;(p м;q)
Вариант 12.
1. Запишите пословицы и поговорки на языке логики предикатов, делая
пояснения для индивидных символов и предикаторов. Там, где это возможно,
используйте многоместные предикаторы.
1) С волками жить - по-волчьи выть.
2) Осла знать по ушам, медведя - по когтям, а дурака - по речам.
2. Установите, к какому виду относится деление, если оно правильное. Если
деление неправильное, объясните, какое нарушено правило и в чем состоит
ошибка.
а) Сделки могут быть односторонними, двусторонними, многосторонними и
письменными.
б) В реферате можно выделить введение, основную часть и заключение.
в) Право может быть уголовным, уголовно-процессуальным и исправительнотрудовым.
3. Определите виды умозаключений и установите их правильность:
1) Некоторые бизнесмены не являются мужчинами, так как некоторые мужчины
не бизнесмены.
2) Поскольку всякая освободительная война является справедливой,
постольку ни одна несправедливая война не является освободительной.
4. Придумайте по одному умозаключению модуса EIO для каждой из указанных
фигур:
М Р Р М
1) 2)
S M S M
M P P M
3) 4)
M S M S
Вариант 13.
1. Выявите логические формы понятий и выразите их как можно подробнее с
использованием языка логики предикатов:
а) реальность, познаваемая человеком и существующая независимо от
познания;
б) человек, знающий некоторые современные языки и не знающий ни одного
древнего.
2. Ответьте на вопросы:
а) Почему определение не должно заключать в себе круга?
б) Какие определения являются неявными?
3. Осуществить по возможности операции:
а) обращения,
б) превращения.
1) Ни одно религиозное учение не является научным.
2) В некоторых озерах нет пресной воды.
4. Определите фигуру, модус и проверьте правильность силлогизма:
а) Все атеисты не верят в загробную жизнь, и все они уважают науку.
Следовательно, все, кто уважает науку, не верят в загробную жизнь.
б) Ни один лжец не заслуживает доверия. Всякому порядочному человеку
можно доверять. Следовательно, ни один порядочный человек не лжец.
Вариант 14.
1. Укажите, какие из следующих выражений - Москва, "Москва", ""Москва"",
"столица России" - можно подставить вместо X, чтобы получились истинные
предложения:
а) X - город в европейской части России;
б) X - название города;
в) X - выражение русского языка;
г) X - выражение, обозначающее слово.
2. Обоснуйте табличным способом тождественную истинность формулы:
p С q = ;p v q
3. Определите, к дедуктивным или к индуктивным относятся следующие
умозаключения:
а) Отец хвалит меня только тогда, когда я сам доволен собой в спорте.
Я успешно занимаюсь спортом и могу быть доволен собой.
Отец не может не хвалить меня.
б) Неон - инертный газ.
Неон - химический элемент.
Некоторые химические элементы - инертные газы.
в) Бизнес предполагает активность.
Предприниматель - это активная личность.
Менеджер - это творчески активный специалист.
Бизнес, предпринимательство, менеджмент - механизмы рыночных отношений.
Рынок активизирует личность и ее способности.
г) Концерны, в которых правление работает плохо, не приносят доходов.
Правление железнодорожной компании "Орел" работает хорошо.
Правление железнодорожной компании "Орел" приносит доход.
4. Придумайте пример, иллюстрирующий применение метода единственного
различия для установления причинной связи в сфере экономических
отношений.
Вариант 15.
1. С помощью "логического квадрата" выведите противоположные,
противоречащие и подчиненные данным суждения. Установите их истинность
или ложность.
а) Анализ - мысленное расчленение предмета.
б) Ни один ученый не знает логики.
в) Книга - лучший подарок.
2. Является ли формула тождественно-истинной? Обоснуйте ответ табличным
способом. p v q = ;p С q
3. Определите фигуру, модус и проверьте правильность силлогизма:
а) Некоторые приборы являются устаревшими. Всякий телевизор прибор.
Следовательно, некоторые телевизоры устарели.
б) Долг гражданина - не одобрять тех. кто совершает преступления. Те, кто
занимается финансовыми махинациями, преступники. Значит, долг гражданина
- не одобрять тех, кто занимается финансовыми махинациями.
в) Всякий гуманист борется за мир, поэтому, если человек не борется за
мир, то он не гуманист.
4. Прочитайте приведенный текст. Какие гипотезы, кроме имеющейся в нем,
можно выдвинуть?
Ученые, изучая работу руководителей фирм, заметили, что некоторые
менеджеры специализируются на выдаче указаний по поводу выполнения работ,
другие - посвящают свое время поощрению, поддержке и развитию
взаимоотношений, третьи - хорошо выполняют все эти функции. Было сделано
предположение: некоторые руководители очень активны в своем стремлении
организовывать выполнение работы, другие - в формировании добрых
взаимоотношений, но наиболее эффективной будет деятельность руководителя,
в равной мере сочетающего и то, и другое.
Вариант 16.
1. Исследуйте табличным способом форму высказывания:
(;p С q) м ;(q v p)
2.Восстановите по возможности правильный силлогизм из энтимемы:
1) Некоторые летающие существа не являются птицами, поскольку они жесткокрылые.
2) Признаком горения является наличие пламени, поэтому окисление не есть
горение.
3. Запишите логически стройное, хорошо аргументированное рассуждение по
одной из следующих проблем:
- "Знания - деньги!"
- "Общественное сотрудничество - основа моего экономического
благополучия".
- "Техническое мышление - путь к профессиональному успеху инженера".
4. Установите тип рассуждения.
а) Лейбниц: Если идея бога является врожденной, то бога должны почитать
выше всякого другого предмета. Бога почитают выше всякого другого
предмета. Следовательно, идея бога является врожденной.
б) Шпенглер: Поскольку живые организмы проходят в своем развитии ступени
рождения, расцвета, упадка и гибели, постольку и общество в своем
развитии проходит те же ступени.
Вариант 17.
1. Запишите высказывание на языке логики предикатов:
Воля в нас всегда свободная, да не всегда добрая.
Августин.
2. Какое определение понятия "гипотеза" лучше подходит для этой формы
развития знания:
- обоснованное предположение;
- сложный логический процесс с участием различных форм умозаключений ;
- исходное основание, являющееся логическим переходом к предположению?
Объясните свой выбор.
3. Выпишите в отдельности субъект и предикат суждения:
В лиственных сенях гнездилися там длиннокрылые птицы,
Копчики, совы, морские вороны крикливые, шумной
Стаей по взморью ходящие, пищи себе добывая.
Гомер, "Одиссея".
4. Проанализируйте рассуждение и выясните, является ли оно
доказательством. Для доказательства установите вид.
а) "Аристотель в каком-то своем наставлении, в котором побуждает юношей к
занятию философией, говорит следующее: если отрицается философия, то это
самое (отрицание) уже есть философия; если же философия признается, то
это (признание) также есть философия; значит, и в одном и в другом случае
философия существует ".
(Берков В.Ф., Яскевич Я.С., Павлюкевич В.И. - Логика. Минск, 1997. С.55).
б) "Умение ставить разумные вопросы, - остроумно заметил как-то И. Кант,
- есть уже важный и необходимый признак ума и проницательности. Если
вопрос сам по себе бессмысленен и требует бесполезных ответов, то кроме
стыда для спрашивающего он имеет иногда тот недостаток, что побуждает
неосторожного слушателя к нелепым ответам и создает смешное зрелище: один
(по выражению древних) козла доит, а другой держит под ним решето". (Кант
И. Соч. в 6-и т.- М.,т.3, 1964. - С.159).
в) На вечерах у известного биолога М.Дельбрюка обсуждались актуальные
проблемы генетики. Однажды Н.В. Тимофеев-Рисовский обратился к
присутствовавшим на одном из вечеров физикам: "Вот я вас спрошу, из чего
состоит электрон?" Все рассмеялись. "Вот видите, так же смеются генетики,
когда их спрашивают, из чего состоит ген. Вопрос о том, что такое ген,
выходит за рамки генетики и его бессмысленно адресовать генетикам. Вы,
физики, должны искать ответ на него". (Франк-Каменецкий М.Д. Самая
главная молекула. - М., 1983. -С.9).
Вариант 18.
1. Выпишите из текста знаки отношений:
...Путь указал благодетельный демон: был остров невидим;
Влажный туман окружал корабли; не светила Селена
С неба высокого; тучи его покрывали густые.
Гомер, "Одиссея".
2. Является ли формула тождественно-истинной? Обоснуйте ответ табличным
способом. p м q = ;(p С ;q)
3. Определите виды умозаключений и установите их правильность:
1) Ни одно демократическое государство не является тоталитарным, поэтому
некоторые демократические государства не имеют тоталитарного режима.
2) Всякое разумное существо способно использовать знаки. Следовательно,
все существа, участвующие в знаковом общении, разумны.
4. Перед Вами две схемы получения вывода А:
1) 6 2) 6 6 А 6 6 6 6 6 А 6 6 6 6
Какая из схем соответствует формуле ((p1vp2vp3vp4)Сq)Сr? Объясните свой
выбор.
Вариант 19.
1. Придумайте истинную интерпретацию для формулы: Аx R(a,x)
2. Восстановите по возможности правильный силлогизм из энтимемы:
Всякое преступление наказуемо, значит шантаж - преступление.
3. Запишите логически стройное, хорошо аргументированное рассуждение по
одной из следующих проблем:
- "Человек стремится к возможно большей пользе".
- "Сотрудничество в деловом мире есть средство взаимного
приспособления".
- "Каждый предпочитает действовать, основываясь на успехе".
4. А.Эндрю, английский ученый-кибернетик, считает, что вся терминология,
используемая в сфере искусственного интеллекта, должна быть "скользящей".
Исходя из данного положения, он дает такое толкование проблем в этой
сфере:
"Искусственный интеллект - это область исследований, направленных на то,
чтобы заставить машины выполнять функции, которые в настоящее время для
них слишком трудны, и особенно такие функции, которые способны выполнять
люди".
"Нельзя уйти от того факта, что вычислительная машина действительно
является послушным исполнителем программы... Предсказуемость поведения
вычислительных устройств сама по себе не исключает наличия у них
"интеллекта" и способности к созданию нового".
Со всеми ли утверждениями А. Эндрю можно согласиться? Обоснуйте свою
позицию.
Вариант 20.
1. Запишите суждения с другими операторами той же модальности:
- Студент обязан знать основные требования, предъявляемые к нему вузом.
- Это случайно, что метеорит упал в Тунгусской тайге.
- Невозможно, чтобы каждый знал, кто открыл на Венере атмосферу.
- Возможно, это простое совпадение.
2. Исследуйте табличным способом форму высказывания:
(p v ;q) С (q м r)
3. Придумайте четыре правильных силлогизма модуса EAE первой фигуры.
4. Доказательство А.Ф. Лосева о Диогене Лаэртском выглядит так:
Допустим, что Диоген Лаэрций придерживается взглядов тех философов, о
которых пишет наиболее подробно (Т - тезис). Тогда он разделяет взгляды
Платона, стоиков, скептиков, эпикурейцев (В), так как именно о них он
пишет наиболее подробно (А). Но названные школы весьма далеки друг от
друга, поэтому Диоген не мог принадлежать ко всем из них (;В). Ясно, что
таким способом нельзя определить мировоззрение Диогена Лаэрция.
Упрощенно это рассуждение можно изобразить в виде схемы:
А, Т В м ;В А ;T
Используя данную схему, смоделируйте доказательство по проблеме свободы
личности.
3. ЛИТЕРАТУРА
Основная:
1. Горлов А. В., Старостенко А. М. Логика. Учебное пособие для
технических университетов. - ОрелГТУ, 1998.
Дополнительная:
2. Бузук Г. Л. Логика и компьютер. - М., 1995.
3. Гетманова А. Д. Логика. - М., 1995.
4. Ивлев Ю. В. Логика. - М., 1992.