Dysjunkcja (Sheffera): Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
interwiki. pl, de raczej strzałka Sheffera niż bramka NAND. |
WP:SK, usunięto szablon |
||
Linia 22:
== Wybrane własności ==
Funktor dysjunkcji posiada pewne własności interesujące ze względu na ekonomię zapisu: prócz [[binegacja|binegacji]] jest jedynym funktorem, za pomocą którego można zdefiniować wszystkie inne; ponadto jest jedynym funktorem jedynego [[aksjomat
Twierdzenie, że za pomocą funktora dysjunkcji zdefiniować można wszystkie pozostałe, pochodzi od logika [[Henry Sheffer|Henry'ego Sheffera]], który opublikował je w 1913 w artykule ''A Set of Five Independent Postulates for Boolean Algebras, with Application to Logical Constants''. Wcześniej na ten pomysł wpadł [[Charles Sanders Peirce|Charles Peirce]] (artykuł ''A Boolean Algebra with One Constant'' z 1880), lecz nie został on dostrzeżony. W 1925 [[Eustachy Żyliński]] udowodnił, że nie istnieje żaden inny niż binegacja i dysjunkcja funktor rachunku zdań, za pomocą którego zdefiniować można wszystkie pozostałe.
Linia 55:
== Linki zewnętrzne ==
* [
[[Kategoria:Funkcje boolowskie]]
|