Skip to main content

Truth Table: Negation

This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.

State

The table for ~p: when p is T, ~p is F; when p is F, ~p is T.

Show

Two rows. The simplest table in logic.

Watch for

Tables aren't summaries of the connectives — they are the connectives. The table is the definition.