Home
/ Politics & Society / Social Issues / Logic: The Language of Truth / Logical equivalence: wedge–arrow
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)’.
