The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Material Implication: Deriving the Truth Table
Replies: 13   Last Post: Jan 4, 2018 7:41 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Dan Christensen

Posts: 8,219
Registered: 7/9/08
Material Implication: Deriving the Truth Table
Posted: Jan 3, 2018 12:20 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Truth Table for IMPLIES

A B A => B

1 T T T
2 T F F
3 F T T
4 F F T

where A and B are logical, true-or-false propositions.

In mathematics, implication is usually defined as:

A =>B <=> ~[A & ~B]

This "definition" can be actually be derived using the deduction (conclusion) and detachment of properties of the implication operator: (formal proof in DC Proof format)

Using these same properties, we can also use this definition to derive the entries of the above truth table.

Line 1: A & B => [A => B]

Line 2: A & ~B => ~[A => B]

Lines 3-4: ~A => [A => B]


Download my DC Proof 2.0 freeware at
Visit my Math Blog at

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.