Relación asimétrica que se da entre dos proposiciones p y q cuando de la verdad de p se deduce necesariamente la verdad de q.