Reasoning that proceeds from general theories to specific cases is referred to as

Reasoning that proceeds from general theories to specific cases is referred to as "deductive logic".

Deductive logic is also known as deductive reasoning or logical deduction. It refers to the way toward thinking from at least one explanations to come to a legitimately certain conclusion.
Deductive logic goes an indistinguishable way from that of the conditionals, and connections premises with conclusions. On the off chance that all premises are valid, the terms are clear, and the guidelines of deductive logic are taken after, at that point the conclusion came to is fundamentally valid.

Ithink it's a, but i might be wrong