Formulae

• Formulae written in terms of the connectives can be checked using truth tables

• p ? p ? p

• ?(p ? q) ? ?p ? ?q

• …

Previous slide

Next slide

Back to first slide

View graphic version