Connectives

• These logical terms can be combined in well-defined ways

• These define rules for combining logical formulae

• Truth tables define the connectives

• p ? q (and)

• p ? q (inclusive or)

• ?p (negation)

• p ? q (implication)

• …

Previous slide

Next slide

Back to first slide

View graphic version