Three quantifiers

Бесплатный доступ

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

Другой