Aussagenlogische Kalküle (PDF) - GWDG
Aussagenlogische Kalküle (PDF) - GWDG
Aussagenlogische Kalküle (PDF) - GWDG
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Sequenzenkalkül<br />
- Sequenzenkalküle spielen eine wichtige Rolle in<br />
der Beweistheorie<br />
- gehen zurück auf G. Gentzen 1935<br />
- haben nichts mit "Folgen" zu tun<br />
(engl.: sequent, nicht sequence)<br />
Definition:<br />
48