Il y a actuellement 87 visiteurs
Mercredi 26 Janvier 2022
accueilactualitésdossierscomparer les prixtélécharger gratuitement vos logicielsoffres d'emploiforum informatique
Connexion
Créer un compte

damdamdu36

Ce membre n'a pas encore choisi d'avatar
Visiteur
Visiteur
Nom d'utilisateur:
damdamdu36
Groupes:

Contacter damdamdu36

Statistiques de l’utilisateur

Inscription:
22 Nov 2011 16:49
Dernière visite:
22 Nov 2011 17:22
Messages:
1 (0.00% de tous les messages / 0.00 messages par jour)
Forum le plus actif:
Forum Programmation, Web & Ftp
(1 Message / 100.00% des messages de l'utilisateur)
Sujet le plus actif:
barre de sheffer
(1 Message / 100.00% des messages de l'utilisateur)

Les derniers messages de damdamdu36

Message 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



.: Nous contacter :: Flux RSS :: Données personnelles :.
cron