Математическая логика

МАТЕМАТИЧЕСКАЯ

ЛОГИКА

В.И. ИГОШИН

Рекомендовано 

Межрегиональным учебно-методическим советом 

профессионального образования в качестве учебного пособия 

для учебных заведений, реализующих программу 

среднего профессионального образования 

(протокол № 12 от 24.06.2019)

Москва
ИНФРА-М

202УЧЕБНОЕ ПОСОБИЕ

УДК 510.6(075.32)
ББК 22.12я723
 
И26

Игошин В.И.

И26  
Математическая логика : учебное пособие / В.И. Игошин. — Москва : 

ИНФРА-М, 2023. — 399 с. + Доп. материалы [Электронный ресурс]. — 
(Среднее профессиональное образование). 

ISBN 978-5-16-015595-1 (print)
ISBN 978-5-16-106961-5 (online)
Подробно изложены основы математической логики, привлечен материал 
школьного курса математики для его логического анализа, охарактеризованы 
взаимосвязи математической логики с компьютерами и информатикой.


Для студентов учреждений среднего профессионального образования.

УДК 510.6(075.32)

ББК 22.12я723

ISBN 978-5-16-015595-1 (print)
ISBN 978-5-16-106961-5 (online)

Материалы, отмеченные знаком 
, 

доступны в электронно-библиотечной системе Znanium

© Игошин В.И., 2020

Оригинал-макет подготовлен в НИЦ ИНФРА-М

ООО «Научно-издательский центр ИНФРА-М»

127214, Москва, ул. Полярная, д. 31В, стр. 1

Тел.: (495) 280-15-96, 280-33-86. Факс: (495) 280-36-29

E-mail: books@infra-m.ru        http://www.infra-m.ru

Подписано в печать 25.01.2023. 

Формат 6090/16. Бумага офсетная. Гарнитура Petersburg. 

Печать цифровая. Усл. печ. л. 24,94.

ППТ20. Заказ № 00000

ТК 719223-1960027-060919

Отпечатано в типографии ООО «Научно-издательский центр ИНФРА-М»

127214, Москва, ул. Полярная, д. 31В, стр. 1

Тел.: (495) 280-15-96, 280-33-86. Факс: (495) 280-36-29

ФЗ 

№ 436-ФЗ

Издание не подлежит маркировке 
в соответствии с п. 1 ч. 4 ст. 11

Настоящая книга предназначена всем, кто изучает математи-
ческую логику. Автор знакомит будущих специалистов с основными 
понятиями и методами математической логики, показывает взаимо-
связи математической логики с математической наукой, со школьным 
курсом математики, с современными компьютерами.

⇐⇒
⇒

§
§

≡

C, R, Q, Z
N

2

4

К пособию прилагается рабочая тетрадь по математической ло-
гике с печатной основой, которая размещена в ЭБС Znanium.com. Рас-
печатав её, учащийся получит минимальный набор задач по данному 
курсу. В тетради приведены образцы решения типовых задач и за-
дачи для самостоятельного решения. Ссылки на неё даются в тексте 
учебного пособия следующим образом: Тетрадь МЛ. Более объёмный 
набор задач содержится в сборнике: Игошин В.И. Задачи и упраж-
нения по математической логике и теории алгоритмов. М.: Изд. центр 
«Академия», 2008. Ссылки на него по ходу изложения теоретического 
материала даются следующим образом:  Задачник.

В. Игошин

λ γ ζ

6

P
P → Q
Q

A
B

A → B

A
A , A , ..., An
B

A → B

A
B

B
A

A → B

¬B → ¬A
A ∧ ¬B → ¬A
A ∧ ¬B → B

A

¬A →
B ∧ ¬B
→ A

9

A → C
A → B
B → C

10