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|aksjomatu]]u [[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.
Linia 55:
 
== Linki zewnętrzne ==
* [http[s://en.wikisource.org/wiki/A_Reduction_in_the_number_of_the_Primitive_Propositions_of_Logic:A Reduction in the number of the Primitive Propositions of Logic|Artykuł Nicoda ''A Reduction in the number of the Primitive Propositions of Logic'' w Wikisource]]
 
{{Logika matematyczna}}
 
[[Kategoria:Funkcje boolowskie]]