Afirmacja (logika)

Afirmacja w logice formalnej

Afirmacja to w logice formalnej oznaczenie przynależności pomiędzy dwoma pojęciami. Przykładem afirmacji może być zdanie: „dysk twardy jest urządzeniem przechowującym dane”.

Przypisy