Il y a actuellement 157 visiteurs
Samedi 27 Novembre 2021
accueilactualitésdossierscomparer les prixtélécharger gratuitement vos logicielsoffres d'emploiforum informatique
Connexion
Créer un compte

barre de sheffer

Besoin d'aide pour configurer un serveur ? Vous souhaitez obtenir des conseils pour référencer votre site ? Un petit souci pour accéder à votre FTP ? Des soucis de programmation en PHP / ASP / HTML / XHTML / XML / XSLT / CSS / ReactJS / AngularJS / VueJS / CGI / PERL / C / MySQL / PostgreSQL ??? Nous avons peut-être la solution dans ce forum ...

barre de sheffer

Message le 22 Nov 2011 16:56

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
damdamdu36
Visiteur
Visiteur
 
Messages: 1
Inscription: 22 Nov 2011 16:49
 



Sujets similaires

Message Problème son barre de son
Bonjour, j'ai un problème qui devient agaçant à la longue j'ai une barre de son focal dimension et quand je regarde une vidéo,film même quand je change de musique sur Spotify Le son démarre pas de suite genre je met une musique il se passe bien 3-4 seconde avant qu'il y ai du son qui sois émise par ...
Réponses: 0

Message Icone dans barre de tâche
Bonjour,Je suis sous windows 10 pro 64 bits insider.Dans la barre de tâche est apparu récemment une icone/notification avec le message suivantvotre version de windows 10 a atteint la fin du service....etcImage : https://cjoint.com/c/KEjqzAe4ByfWinver me dit:Version Build 21376 .....expire le 31/10/2 ...
Réponses: 3

Message barre d'acceuil firefox trop longue
BONJOUR,je ne sait pas trop si avec l'ancienne version de Firefox j?avais changer une valeur dans about:config mais depuis je me retrouve avec la barre d'adresse pour naviguer trop longue avec trop de détails qui la rallonge ce qui réduit exagérément ma barre de recherche et me gène beaucoup ...
Réponses: 13

Message truc bizarre dans la barre d'adresse
bonjour j'ai commandé un truc en Angleterre, le colis me sera envoyer par ups, quand je tape suivi d'un colis ups sur google, dans la barre d'adresse, il y a (ça ne reste pas) ups tunisie?est ce que quelqu'un a une explication ?merci
Réponses: 9

Message internet sur pc et icone barre des taches sur pas d internet
Bonjour à tous comme je sais qu ici le suivi est super j'ai pensé que vous pourriez m'aider j'aurais vraiment besoin d aide sur un problème qui me cause des soucis d'installation ect sur mon ordinateur depuis quelque jours mon fournisseur d accès internet à des soucis ce qui ma créé des coupure ...
Réponses: 7

Message [Réglé] Ordinateur lent et barre recherche windows
Bonjour, depuis un petit moment, mon ordinateur est plus lent et bugge. Les applications et fenêtres se figent parfois alors que ma connexion semble bonne. Je n'arrive pas à toujours me connecter sur les réseaux wi-fi disponibles et mon pc semble s'allumer ou réagir seul alors qu'il est censé être e ...
Réponses: 14

Message [Réglé] Pubs et barre secure search sur Firefox
Bonjour,Depuis maintenant plusieurs semaines, quand je clique sur un lien, une page de pub se lance à la place de l'onglet désiré mais cela ne se produit pas tout le temps et j'ai l'impression que cela se fait de manière aléatoire.De plus, au lancement de Firefox, une barre "secure search" ...
Réponses: 5


Qui est en ligne

Utilisateurs parcourant ce forum: Aucun utilisateur enregistré et 1 invité


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