Afirmacja (logika)

Afirmacja – w logice formalnej stwierdzenie przynależności pomiędzy dwoma pojęciami^[1] (np. "dysk twardy jest urządzeniem przechowującym dane").