barre de sheffer
Bonjour à tous alors voila j'ai un problème sur la barre de sheffer. En effet, j'ai l'énoncer suivant:
1.1 Propriétés du connecteur |
Donner une expression logique équivalente à (A|B) construite avec les connecteurs donnés en cours.
Pour chacune des affirmations suivantes, donner une démonstration ou un contre-exemple:
La barre de Sheffer est associative.
La barre de Sheffer est commutative.
Montrer que la barre de Sheffer constitue à elle seule un ensemble de connecteurs fonctionnellement complet.
1.2 Calcul de séquents pour |
Donner deux nouvelles règles pour la barre de Sheffer dans le système G.
Montrer la correction de ces règles.
Montrer que le système composé de la règle (Axiome) et des deux règles proposées au dessus est correct et complet pour des séquents composés de formules construites uniquement en utilisant des variables propositionnelles et la barre de Sheffer.
j'ai réussi à trouver tout les réponses du 1.1 mais pour le 1.2 l'énoncer suivant je cale complet je ne sais pas quoi mettre:
Donner deux nouvelles règles pour la barre de Sheffer dans le système G.
la je sais pas quoi faire si quelqu'un pouvait me donner une indication ce serait sympa
merci d'avance
