Nella logica formale, termine designante il sillogismo in cui la premessa maggiore è certa, mentre la premessa minore è probabile, per cui anche la conclusione è solo probabile