Categorical.

The case of A being B is the case of A not being C

In this case A is B

∴ A is not C

(2) Disjunctive.

The defendant is either guilty or innocent;

He is not innocent,

∴ He is guilty.

Hypothetical.

If the defendant is guilty, then he is not innocent;