Three quantifiers
Автор: Tyurin S.F.
Журнал: Вестник Пермского университета. Серия: Математика. Механика. Информатика @vestnik-psu-mmi
Рубрика: Информатика. Информационные системы
Статья в выпуске: 1 (48), 2020 года.
Бесплатный доступ
In mathematical logic classes, the rules for alteration of quantifiers are explained using interpretations on two two-element sets. The problem is not addressed with regard to a bigger number of quantifiers. The article discusses the features of expressions with one, two and three quantifiers with the maximum possible of simple interpretations - on three sets containing two elements each.
Generality quantifier, existential quantifier, logical implication
Короткий адрес: https://sciup.org/147245485
ID: 147245485 | DOI: 10.17072/1993-0550-2020-1-87-91