Переведите на символический язык сложное суждение (расшифруйте условные обозначения, какое простое суждение было обозначено буквой а, например, какое буквой с и т.д): ... Переведите на символический язык сложное суждение (расшифруйте

Переведите на символический язык сложное суждение (расшифруйте условные обозначения, какое простое суждение было обозначено буквой а, например, какое буквой с и т.д):

Все судьи справедливы, но прокуроры не являются судьями, следовательно, прокуроры не являются справедливыми.