×

Sur le syllogisme hypothétique dans la logique intuitioniste. (French) JFM 64.0030.01

Es wird gezeigt, daß in der intuitionistischen Logik außer den auch in der klassischen Logik vorkommenden Schlußweisen: \(p\), \(p\to q\); \(q\) und \(p\to q\), \(q\to r\); \(p\to r\) noch die beiden folgenden auftreten: \(\overline{\overline{p}}\), \(\overline{\overline{p\to q}}\); \(\overline{\overline{q}}\) und \(\overline{\overline{p\to q}}\), \(\overline{\overline{q\to r}}\); \(\overline{\overline{p\to r}}\).
PDFBibTeX XMLCite