Se usa en la argumentación silogística (que consta de tres proposiciones, la última de las cuales se deduce necesariamente de las otras dos).