Выразите в символической форме структуру рассуждения и табличным способом установите его правильность (является ли оно логическим законом): Когда используется дополнительное расследование,

Выразите в символической форме структуру рассуждения и табличным способом установите его правильность (является ли оно логическим законом):

Когда   используется   дополнительное   расследование, то процветает коррупция среди следователей, однако процветания коррупции среди следователей не наблюдается, следовательно, дополнительного расследования нет.