To samo twierdzenie z rozbiciem na założenia i tezę wyglądałoby następująco: założenie – dla każdego należącego do zbioru liczb naturalnych i podzielnego przez sześć, teza – jest podzielne przez trzy.
W założeniach twierdzenia bardzo często występują kwantyfikatory, czyli określenia postaci „dla każdego z danych elementów zbioru ...” lub „istnieje taki element zbioru, że ...”, jednak znane są także twierdzenia, które da się sformułować bez kwantyfikatorów, stąd występowanie ich nie jest koniecznym warunkiem przyjęcia danej wypowiedzi za twierdzenie.
Zobacz też
automatyczne dowodzenie twierdzeń rodzaje twierdzeń naukowych twierdzenie odwrotne do danego twierdzenia twierdzenie przeciwne do danego twierdzenia twierdzenie przeciwstawne do danego twierdzenia uzasadnianie twierdzeń naukowych
Przypisy
Linki zewnętrzne "Jakie twierdzenia matematyczne są ważne?" (Delta, 1/1983) – Obszerny artykuł o twierdzeniach matematycznych
Kategoria:Logika matematyczna