Afirmacja (logika)
Z Wikipedii, wolnej encyklopedii
Afirmacja, w logice formalnej, jest to jedyna operacja na zdaniach nie zmieniająca ich wartości, stanowiąca powtórzenie argumentu; symbolem dla oznaczenia afirmacji jest czasem odwrócony znak negacji (nie mylić z asercją).
