O conceito matemático mais básico da humanidade é provavelmente o da contagem, o qual está totalmente relacionado com os números naturais. Diga se ...

As sentenças a seguir são verdadeiras ou falsas: I. Sejam S e T conjuntos tais que T⊂S. Se S é finito, então T é finito. Verdadeira. Se S é finito, então S tem um número finito de elementos. Como T é um subconjunto de S, T também tem um número finito de elementos. II. Sejam S e T conjuntos tais que T⊂S. Se T é infinito, então S é infinito. Falsa. T pode ser um subconjunto infinito de S, mas S pode ser finito. Por exemplo, T pode ser o conjunto dos números ímpares e S pode ser o conjunto dos números naturais. III. Sejam S e T conjuntos tais que T⊂S. Se T é infinito, então, S∖T é finito. Falsa. S∖T é o conjunto de elementos que estão em S, mas não estão em T. Se T é infinito, então S∖T também pode ser infinito. Por exemplo, se S é o conjunto dos números naturais e T é o conjunto dos números pares, então S∖T é o conjunto dos números ímpares, que é infinito.