The calculus of equivalent statements. (Second Paper). (Q1552937)

Der Verfasser setzt in diesem Artikel seine Untersuchungen im Gebiete der mathematischen Logik fort. Um die logische Einschliessung zu bezeichnen, verwendet er hier das Divisionszeichen; \(A\):\(B\) heisst: \(A\) schliesst \(B\) ein, und ist gleichbedeutend mit \(A=AB\). Er löst mit Hilfe der sich daraus ergebenden Formeln und Sätze einige logischen Fragen, die schon Boole berührt hatte. Durch eine Bemerkung seines Recensenten in der Mathematical Society veranlasst, führt er im Laufe der Untersuchung noch die neue Bezeichnung: \(A\div B\) für \(A\) schliesst nicht \(B\) ein, welches geichbedeutend ist mit \((A:B)^1\). Es lassen sich so die Syllogismen auf's Einfachste wiedergeben und berechnen. Alle \(X\) sind \(Y\), wird mit \(x:y\), kein \(X\) ist \(Y\) mit \(x:y^1\). Einige \(X\) sind \(Y\), mit \(x\div y^1\) und Einige \(X\) sind nicht \(Y\), mit \(x\div y\) bezeichnet. Zum Schluss löst der Verfasser noch die von Boole gestellte (und durch die Formel \( f(1)f(0)=0 \) erledigte) Eliminationsaufgabe durch die Formeln: \( f(0)\varphi'(0) :x, f(x)\varphi'(1):x' \).