1. Classifique os seguintes termos (conceitos) quanto à sua extensão:

                 a) ‘Aristóteles’.

                 b) ‘Alguns homens’.

                 c) ‘Os animais’.

                 d) ‘Nenhuma ave’.

2. Ordene por ordem decrescente de compreensão as seguintes séries de conceitos:

     a) ‘Ave’; ‘Periquito’; ‘Ave domesticada’; ‘Ser vivo’; ‘Animal’; ‘Ser’; ‘Este periquito’.

     b) ‘Continente’; “País da Europa’; ‘Portugal’; ‘País da Península Ibérica’; ‘Lugar’.

3. Ordene por ordem decrescente de extensão as seguintes séries de conceitos:

     a) ‘João’; ‘Homem’; ‘Primata’; ‘Ser vivo’; ‘Animal’; ‘Ser’.

     b) ‘Mercadoria’; “Vinho’; ‘Vinho de Portugal’; ‘Esta garrafa de vinho’; ‘Bebida’.

4. Reduza à forma normal predicativa (ou forma canónica) os seguintes enunciados proposicionais:

    a) ‘Qualquer homem é racional’.

    b) ‘Há homens que não são europeus’.

    c) ‘Todos os alunos não gostam de classificações negativas’.

    d) ‘Poucos adeptos do desporto gostam da violência’.

    e) ‘Certos problemas não têm uma solução fácil’.

5. Dada a proposição Q = ‘Alguns melómanos gostam de Chopin’:

     5.1. Apresente as opostas de Q.

     5.2. Sendo a contraditória de Q verdadeira, podemos concluir o valor de verdade das restantes opostas de Q? Justifique a sua resposta com base nas regras da oposição.

6. Se for falso que alguns homens não gostam de dormir, podemos dizer que também é falso que alguns homens gostam de dormir? Justifique a sua resposta.

7. Dada a proposição S = ‘Todos os filósofos defendem a liberdade de pensar’:

    7.1. Apresente as opostas de S.

    7.2. Se a contraditória de S for falsa, qual será o valor de verdade da subalterna de S? Justifique.

8. Prove, por intermédio das regas da oposição que , sendo verdade que nenhum homem é digno de desprezo, é falso que alguns homens sejam dignos de desprezo.

Correcção