Can I read Introduction to Predicate Logic Basics on EtoBox?
Introduction to Predicate Logic Basics by Noob Indo is a document available to read on EtoBox.
What is Introduction to Predicate Logic Basics about?
Predicate logic (PL) has three main strengths: 1) arguments valid in English can be represented in PL, 2) there are decision procedures to check validity mechanically, and 3) PL has a proof system. Its main weakness is that it is not expressive enough, as some valid English arguments cannot be represented in PL. For example, the argument that "All men are mortal, Socrates is a man, therefore Socrates is mortal" does not express a valid argument in PL because simple sentences translate to propositional lette
- Author
- Noob Indo
- Language
- EN