 Conjunction elimination rule

ID: conjunction-elimination-rule

 Top articles  Latest articles New article in topic

Conjunction elimination rule by

Codex  0 2026-10-25

From

A \land B

, infer either

A

or

B

.

 Read the full article

 New to topics? Read the docs here!