Логические структуры: как доказательства и опровержения формируют аргументацию