1. Cf. cours.

  2. A Tous les oiseaux pondent des oeufs
    E Aucune vache ne pond d'œufs
    E Aucune vache n'est un oiseau
    O Quelques immeubles parisiens n'ont pas de chambre de bonne
    A Tous les immeubles parisiens sont en pierre
    O Quelques immeubles en pierre n'ont pas de chambre de bonne

  3. Première inférence : Il s'agit d'une présupposition. En général, la présupposition ne donne pas lieu à des inférences valides (en particulier parce qu'elle est annulable sous certaines conditions).

    Deuxième inférence : Il s'agit d'une implication, donc logiquement valide. Plus précisément, il s'agit d'une inférence conforme au schéma dit d'élimination du et, qu'on peut expliciter en disant « Jean et Marie sont partis en week-end » implique « Jean est parti en week-end et Marie est partie en week-end » qui permet de conclure par élimination « Jean est parti en week-end ».

  4. PPierre est venu
    Q Marie est venue
    R Paul est venu
    (1a) P & Q & - R
    (1b) - R
    P Jean viendra
    Q Marie viendra
    R le métro fonctionne
    (1c) P & Q -> R
    (1d) P <--> Q