Predicate Logic

This topic explores the use of formal logic to represent the meaning of sentences.