Inscription / Connexion Nouveau Sujet
Niveau autre
Partager :

Logique ensemble

Posté par
strength
08-11-07 à 19:39

Bonsoir,

On me donne:

W: il pleut

et je dois trouver (W barre) , (W ET W barre) , (W OU W barre)

ec que quelqu'un peut m'expliquer car je ne vois pas du tout.

Merci de votre aide

édit Océane : forum modifié

Posté par
xunil
re : Logique ensemble 08-11-07 à 19:44

bonsoir,

c'est de l'algèbre de Boole ou quoi là ? tu es en SI ?

Posté par
borneo
re : Logique ensemble 08-11-07 à 19:48

Bonjour,

W barre : il ne pleut pas

(W ET W barre) : il pleut et il ne pleut pas  (c'est une contradiction)

(W OU W barre): il pleut ou il ne pleut pas  (c'est une tautologie)

Posté par
gui_tou
re : Logique ensemble 08-11-07 à 19:48

Salut

Je pense que :

\large \rm \bar{W} : il ne pleut pas.

\large \rm W \bigwedge \bar{W} : il pleut ET il ne pleut pas (pas trop possible)

\large \rm W \bigvee \bar{W} : soit il pleut, soit il ne pleut pas, ou les deux (dernier cas impropable) bref \large \rm W \bigvee \bar{W}=\Omega

Surement très faux

Posté par
gui_tou
re : Logique ensemble 08-11-07 à 19:49

Bonsoir borneo et xunil

J'ai juste ? Je n'ai pas encore commencé les symboles de logique

Posté par
borneo
re : Logique ensemble 08-11-07 à 19:54

oui, c'est ça

les symboles de logique sont aussi dans le menu symboles :   

Posté par
strength
re : Logique ensemble 08-11-07 à 20:14

d'accoord merci

je savais pas exactement ce que je devais dire car apres on me demande:

- dites si le théorème de non-contradiction est verifié
- dites si le théorème du tiers-exclu est vérifé

Posté par
strength
re : Logique ensemble 08-11-07 à 20:43

quelqu'un peu m'aider ?

Posté par
gui_tou
re : Logique ensemble 08-11-07 à 21:50


Citation :
- dites si le théorème de non-contradiction est verifié


Non pour la deuxième affirmation.

Citation :
- dites si le théorème du tiers-exclu est vérifé


Non pour la 3ème.

Posté par
strength
re : Logique ensemble 08-11-07 à 22:05

d'accord mais quesqu'y te permet de dire cela ?

Posté par
gui_tou
re : Logique ensemble 08-11-07 à 22:08

Je cite borneo


Citation :
(W ET W barre) : il pleut et il ne pleut pas  (c'est une contradiction)


Donc le principe de non-contradiction n'est pas respecté, il ne peut pas à la fois pleuvoir et ne pas pleuvoir, ce sont des événements contraires.

Citation :
(W OU W barre): il pleut ou il ne pleut pas  (c'est une tautologie)


Il pleut ou il ne pleut pas --> cette affirmation regroupe TOUS les cas (mon univers \huge \Omega), il ne peut pas y avoir une troisième affirmation vérifiée.

Posté par
strength
re : Logique ensemble 08-11-07 à 22:12

merci pour tes explications complémentaires

Posté par
gui_tou
re : Logique ensemble 08-11-07 à 22:13

Elles sont peut-être fausses !

De rien en tout cas



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !