Три квантора
Автор: Тюрин С.Ф.
Журнал: Вестник Пермского университета. Серия: Математика. Механика. Информатика @vestnik-psu-mmi
Рубрика: Информатика. Информационные системы
Статья в выпуске: 1 (48), 2020 года.
Бесплатный доступ
На занятиях по математической логике правила перестановки кванторов поясняют с использованием интерпретаций на двух двухэлементных множествах. Однако вопрос для большего количества кванторов не исследовался. В статье рассматриваются особенности выражений с одним, двумя и тремя кванторами при максимально возможной из простых интерпретаций - на трех множествах, содержащих по два элемента.
Квантор общности, квантор существования, логическое следование
Короткий адрес: https://sciup.org/147245485
ID: 147245485 | DOI: 10.17072/1993-0550-2020-1-87-91
Список литературы Три квантора
- Верещагин Н.К., Шень А. Математическая логика. URL: https://www.intuit.ru/studies/professional_ski ll_improvements/2162/courses/ 133/lecture/37 23 (дата обращения: 19.12.2019).
- Никольская И.Л. Математическая логика. М.: Высшая школа, 1981. 128 с.
- Морозенко В.В. Дискретная математика: учеб. пособие. Пермь, 2006, 5-79440608-9. 226. Библиогр.: с. 223-224. ISBN: 5-7944-0608-9
- Алябьева В.Г. Математическая логика. Пермь, 2017. 978-5-7944-2904-66. Библиогр.: с. 19-21, 110. ISBN: 97857944290466
- Аляев Ю.А., Тюрин С.Ф. Дискретная математика и математическая логика. М.: Финансы и статистика, 2006. 357 с.
- Тюрин С.Ф., Аляев Ю.А. Дискретная математика: практическая дискретная математика и математическая логика. М.: Финансы и статистика, 2010. 394 с.
- Тюрин С.Ф., Ланцов В.М. Дискретная математика & математическая логика. Пермь: Изд-во ПНИПУ, 2013. 271 с.
