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

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

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

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