Logique Formelle

Cheatsheet Content

### EXAMEN DE LOGIQUE FORMELLE / SÉRIE A #### UNIVERSITÉ CATHOLIQUE DU CONGO #### FACULTÉ DE MÉDECINE 1. Soit la proposition : « ou tu gagnes ce combat ou tu ne le gagnes pas ». * **Q1.** Formez un raisonnement correct à partir d'elle. * **Q2.** Formalisez ce raisonnement en langage symbolique et vérifiez-le par la méthode de table de vérité. 2. Soit la proposition : « tous les conseillers juridiques sont prévoyants ». Donnez : * **a.** sa conversion * **b.** sa contraposition (en respectant toutes les étapes) 3. Construisez les syllogismes spéciaux ci-après : * **a.** Polysyllogisme * **b.** Enthymème * **c.** Épichérème 4. Considérez que "Homme" est sujet et "africains" est prédicat. Représentez les quatre propositions logiques en diagramme de Venn (Faites un traitement ensembliste). 5. Par la méthode de tableau sémantique et table de vérité, vérifiez si cette formule est une tautologie : * **a.** $(p \lor q) \land (\neg p \implies \neg q)$ * **b.** $A \implies (A \land A)$ ### EXAMEN DE LOGIQUE FORMELLE / DEUXIÈME SESSION DU PREMIER SEMESTRE 6. Citez les différentes oppositions du carré logique et donnez l'exemple pour chaque cas (8 pts). 7. Construisez les raisonnements suivants : BARBARA et FESTINO (4 pts). 8. Citez au choix quatre règles du syllogisme (4 pts). 9. Proposez les conclusions à ces syllogismes et dites s'ils sont valides ou pas (en justifiant votre réponse) (4 pts). * **c.** Quelques étudiants sont filles. Or quelques filles sont intelligentes. Donc....................................................................... * **d.** Aucun philosophe n'est économiste. Or tous les logiciens sont philosophes. Donc....................................................................... 10. Calculez la valeur de vérité de $(p \lor q) \implies \neg(p \land q)$ (4 pts).