structures-discretes-2

Preuve en logique minimale

Preuve utilisant les règles de déduction naturelle pour la logique minimale (page 94). Techniques comprennent la suppression des axiomes, introduction et élimination des implications.

Preuve en logique des propositions

Preuve utilisant les règles de déduction naturelle pour la logique des propositions (page 94). Techniques incluent les règles d'introduction et d'élimination pour les connecteurs logiques.

Preuve en logique des prédicats

Preuve utilisant les règles de déduction naturelle pour la logique des prédicats (page 94). Techniques incluent les règles d'introduction et d'élimination pour les quantificateurs.

Logique intuitionniste vs classique

Reconnaître la différence entre logiques intuitionniste et classique (page 94). Techniques spécifiques pour chaque logique, comme le Tertium Non Datur.

Règles d'inférence

Savoir lire et interpréter une règle d'inférence quelconque (page 94). Analyse et compréhension des règles d'inférence.

Règles dérivées

Savoir construire des règles dérivées (page 95). Techniques de preuve et de dérivation pour créer des règles supplémentaires.

Rédaction des preuves

La preuve doit montrer un arbre de dérivation clair et indiquer les noms des règles utilisées (page 95).

Structure des preuves

Séparer les antécédents et les succédents par une barre horizontale et nommer les hypothèses explicitement (page 95).

Contre-exemples

Preuves incorrectes pouvant entraîner des erreurs : dérivation inversée, absence de structure claire, confusion des noms d'hypothèses (page 96).