Seja D um conjunto de pontos da reta. Sejam K, F e L categorias possíveis para classifi car D. Uma expressão que equivale logicamente à afi rmação “D é K se e somente se D é F e D é L” é:
Se D é F ou D é L, então D é K e, se D não é K, então D não é F e D não é L.
Se D é F e D é L, então D é K e, se D não é K, então D não é F ou D não é L.
Se D é K, então D é F e D é L e, se D não é K, então D não é F ou D não é L.
D é K se e somente se D é F ou D é L.
D não é F e D não é L se e somente se D não é K.