Примеры логики первого порядка: наглядные схемы