Да, существуют сборники упражнений по логике высказываний и предикатов первого порядка на русском языке. yandex.ru
Некоторые из них:
«Логика: Сборник задач», составители: Гомбоева Л. В., Кузьмин А. В. (Улан-Удэ, 2004). yandex.ru В сборнике есть задачи, в том числе по логике высказываний и предикатов первого порядка. yandex.ru
«Упражнения по логике», авторы: В. И. Кириллов, Г. А. Орлов, Н. И. Фокина (под ред. В. И. Кириллова) (Москва, 2007). dso.college-balabanovo.ru Сборник включает логические упражнения, выполнение которых поможет студентам в активном усвоении курса и повышении культуры мышления. dso.college-balabanovo.ru
«Логика: Практикум», авторы: В. Ф. Берков, И. И. Терлюкевич (Минск, 2003). vitmissiya.by В книге приведены задачи и упражнения, выполнение которых способствует усвоению теоретических положений логики и приобретению практических навыков правильных рассуждений, уточнения формулировок, логического анализа учебных, научных и прочих текстов. vitmissiya.by
Ответ сформирован YandexGPT на основе текстов выбранных сайтов. В нём могут быть неточности.
Примеры полезных ответов Нейро на вопросы из разных сфер. Вопросы сгенерированы нейросетью YandexGPT для актуальных тем, которые определяются на базе обобщённых запросов к Нейро.