Matematika

středná dvou kružnic

středná kuželové plochy

matematika, těžiště rozložení pravděpodobností náhodné veličiny

neorientovaný souvislý graf

počet všech hran incidentních s tímto uzlem

subdeterminant r-tého stupně, determinant vytvořený z daného determinantu n-tého stupně

logika, subduktivní závěr

matice vytvořená z dané matice vynecháním některých sloupců a řádků

matematika, zavedení jiných proměnných do matematického výrazu

logika, nahrazení nějakého pojmu jiným pojmem

funkce reálné proměnné

zadní člen implikace „jestliže p, pak q“

funkce množiny na systému množin

logika, forma použití termínů ve výrocích

logika, důkaz v systémech přirozené dedukce