Krishmachandra De. Question 13288.

MaRDI QIDQ1516531zbMATH OpenFDO

Authors H. MacColl, H. W. Curjel

Publication date 1897

Review text

Die folgenden von MacColl aufgestellten Formeln der symbolischen Logik werden bewiesen: 1) \((\alpha + \beta)_x : \alpha_x + \beta_x : (\alpha\beta)_x\), 2) \(x_{\alpha\beta} : x_{\alpha} + x_{\beta} : x_{\alpha+\beta}\), 3) \((\alpha + \beta)_{0x} = \alpha_{0x} + \beta_{0x}\), 4) \(x_{\alpha}x_{0\beta} = \alpha_{0\beta}\), 5) \(x/\alpha \cdot x/0\beta : \alpha/0\beta\), 6) \(\alpha/\beta = \alpha_{\beta}\varepsilon_{0\beta}\), 7) \(\alpha_{\beta} = (\varepsilon : \beta^{\alpha}\). Hier steht \(A:B:C\) kurz für \((A:B)\;(B:C)\); \(\alpha_{0\beta}\) ist die Verneinung von \(\alpha_{\beta}\); \(\alpha/0\beta\) ist die Verneinung von \(\alpha/\beta\); das Symbol \(\varepsilon\) bezeichnet das Urteil stets wahr, so dass \(\varepsilon_{\alpha}\) aussagt, dass \(\alpha\) immer wahr ist, und \(\varepsilon_{0\alpha}\) sagt aus, dass \(\alpha\) nicht immer wahr ist.

This page was built for publication: Krishmachandra De. Question 13288.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1516531)