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").
Przypisy
edytuj- ↑ afirmacja, [w:] Encyklopedia PWN [dostęp 2014-01-06] .
![]() |
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").