?

• This is not a connective

• It doesn’t define a new logical relationship (like p ? q) but rather it relates two logical statements

• In particular, it states that both statements are logically equivalent

  • That is, they have the same truth table

Previous slide

Next slide

Back to first slide

View graphic version