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