Logical Implications

logical implications are used as rules of inference. Implications are (tautologies) of propositional logic. They are simple to prove by constructing truth tables for them that show the tautologies. more implication explanations and some simple exercises at the end of that page

Examples of usage:

Law of Excluded Middle: Proof in Tarski’s propositional calculus.

3 no namers – logical implications
Hypothetical Syllogism – a logical implication
Disjunctive Syllogism – a logical implication
Simplification – a logical implication
Addition – a logical implication
Modus tollens – a logical implication
Modus ponens – a logical implication
Logical Implications


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s