# True

THEOREM

True is a left identity element of conjunction.

$$\top \wedge P \dashv\vdash P$$

Proof available

THEOREM

True is a right identity element of conjunction.

$$P \wedge \top \dashv\vdash P$$

Proof available

THEOREM

True is a left zero element of disjunction.

$$\top \vee P \dashv\vdash \top$$

Proof available

THEOREM

True is a right zero element of disjunction.

$$P \vee \top \dashv\vdash \top$$

Proof available