konsekwencja,
log. własność relacji między określonym zdaniem A a pewnym zbiorem zdań X polegająca na tym, iż przy założeniach X można udowodnić A (dowód).
Zgłoś uwagę
konsekwencja
Encyklopedia PWN
zgłoś uwagę