Einführung in die Logik - Bühler, Axel
Marktplatzangebote
Gebraucht bestellen
3 Angebote ab € 13,00 €
  • Broschiertes Buch

Dieses Lehrbuch geht von der Praxis des Argumentierens in der natürlichen Sprache aus und entwickelt von dort her die formale Logik. Im Mittelpunkt der Darstellung steht die logische Folgerung, also diejenige Beziehung zwischen Aussagen, die das Argumentieren und beweisende Denken ermöglicht. Zunächst werden die Begriffe der aussagenlogischen und prädikatenlogischen Folgerung entwickelt. Dann wird das Baumverfahren von Smullyan und Jeffrey als Folgerungsfeststellungs- oder Ableitungsmethode präsentiert. Abschließend wird bewiesen, daß diese Methode korrekt ist und alle prädikatenlogischen…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
Dieses Lehrbuch geht von der Praxis des Argumentierens in der natürlichen Sprache aus und entwickelt von dort her die formale Logik. Im Mittelpunkt der Darstellung steht die logische Folgerung, also diejenige Beziehung zwischen Aussagen, die das Argumentieren und beweisende Denken ermöglicht. Zunächst werden die Begriffe der aussagenlogischen und prädikatenlogischen Folgerung entwickelt. Dann wird das Baumverfahren von Smullyan und Jeffrey als Folgerungsfeststellungs- oder Ableitungsmethode präsentiert. Abschließend wird bewiesen, daß diese Methode korrekt ist und alle prädikatenlogischen Folgerungen erfasst. Das Buch ist eine ideale Hilfe für jeden Anfänger des Logikstudiums und setzt keine Vorkenntnisse voraus.