Correct. Edgar is starting from a set of facts—the existing numbers in the Sudoku, as well as the rules of the game—and making a logical argument about the placement of other numbers in accordance with the existing numbers and the rules. This is deductive reasoning.