Daily Analysis: Modus Tollens

Modus Tollens:

If P, then Q.
¬Q
Therefore, ¬P.

Literally, ‘the denying mode’. A method of inference in propositional logic. May also be termed ‘denying the consequent’.

If Socrates is a God, then he is immortal.
Socrates is not immortal.
.: Socrates is not a God.

In the above sentence- If Socrates is a God, then he is immortal- ‘If Socrates is a God’ is the antecedent and ‘then he is immortal’ is the consequent (not to be confused with consequence).

Advertisements

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com 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 )

Google+ photo

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

Connecting to %s

%d bloggers like this: