Science  People  Locations  Timeline
Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Home > Conjunction elimination


 

In logic, conjunction elimination is the inference that, if the conjunction A and B is true, then A is true, and B is true.

For instance, if it's true that it's raining, and I'm inside, then one may assert either term of the conjunction alone: it's raining, or I'm inside.

Formally:

( A ∧ B ) ∴ A

or

( A ∧ B ) ∴ B

Read more »

Non User