Afirmacja (logika)

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania
Ujednoznacznienie Ten artykuł dotyczy operacji logicznej. Zobacz też: Afirmacja.

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

Przypisy

  1. Encyklopedia PWN - afirmacja. [dostęp 2014-01-06].