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” é:
A
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.
B
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.
C
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.