О диаграммах дедуктивного вывода импликативных тавтологийдоклад на конференции