## Want to keep learning?

This content is taken from the University of York's online course, Logic: The Language of Truth. Join the course to learn more.
3.14

# Defining vel (aka 'wedge')

In this video, we see how vel is defined using a truth-table, and in the rest of this step we take a closer look at this connective.

Here’s the official defining truth-table for vel:

• (R4) If ‘α’ and ‘β’ are wffs, then ‘(α $$\vee$$ β)’ is a wff