Существуют ли толковые сборники упражнений по логике высказываний и предикатов первого порядка на русском языке?

Да, существуют сборники упражнений по логике высказываний и предикатов первого порядка на русском языке. yandex.ru

Некоторые из них:

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