Տրամաբանական և տրամաբանամաթեմատիկական համակարգերի արտածումների բարդության բնութագրիչների հետազոտում