V

As an example, letLbe the language of equality, =. The formula

(v1 = v2 ∧ v2 = v3) → v1 = v3 is valid.

validity See valid.

Venn diagram A schematic device used to verify relations among sets contained within a universal set U .