XXX. Основные знаки и простейшие формулы логистики (для справок).
Përkthim automatik nga origjinali · Shfaq origjinalin
Shenjat ∙ ∶ ⫶ që zëvendësojnë kllapat (në algjebër).
p, q, r,... shenjat e gjykimit (fjalisë).
a, b, c,... shenja (klasa) koncepti.
x, y, z,... shenjat e një individi.
Ɔ shenja e përfshirjes (nënkuptime për fjali dhe përfshirje për klasa).
∩ shenjë e shumëzimit ose përputhshmërisë logjike.
∪ shenjë e shtimit ose alternativës logjike.
ɜ është një shenjë operatori që përcakton korrespondencën e një klase me një fjali të caktuar.
Shenja ɛ e operatorit që përcakton përkatësinë e individit në një klasë (ἐστι).
ι shenjë e një klase njësi.
shenjë e një individi që i përket një klase njësi.
≡ shenja numerike e identitetit.
Ǝ një shenjë e ekzistencës reale.
R është një shenjë e lidhjes binare (ndërmjet dy termave).
R është shenja e relacionit të kundërt R.
shenjë e shumëzimit relativ të marrëdhënieve.
shenjë e shumëzimit logjik të marrëdhënieve.
φx. ψx, … shenjat e një funksioni logjik.
"Nëse përfshirja p Ɔ q është e vërtetë dhe nëse hipoteza p është e vërtetë, atëherë pohimi q është gjithashtu i vërtetë dhe mund të pohohet veçmas" (VIII). (Parimi i deduksionit).
"Në një formulë të përgjithshme, gjithmonë mund të zëvendësoni një term të veçantë ose individual në vend të një termi të përgjithshëm ose të pacaktuar" (IX). (Parimi i zëvendësimit).
Formulat (XIV) dhe (XV) së bashku përcaktojnë "negative", kështu që ne mund të shkruajmë: