Dysjunkcja (Sheffera): Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m lit. |
wikizacja link do |
||
Linia 20:
== 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|aksjomatu]] [[dysjunkcyjny rachunek zdań|dysjunkcyjnego rachunku zdań]].
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.
|