celarent

sɛˈlɑrɛnt

Definitions

1. noun

A syllogism of the form ‘All A are B, no C is B, therefore no C is A’ in logical notation.

“The argument is an example of a celarent syllogism.”