so deduction is like a formal proof that uses tautologies to go from one statement to the next... induction is a generalization of sorts, if i understand it correctly. what, then, is abduction?

and what would it be when you prove a statement to be true not by using tautologies, but by drawng out the truth table, and demonstrating by "brute force" that each and every combination results in the statement being true?