General Inference Rules

Definitions

Argument has three parts: 2 premises, 1 conclusion. Asks for belief.

Inference has 2 parts. Asks for conclusion.

Prove has 1 part, asks for premises.

Analyze Argument asks for soundness.

Harry: offers fact.

Tom: says prove it.

Harry: offers argument.

Tom: validates argument and accepts belief in fact.

Or Tom: invalidates argument and offers counter argument.

Harry: implies fact by offering premises.

Tom: uses premises to infer fact.