Modus Ponens & Modus Tollens, With Examples

Updated on May 21, 2018
1701TheOriginal profile image

Leonard Kelley holds a bachelor's in physics with a minor in mathematics. He loves the academic world and strives to constantly explore it.


Basic Notation

In symbolic logic, modus ponens and modus tollens are two tools used to make conclusions of arguments as well as sets of arguments. We start off with an antecedent, commonly symbolized as the letter p, which is our "if" statement. Based off the antecedent, we expect a consequent from it, commonly symbolized as the letter q, which is our "then" statement. For example,

"If the sky is blue, then it is not raining."

Is an argument. "The sky is blue" is our antecedent, while "it is not raining" is our consequent. We can symbolize this argument as

p ---> q

Which is read as "if p, then q." A ~ in front of a letter means that the statement is false or negated. So if the statement is ~p, that reads as, "The sky is not blue."

Modus Ponens

With this technique, we start off with our argument as a true statement. That is,

p ---> q

is given. We hold it to be true. Now, if we find that p is a true statement, what can we say about q? Since we know that p implies q, if p is true, then we know that q is true also. This is Modens Ponens (MP), and though it may seem straight-forward, it is often mis-used.

For example, if p ---> q and we know that q is true, does that mean p is true also? If it is not raining, then is the sky blue? It could be, but the sky could also be cloudy. Thus, while p could indeed be true in this case, it might not be and we cannot make a conclusion based off of the consequent. When someone tries to confirm the antecedent by using a true consequent, it is a fallacy known as affirming the consequent (AC).

Modus Tollens

Once again, we have

p ---> q

is true. If we know that the consequent is false (~q), then we can say that the antecedent is false also (~p). Since we know that p implies q, if we do not reach a true consequent then our antecedent must also be false. Since it is raining, the sky is not blue. This method is Modus Tollens (MT).

Once again, we must be careful to not misuse this. If we find that ~p, we cannot say that ~q is true also. We know that p ---> q but that does not mean that ~p ---> ~q. Just because the sky is not blue does not mean that it is raining, for it could just be a cloudy day.This fallacy is known as denying the antecedent (DA) and is a common logical trap that people fall into.

© 2012 Leonard Kelley


    0 of 8192 characters used
    Post Comment
    • 1701TheOriginal profile imageAUTHOR

      Leonard Kelley 

      6 years ago

      Thanks for the positive remarks everyone!

    • profile image


      6 years ago

      Merely a smiling visitor here to share the adore , btw outstanding style. Audacity, more audacity and always audacity. by Georges Jacques Danton. egdcbegceefe

    • profile image


      6 years ago

      An interesting dialogue is worth comment. I feel that you must write more on this topic, it won't be a taboo subject but typically people are not sufficient to speak on such topics. To the next. Cheers dbkeekeaedde

    • 1701TheOriginal profile imageAUTHOR

      Leonard Kelley 

      8 years ago

      I sure hope so, Logic is critical in CS!

    • Patty Kenyon profile image

      Patty Kenyon 

      8 years ago from Ledyard, Connecticut

      Good Information and can definitely help those in the Computer Science fields that haven't had a class in Discrete Math which deals with logic as well as binary math!!


    This website uses cookies

    As a user in the EEA, your approval is needed on a few things. To provide a better website experience, uses cookies (and other similar technologies) and may collect, process, and share personal data. Please choose which areas of our service you consent to our doing so.

    For more information on managing or withdrawing consents and how we handle data, visit our Privacy Policy at:

    Show Details
    HubPages Device IDThis is used to identify particular browsers or devices when the access the service, and is used for security reasons.
    LoginThis is necessary to sign in to the HubPages Service.
    Google RecaptchaThis is used to prevent bots and spam. (Privacy Policy)
    AkismetThis is used to detect comment spam. (Privacy Policy)
    HubPages Google AnalyticsThis is used to provide data on traffic to our website, all personally identifyable data is anonymized. (Privacy Policy)
    HubPages Traffic PixelThis is used to collect data on traffic to articles and other pages on our site. Unless you are signed in to a HubPages account, all personally identifiable information is anonymized.
    Amazon Web ServicesThis is a cloud services platform that we used to host our service. (Privacy Policy)
    CloudflareThis is a cloud CDN service that we use to efficiently deliver files required for our service to operate such as javascript, cascading style sheets, images, and videos. (Privacy Policy)
    Google Hosted LibrariesJavascript software libraries such as jQuery are loaded at endpoints on the or domains, for performance and efficiency reasons. (Privacy Policy)
    Google Custom SearchThis is feature allows you to search the site. (Privacy Policy)
    Google MapsSome articles have Google Maps embedded in them. (Privacy Policy)
    Google ChartsThis is used to display charts and graphs on articles and the author center. (Privacy Policy)
    Google AdSense Host APIThis service allows you to sign up for or associate a Google AdSense account with HubPages, so that you can earn money from ads on your articles. No data is shared unless you engage with this feature. (Privacy Policy)
    Google YouTubeSome articles have YouTube videos embedded in them. (Privacy Policy)
    VimeoSome articles have Vimeo videos embedded in them. (Privacy Policy)
    PaypalThis is used for a registered author who enrolls in the HubPages Earnings program and requests to be paid via PayPal. No data is shared with Paypal unless you engage with this feature. (Privacy Policy)
    Facebook LoginYou can use this to streamline signing up for, or signing in to your Hubpages account. No data is shared with Facebook unless you engage with this feature. (Privacy Policy)
    MavenThis supports the Maven widget and search functionality. (Privacy Policy)
    Google AdSenseThis is an ad network. (Privacy Policy)
    Google DoubleClickGoogle provides ad serving technology and runs an ad network. (Privacy Policy)
    Index ExchangeThis is an ad network. (Privacy Policy)
    SovrnThis is an ad network. (Privacy Policy)
    Facebook AdsThis is an ad network. (Privacy Policy)
    Amazon Unified Ad MarketplaceThis is an ad network. (Privacy Policy)
    AppNexusThis is an ad network. (Privacy Policy)
    OpenxThis is an ad network. (Privacy Policy)
    Rubicon ProjectThis is an ad network. (Privacy Policy)
    TripleLiftThis is an ad network. (Privacy Policy)
    Say MediaWe partner with Say Media to deliver ad campaigns on our sites. (Privacy Policy)
    Remarketing PixelsWe may use remarketing pixels from advertising networks such as Google AdWords, Bing Ads, and Facebook in order to advertise the HubPages Service to people that have visited our sites.
    Conversion Tracking PixelsWe may use conversion tracking pixels from advertising networks such as Google AdWords, Bing Ads, and Facebook in order to identify when an advertisement has successfully resulted in the desired action, such as signing up for the HubPages Service or publishing an article on the HubPages Service.
    Author Google AnalyticsThis is used to provide traffic data and reports to the authors of articles on the HubPages Service. (Privacy Policy)
    ComscoreComScore is a media measurement and analytics company providing marketing data and analytics to enterprises, media and advertising agencies, and publishers. Non-consent will result in ComScore only processing obfuscated personal data. (Privacy Policy)
    Amazon Tracking PixelSome articles display amazon products as part of the Amazon Affiliate program, this pixel provides traffic statistics for those products (Privacy Policy)
    ClickscoThis is a data management platform studying reader behavior (Privacy Policy)