XXX. Основные знаки и простейшие формулы логистики (для справок).
Strojový preklad z originálu · Zobraziť originál
∙ ∶ ⫶ znamienka nahrádzajúce zátvorky (v algebre).
p, q, r,... znaky úsudku (vety).
a, b, c,... pojmové znaky (triedy).
x, y, z,... znaky jednotlivca.
Ɔ znak inklúzie (dôsledky pre vety a zaradenie do tried).
∩ znak logického násobenia alebo kompatibility.
∪ znak logického sčítania alebo alternatívy.
ɜ je znak operátora, ktorý určuje zhodu triedy s určitou vetou.
ɛ znak operátora, ktorý potvrdzuje príslušnosť jednotlivca k triede (ἐστι).
ι znak jednotkovej triedy.
znak jednotlivca, ktorý patrí do podielovej triedy.
≡ číselný identifikačný znak.
Ǝ znak skutočnej existencie.
R je znak binárneho vzťahu (medzi dvoma členmi).
„R je znak reverzného vzťahu R.
znak relatívneho znásobenia vzťahov.
znak logického znásobenia vzťahov.
φx. ψx, … znaky logickej funkcie.
„Ak je pravdivá inklúzia p Ɔ q a ak je pravdivá hypotéza p, potom je pravdivý aj výrok q a možno ho tvrdiť samostatne“ (VIII). (Princíp odpočtu).
„Vo všeobecnom vzorci môžete vždy namiesto všeobecného alebo neurčitého výrazu nahradiť konkrétny alebo individuálny výraz“ (IX). (zásada substitúcie).
Vzorce (XIV) a (XV) spolu definujú „zápor“, takže môžeme písať: