Afirmacja (logika)

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, szukaj

Afirmacja, w logice formalnej, jest to jedyna operacja na zdaniach nie zmieniająca ich wartości, stanowiąca powtórzenie argumentu; symbolem dla oznaczenia afirmacji jest czasem odwrócony znak negacji (nie mylić z asercją).

Osobiste
Przestrzenie nazw

Warianty
Działania
Nawigacja
Dla czytelników
Dla wikipedystów
Narzędzia
Drukuj lub eksportuj
W innych językach