Babylonian Talmud, Tractate Sanhedrin

ורבנן האי ונקה המכה מאי דרשי ביה מלמד שחובשין אותו ורבי נחמיה חבישה מנא ליה יליף ממקושש ורבנן נמי לילפי ממקושש מקושש בר קטלא הוא ומשה לא הוה ידע קטליה במאי לאפוקי האי דלא ידעינן אי בר קטלא הוא אי לאו בר קטלא הואורבי נחמיה יליף ממגדף דלא הוה ידע אי בר קטלא הוא וחבשוהו ורבנן מגדף הוראת שעה היתה כדתניא יודע היה משה רבינו שהמקושש במיתה שנאמר מחלליה מות יומת אלא לא היה יודע באיזו מיתה נהרג שנאמר כי לא פורש וגו' אבל מגדף לא נאמר בו אלא לפרש להם על פי ה' שלא היה משה יודע אם הוא בן מיתה כל עיקר אם לאובשלמא לרבי נחמיה היינו דכתיבי תרי אומדני חד אמדוהו למיתה וחיה וחד אמדוהו למיתה והקל ממה שהיה אלא לרבנן תרי אומדני למה לי חד אמדוהו למיתה וחיה וחד אמדוהו לחיים ומת ורבי נחמיה אמדוהו לחיים ומת לא צריך קרא שהרי יצא מבית דין זכאי