Z Wikipedii

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ą).