Элементы математической логики

Дизъюнкцию одноместных высказывательных форм А(х) и В(х), заданных на множестве Х, обозначают А(х) ∨ В(х), Это предложение будет обращаться в истинное высказывание при тех и только тех значениях х из области определения Х, при которых обращается в истинное высказывание хотя бы одна из высказывательных форм, т.е.Т А∨В = ТА ∪ ТВ.

Таким образом, поставленные задачи решены, цель достигнута, гипотеза подтвердилась.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Список использованных источников

 

Монографии, учебники, учебные пособия, журналы (печатные)

 

1. Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика. - М.: Финансы и статистика, 2011. - 368 с.
2. Выгодский М.Я. Справочник по элементарной математике. - М.: КомКнига, 2010. – 514 с.
3. Колмогоров А.Н., Драгалин А.Г. Математическая логика. Изд. 3-е, стереотипное. - М.: КомКнига, 2010. – 240 с.
4. Соломоник, В.С., Милов П.М. Сборник вопросов и задач по математике. - М., 2010. – 246 с.
5. Стойлова, Л. П. Математика :учебник для вузов/Л. П. Стойлова.-М.:Академия,2009.-431с.
6. Стойлова Л.П., Пышкало А.М. Основы начального курса математики-М. просвещение, 2009.- 320с.
7. Пехлецкий И.Д. Математика: Учебник 2-е изд. стереотип- М.: Ихдательский центр «Академия»; Мастерство, 2012 – 302 с.
8. Пышкало А.М., Стойлова Л.П. Сборник задач по математике. Пособие для педучилищ. - М.: Просвещение, 2011. - 297 с.
9. Чесноков А. С., Немков К. И. Дидактические материалы по матиматике для 5 класса. – М.: Классика Стиль-М, 2010. – 144 с.
10. Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики. - 2-е изд. - М.: ФИЗМАТЛИТ, 2011. - 128 с.

 

 

 

 

 

 

 

Глоссарий

 

№	Понятие	Определение
1.	Высказывание	— в логике, предложение, которое может быть истинно или ложно
2.	Дизъюнкция	— (лат. disjunctio - разобщение) логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу»
3.	Коньюнкция	— логическая операция, по смыслу максимально приближенная к союзу «и»
4.	Математическая логика	— раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики

 

1 Колмогоров А.Н., Драгалин А.Г. Математическая логика. Изд. 3-е, стереотипное. -- М.: КомКнига, 2010. 240 с.

2 Стойлова, Л. П. Математика :учебник для вузов/Л. П. Стойлова.-М.:Академия,2009.-431с.

3 Стойлова Л.П., Пышкало А.М. Основы начального курса математики-М. просвещение, 1988.- 320с.

 

4 Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика. -- М.: Финансы и статистика, 2011. С. 201

5 Выгодский М.Я. Справочник по элементарной математике. - М.: КомКнига, 2010. С. 320

6 Колмогоров А.Н., Драгалин А.Г. Математическая логика. Изд. 3-е, стереотипное. - М.: КомКнига, 2010. С. 111

7 Соломоник, В.С., Милов П.М. Сборник вопросов и задач по математике. - М., 2010.С. 91

8 Стойлова, Л. П. Математика :учебник для вузов/Л. П. Стойлова.-М.:Академия,2009.С. 311

 

9 Стойлова Л.П., Пышкало А.М. Основы начального курса математики-М. просвещение, 2009.С. 231

 

10 Пехлецкий И.Д. Математика: Учебник 2-е изд. стереотип- М.: Ихдательский центр «Академия»; Мастерство, 2012. С. 211

 

11 Пехлецкий И.Д. Математика: Учебник 2-е изд. стереотип- М.: Ихдательский центр «Академия»; Мастерство, 2012. С. 211

 

12 Пышкало А.М., Стойлова Л.П. Сборник задач по математике. Пособие для педучилищ. - М.: Просвещение, 2011. С. 188

 

13 Чесноков  А. С., Немков К. И. Дидактические материалы по матиматике для 5 класса. – М.: Классика Стиль-М, 2010. С. 78

 

14 Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики. - 2-е изд. - М.: ФИЗМАТЛИТ, 2011. С. 87