I hated this book and I loved it. I think about this book the same way I think about some of my ex-boyfriends. Our relationship is very complicated. It started out wonderful. But then towards the end, he started to make me hate him and I had to end it. But the memories are mostly fond ones, and I'll always keep him on my shelf.
Benson Mates erläutert Aussagen- und Prädikatenlogik anhand von Regelkalkülen (Kalküle des natürlichen Schließens). Es gibt viele Beweise einzelner Tautologien, die formal sehr schön ausgehend von Prämissen oder Hilfsannahmen die einzelnen geschlossenen Formeln, mit den Prämissen zusammen auf einer Art von Linien anführen. Ein Beweis ist dann somit eine endliche Folge von Linien, auf denen einzelne Formeln stehen und jede Linie besitz eine Prämissenmenge, welche andeutet, wovon die Formel auf der Linie abhängt. Die letzte Linie hängt dann entweder von allen Prämissen ab, oder im Falle einer Tautologie von der leeren Menge. Auf jeder Linie werden ferner die angewendeten Schlussregeln angegeben.
I received one of my lowest grades, a B-, in the logic class using this textbook. The demanding level of rigor took my all and I take more pride in that B- than nearly all of the A's received in other classes. This textbook was a key part of the journey & taught me how to read with diligence and attention.