Логика

«Преступление могли совершить или Петров, или Иванов, или Сидоров, но точно известно, что
ни Иванов, ни Сидоров его не совершали, следовательно, преступление совершил Петров».
Данное умозаключение представляет собой:
разделительно-категорическое умозаключение