link Source:
list 8 sequences
assignment Level : Intermediate
chat_bubble_outline Language : English
card_giftcard 480 points
Users' reviews
0 reviews

Key Information

credit_card Free access
verified_user Free certificate
timer 48 hours in total

About the content

This is an introduction to predicate logic and how it is applied in computer science, electronic engineering, linguistics, mathematics and philosophy. Building on your knowledge of propositional logic, you will learn predicate logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.

more_horiz Read more
more_horiz Read less


Week 1The Syntax of Predicate LogicTranslations using quantifiers

Week 2Models for Predicate Logic; Classifying propositions and argumentsFinite and Infinite Domains

Week 3Tree Proofs for Predicate LogicSoundness and Completeness

Week 4. Identity; Functions; Counting 

Weeks 5–8. Applications to different reasoning domains (take at least three):
  • Electronic Engineering — simplifying digital circuits with timing
  • Philosophy — definite descriptions and existence
  • Computer Science — databases, resolution and Prolog
  • Linguistics — quantificational scope
  • Mathematics — limits, continuity and quantifier alternation


  • - Historical and Philosophical Studies
  • Jen Davoren - Department of Electrical & Electronic Engineering

Content Designer

The University of Melbourne
The University of Melbourne is an internationally recognised research intensive University with a strong tradition of excellence in teaching, research, and community engagement. Established in 1853, it is Australia's second oldest University.



Coursera is a digital company offering massive open online course founded by computer teachers Andrew Ng and Daphne Koller Stanford University, located in Mountain View, California. 

Coursera works with top universities and organizations to make some of their courses available online, and offers courses in many subjects, including: physics, engineering, humanities, medicine, biology, social sciences, mathematics, business, computer science, digital marketing, data science, and other subjects.

You are the designer of this MOOC?
What is your opinion on this resource ?