This is called a non-dependant deduction.
Gelwir hwn yn ddidyniad annibynyddion.