Prototetyka – jeden z systemów Stanisława Leśniewskiego, będący podstawą dla pozostałych. Jest uogólnionym rachunkiem zdań, a więc rachunkiem zdań z kwantyfikatorami wiążącymi zmienne zdaniowe, funktory zdaniotwórcze od argumentów zdaniowych, funktory od argumentów funktorowych od argumentów zdaniowych itd.[1]
Najkrótszy znany aksjomat prototetyki został podany przez Bolesława Sobocińskiego[2]:
Przypisy
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
