В чем состоит ошибка адвоката Воспроизведите рассуждение судьи

Суждении прокурора представляет собой сложное импликативное суждение «Если подсудимый виновен (р), то он имел сообщника (q)»: р→q
Ошибка адвоката состоит в том, что его ответ может толковаться двояко:
- как отрицание того, подсудимый виновен: ¬р
- как отрицание импликативного вывода: ¬(р→q),
т.е. и как внешнее и как внутреннее отрицание.
Судья воспринял реплику адвоката как внешнее отрицание импликации и сделал вывод в соответствии с логическими правилами отрицания сложных суждений: отрицание импликации эквивалентно утверждению основания и отрицанию следствия: (¬(р→q)) ≡ (р˄¬q).
На языке символической логики диалог прокурора, адвоката и судьи можно представить следующим образом:
Прокурор: р→q
Адвокат: ¬(р→q)
Судья: (р˄¬q)→р
Построим таблицы истинности для этих высказываний