twierdzenie

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.