FutureLearn uses cookies to enhance your experience of the website. All but strictly necessary cookies are currently disabled for this browser. Turn on JavaScript to exercise your cookie preferences for all non-essential cookies. You can read FutureLearn's Cookie policy here.

Learn more about this course.

Logical equivalence: wedge–arrow

In this video, York student Joseph proves the logical equivalence of '(P arrow Q)' and '(tilde P vel Q)' using a truth-table.

This video shows a truth-table proof of the Wedge–Arrow Law. This law says that ‘(P (rightarrow) Q)’ is logically equivalent to ‘(~P (vee) Q)’.

Want to keep learning?

This content is taken from University of York online course

Logic: The Language of Truth

See other articles from this course

This article is from the free online

Logic: The Language of Truth

Created by

Join Now

Reach your personal and professional goals

Unlock access to hundreds of expert online courses and degrees from top universities and educators to gain accredited qualifications and professional CV-building certificates.

Join over 18 million learners to launch, switch or build upon your career, all at your own pace, across a wide range of topic areas.

Start Learning now