IFAL 2016/1

A Lógica estuda a valorização das sentenças e suas relações, e muitas vezes usa a simbologia dos conjuntos para expressar essa linguagem. Por exemplo: sejam o conjunto dos jogadores de futebol e o conjunto dos atletas, denotados por F e A respectivamente. A sentença lógica “TODO JOGADOR DE FUTEBOL É ATLETA” significa que para qualquer elemento X ∈ F , tem-se também que X ∈ A. Representamos simbolicamente por F ⊂ A, ou seja, o conjunto F está contido no conjunto A.
Posto isto, a simbologia F ⊄ A expressa corretamente pela lógica que