XXX. Основные знаки и простейшие формулы логистики (для справок).
Strojový překlad z originálu · Zobrazit originál
∙ ∶ ⫶ znaménka nahrazující závorky (v algebře).
p, q, r,... znaky soudu (věta).
a, b, c,... pojmové znaky (třídy).
x, y, z,... znaky jedince.
Ɔ znak inkluze (důsledky pro věty a inkluze pro třídy).
∩ znak logického násobení nebo kompatibility.
∪ znak logického sčítání nebo alternativnosti.
ɜ je znak operátora, který určuje shodu třídy s určitou větou.
ɛ znak operátora, který určuje příslušnost jednotlivce ke třídě (ἐστι).
ι znak jednotkové třídy.
znak jednotlivce patřícího do podílové třídy.
≡ číselný identifikační znak.
Ǝ známka skutečné existence.
R je znak binárního vztahu (mezi dvěma členy).
‚R je znak obráceného vztahu R.
znak relativního násobení vztahů.
znak logického násobení vztahů.
φx. ψx, … znaménka logické funkce.
„Je-li pravdivá inkluze p Ɔ q a je-li pravdivá hypotéza p, pak je pravdivý i výrok q a lze jej tvrdit samostatně“ (VIII). (Princip dedukce).
„V obecném vzorci můžete vždy místo obecného nebo neurčitého výrazu nahradit konkrétní nebo individuální výraz“ (IX). (zásada substituce).
Vzorce (XIV) a (XV) společně definují „zápor“, takže můžeme psát: