The material implication

The material implication of standard propositional logic is semantically defined as follows:

p ? q is true in W if and only if

p is false in W or q is true in W.

Previous slide

Next slide

Back to first slide

View graphic version