następniki
Encyklopedia PWN
inform. struktura danych mająca postać drzewa (mat.), w którym jest wyróżniony jeden wierzchołek, zwany korzeniem;
sylogizm
log. w logice tradycyjnej schemat wnioskowania pośredniego (w postaci implikacji), złożonego z 2 przesłanek i wynikającej z nich konkluzji, w którym: 1) następnik jest zdaniem łączącym w całość 2 elementy, z których każdy występuje w jednej z przesłanek; 2) poprzednik jest koniunkcją 2 zdań (przesłanek) mających jeden termin wspólny nie występujący w następniku;
[gr.],
dedukcja
log. rozumowanie (wnioskowanie), które posiada cechę niezawodności, tzn. od prawdziwych przesłanek prowadzi do prawdziwych wniosków dzięki zastosowaniu niezawodnej reguły wnioskowania (wnioskowanie);
[łac. deductio ‘wyprowadzenie’],
implikacja
log. zdanie złożone z 2 zdań połączonych spójnikiem: „jeżeli... to... ”, „zawsze... gdy... ” itp.;
[łac. implicatio ‘związanie’, ‘połączenie’],
logika rozmyta, ang. fuzzy logic,
mat. pojęcie stanowiące pewne uogólnienie pojęcia logiki klas. i wprowadzonej 1920 przez Jana Łukasiewicza logiki wielowartościowej (logika).