A set of inference rules R is called $\_\_\_\_\_\_$ if $\backslash$Delta $|=\backslash$omega implies $\backslash$Delta $|-$ R $\backslash$omega $.$

a$.$

sound

b$.$

nontrivial

c$.$

complete

d$.$

trivial