Question 13234.

Die von MacColl gestellte Aufgabe lautet: Die folgenden Formeln der symbolischen Logik zu beweisen: 1) \(\alpha^x\beta^x = (\alpha\beta)^x\), 2) \(\alpha^x\alpha^y = \alpha^{x+y}\), 3) \((\alpha^x)^y = \alpha^{xy}\), 4) \(\frac x{\alpha} \cdot \frac y{\alpha} = \frac{x+y}{\alpha}\), 5) \(\frac{\alpha}x \cdot \frac{\alpha}y : \frac{\alpha}{xy}\), 6) \(\frac{\alpha}{xy} = \alpha_{xy}\left(\frac{\alpha}x + \frac{\alpha}y \right)\). --- Definition: Das Symbol \(\alpha^x\) steht abgekürzt für \(\alpha + x'\) und sagt aus, dass entweder \(\alpha\) richtig oder \(x\) falsch ist, vielleicht beides. Das Symbol \(\alpha\beta\) (oder \(\alpha\cdot\beta\)) bedeutet die Wahrheit sowohl von \(\alpha\) als auch von \(\beta\). Das Symbol \(\alpha : \beta\) (oder \(\alpha_{\beta}\)) sagt aus, dass immer, wenn \(\alpha\) wahr ist, \(\beta\) wahr ist. Das Bruchsymbol \(\alpha/\beta\) steht kurz für \(\alpha_{\beta}\) \((\alpha'_{\beta})'\); es sagt aus, was \(\alpha_{\beta}\) aussagt und auch, dass \(\beta\) nicht immer wahr ist, wenn \(\alpha\) nicht wahr ist.

This page was built for publication: Question 13234.

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