Skip navigation

Bookboon.com Download free eBooks and textbooks

Choose a category

A Short Course in Predicate Logic

A Short Course in Predicate Logic
Not enough reviews yet
ISBN: 978-87-403-0795-5
1 edition
Pages : 180
  • Price: 129.00 kr
  • Price: €13.99
  • Price: £13.99
  • Price: ₹250
  • Price: $13.99
  • Price: 129.00 kr
  • Price: 129.00 kr

Download for FREE in 4 easy steps...

We are terribly sorry, but in order to download our books or watch our videos, you will need a browser that allows JavaScript.
After entering your email address, a confirmation email will be sent to your inbox. Please approve this email to receive our weekly eBook update. We will not share your personal information with any third party.
eLib
Unlock your organization's learning potential
See Demo

Corporate eLibrary

Discover our employee learning solutions

This is a Premium eBook

Bookboon Premium - Gain access to over 800 eBooks - without ads

You can get free access for a month to this - and 800 other books with the Premium Subscription. You can also buy the book below

  • Start a 30-day free trial. After trial: 39.99 kr p/m
  • Start a 30-day free trial. After trial: €5.99 p/m
  • Start a 30-day free trial. After trial: £4.99 p/m
  • Start a 30-day free trial. After trial: ₹299 p/m
  • Start a 30-day free trial. After trial: $3.99 p/m
  • Start a 30-day free trial. After trial: 39.99 kr p/m
  • Start a 30-day free trial. After trial: 39.99 kr p/m
eLib
Unlock your organization's learning potential
Click here!

Corporate eLibrary

Discover our employee learning solutions

About the book

  1. Description
  2. Content

Description

In my experience students often struggle to understand Predicate Logic: they drown in the complicated notation; they do not understand the difference between syntax and semantics, proof and truth; they do not appreciate the importance of logic within mathematics and formal methods in general. This book was written specifically to address these issues, at the same time presenting a full and rigorous treatment of the subject requiring only basic mathematics.

The presentation is based on a course for final year undergraduate students of mathematics, computer science and philosophy supplemented with additional material for masters students. Numerous problems, together with detailed solutions, are provided to consolidate the students' understanding.

Content

  1. Introduction
  2. Motivation
  3. Formal Languages, Formulae and Sentences
  4. Truth
  5. Logical Consequence
  6. The Prenex Normal Form Theorem
  7. Formal Proofs
  8. The Completeness and Compactness Theorems
  9. Adding Constants and Functions
  10. Herbrand’s Theorem
  11. Equality
  12. Exercises
  13. Solutions to the Exercises
  14. Appendix
This website uses cookies to improve user experience. By using our website you consent to all cookies in accordance with EU regulation.