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

   ( A ∧ B )   ∴ B

<< Previous

Word Browser

Next >>

clutch
computer graphics
cow tipping
convention on psychotropic substances
cassandra
couplet
charlotte bront
charles williams
celery
cpm
celestines

cessna
czeslaw milosz
carnivore
celt
conductor
claude monet
conectiva
carthage
coprime
control unit
cello

control store
columba
conditional proof
conjunction introduction
commonwealth english
charles mccarry
cimbri
cleveland browns
carbine
cuisine of china
constantin brancusi

claus sluter
cadillac, michigan
cointelpro
cruise missile
crete
cyclades
computer vision
curry
camel
chaldea
currying