Jan Łukasiewicz ( r. – r.) to polski logik, matematyk, rektor Uniwersytetu Warszawskiego, autor takiej oto definicji rozumowania:
Rozumowaniem nazywam taką czynność umysłu, która na podstawie zdań danych, będących punktem wyjścia rozumowania, szuka zdań innych, będących celem rozumowania, a połączonych z poprzedniemi stosunkiem wynikania.
Łukasiewicz J., Poradnik dla samouków, Warszawa
W tym materiale będziemy prowadzić takie rozumowania, które wymagają znajomości podstawowych wiadomości z teorii liczb. Pomocna będzie umiejętność przekształcania wyrażeń algebraicznych z wykorzystaniem wzorów skróconego mnożenia.
Udowodnisz twierdzenia z teorii liczb.
Rozwiążesz równania z dwiema niewiadomymi w zbiorze liczb całkowitych.
Zastosujesz wzory skróconego mnożenia, przekształcając wyrażenia algebraiczne.
Wykorzystasz rozkład liczby naturalnej na czynniki w dowodzeniu twierdzeń.