Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
16 KAPITEL 1. AUSSAGENLOGIK 1.10 Fragment ###: Beweisreduktionen und nor
 

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