Logique Formelle & Programmation logique Feuille de TD no 2
TD BIA- 4 octobre 2012. 2. ? Eliminer les connecteurs ? et ? en appliquant les lois d'équivalence ((P ? Q) ? (¬P ? Q) et. (P ? Q) ? ((P ...
EXERCICES CALCUL PROPOSITIONNEL (1)Exercice 3 : Indépendance de connecteurs. Soient C un ensemble de connecteurs logiques et z un connecteur k-aire n'appartenant pas à C. On dit que z est ... Logique ? TD n?9 - DENIFExpliquez la réponse du logicien. EXERCICE 2. Trouvez des propositions en langue naturelle dans lesquelles le connecteur logique ou est inclusif. EXERCICE 3. TD n 3 - l'IRIFTD n?3. Systèmes de connecteurs. Rappel sur la notion de complétude d'un ... Exercice 2 Montrer que l'ensemble de connecteurs {?,?} n'est pas complet.
Autres Cours:
