dedukcyjnych

Encyklopedia PWN

Słupecki Jerzy, ur. 29 I 1904, Charbin, zm. 15 I 1987, Wrocław,

logik;

Sobociński Bolesław, ur. 28 VI 1906, Petersburg, zm. 31 X 1980, South Bend,

logik;

[gr. theṓrēma ‘teza wymagająca dowodu’],

log. twierdzenie pochodne, występujące w obrębie systemu dedukcyjnego, wyprowadzone za pomocą wnioskowania dedukcyjnego z aksjomatów tego systemu.

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;

[gr. axíōma < axióō ‘cenię wysoko’, ‘przyjmuję za wiarygodne’, ‘wierzę’],

pewnik,

log. takie twierdzenie danej teorii dedukcyjnej, które zostało przyjęte bez dowodu i stanowi podstawę dowodów innych twierdzeń;

[alę̣ z lil],

Alanus de Insulis, ur. ok. 1128, Lille, zm. ok. 1203, Cîteaux,

francuski filozof, teolog, poeta, cysters;

Materiały dodatkowe