Discussion:Bocardo
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Logique.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Ébauche | Faible |  | Logique (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Je ne suis pas expert, mais je crois qu'il y a erreur. le premier et le troisième exemple ne sont pas pareils : premier exemple : Quelque P n'est pas S, or tout F est P, donc quelque F n'est pas S. Deuxième exemple : Quelque P n'est pas S, or tout P est F, donc quelque F n'est pas S.
Le premier exemple me semble faux, tout comme le passage " Quelque P n'est pas S, or tout F est P, donc quelque F n'est pas S." dans l'introduction de l'article : en effet, si tout F est P, cela signifie que F est un sous groupe de P : que certains F ne soit pas S implique donc que certains P ne soient pas S (ces P en question pouvant être les F), mais l'inverse est faux. Ca se remarque si on remplace le terme "volaille" du premier exemple par "oiseau pouvant voler" : la mineur et la majeure restent vraie, mais la conclusion inclue un paradoxe évident.