twierdzenie
 
Encyklopedia PWN
twierdzenie,
log. wszelkie zdanie złożone z 2 członów, z których pierwszy jest założeniem, drugi zaś tezą, występujące najczęściej w postaci implikacji;
w znaczeniu ścisłym — teza teorii, wyprowadzona za pomocą określonych przekształceń z przyjętych w danej teorii aksjomatów, zw. twierdzeniami pierwotnymi, w odróżnieniu od wywiedzionych z nich twierdzeń pochodnych; tak zbudowane twierdzenia logiki, odgrywające role przesłanek, wniosków i zasad wnioskowania, mają doniosłe znaczenie metodol., pozwalające na ocenę poprawności strukturalnej systemów dedukcyjnych; pot. zdanie oznajmujące wygłaszane z dużym przekonaniem o jego prawdziwości.
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia