Intuitively, it permits the inference from any conjunction of either element of that conjunction.

: and .
:Therefore, .

...or alternatively,

: and .
:Therefore, .

In logical operator notation:
:
:

...or alternatively,

:
:

Negation

Definition

A conjunction is proven false by establishing either or . In terms of the object language, this reads

This formula can be seen as a special