Skip main navigation

Logical properties and logical relationships

In this article, we review our progress and introduce the ideas of logical properties of sentences and logical relationships between sentences.
An abstract pattern of triangles
© University of York

We’ve made significant progress so far.

We’ve expanded our formal logical language to include three connectives (ampersand, tilde, and vel). We’ve seen how we can use truth-tables to specify their meanings, and we’ve also see how we can use truth-tables for a number of other tasks (for example, working out the truth-conditions of logically complex sentences, and comparing the truth-conditions of different sentences).

We’ve also looked in some detail at how we can look at the meaning and structure of claims expressed in English, using our formal language as a tool to spell out meaning clearly or (in some cases) say something more clear and precise than what’s said in the original natural language.

At this point we can look at some logical properties of claims, and at logical relationships between claims, and see how we can investigate these and spell them out using truth-tables.

© University of York
This article is from the free online

Logic: The Language of Truth

Created by
FutureLearn - Learning For Life

Our purpose is to transform access to education.

We offer a diverse selection of courses from leading universities and cultural institutions from around the world. These are delivered one step at a time, and are accessible on mobile, tablet and desktop, so you can fit learning around your life.

We believe learning should be an enjoyable, social experience, so our courses offer the opportunity to discuss what you’re learning with others as you go, helping you make fresh discoveries and form new ideas.
You can unlock new opportunities with unlimited access to hundreds of online short courses for a year by subscribing to our Unlimited package. Build your knowledge with top universities and organisations.

Learn more about how FutureLearn is transforming access to education