# False

THEOREM

False is a left zero element of conjunction.

$$\bot \wedge P \dashv\vdash \bot$$

Proof available

THEOREM

False is a right zero element of conjunction.

$$P \wedge \bot \dashv\vdash \bot$$

Proof available

THEOREM

False is a left identity element of disjunction.

$$\bot \wedge P \dashv\vdash \bot$$

Proof available

THEOREM

False is a right identity element of disjunction.

$$P \wedge \bot \dashv\vdash \bot$$

Proof available