The Essence of Logic by John Kelly offers a succinct yet comprehensive introduction to formal logic, designed specifically for undergraduate students. Written in clear, accessible language, the book guides readers through fundamental concepts with minimal prerequisites in mathematical reasoning. Through a well-structured approach, it builds a solid foundation in Boolean algebra, logical propositions, and truth tables. Expanding on the basics, the text delves into the intricacies of propositional logic using methods such as semantic tableaux, natural deduction, and the sequent calculus. The exploration of formal axiomatic systems is accompanied by discussions on soundness, completeness, and consistency, paving the way to a deeper understanding of resolution techniques. The later chapters revisit these ideas in the context of First Order Predicate Logic, highlighting its relevance and application in computer science.
Studiesalg.dk er en markedsplads hvor studerende i hele landet kan handle direkte med
hinanden.
Vores betalingsystem sikrer, at du både som køber og sælger er beskyttet, i alt lige fra
betaling, forsendelse og godkendelse af bøgerne.
Vi kræver MitID verificering af både sælger og køber. Dette er med til at sikre begge parter en god oplevelse og undgå svindel af enhver art.
Betal online med MobilePay. Vi opbevarer betalingen, og udbetaler først pengene til sælger når bøgerne er leveret og godkendt.
Sælg nemt dine bøger videre når du ikke længere har brug for dem. Med vores web-app er det nemt at scanne stregkoder og tage billeder af dine bøger.