Afirmacja (logika)

Ten artykuł dotyczy operacji logicznej. Zobacz też: Afirmacja.

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