Summary: 16 KAPITEL 1. AUSSAGENLOGIK
1.10 Fragment ###: Beweisreduktionen und nor­
male Beweise
1.10.1 Beweisreduktionen
#­Reduktionen. Die Einf˜ uhrung eines logischen Konnektives, unmittelbar
gefolgt von dessen Beseitigung, stellt einen Umweg im Beweis dar, der schema­
tisch entfernt werden kann.
Konjunktion.
· · ·
# # r : A
· · ·
# # s : B
#I
# # (r, s) : A # B
#E 1
# # fst (r, s) : A
-# · · ·
# # r : A
Analog f˜ ur #I gefolgt von #E2
Implikation.

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universität München

Collections: Computer Technologies and Information Sciences