Loi logique

par **Chimomo** » 05 Aoû 2006, 10:55

En fait je ne connais pas ce que tu appeles loi logique. Une totaulogie est une expression logique dont la table de vérité ne comporte que des 1 (c'est à dire qu'elle vraie pour n'importe quelle déistribution de vérité). Ainsi l'expression :
(A implique B) équivalent ((non A) et B) est une totaulogie parceque c'est toujours vrai.

Je penses que c'est ça ce que tu appelles une loi logique.

Nota : On dit alors que les propositions (A implique B) et ((non A) et B) sont sémantiquement équivalente.

par **nada-top** » 05 Aoû 2006, 11:04

bonjour

Une totaulogie est une expression logique dont la table de vérité ne comporte que des 1 (c'est à dire qu'elle vraie pour n'importe quelle déistribution de vérité). Ainsi l'expression :
(A implique B) équivalent ((non A) et B) est une totaulogie parceque c'est toujours vrai.

oui c'est exactement ça qu'on appelle loi logique mais je savais pas qu'on appelle aussi une tautologie .
merci pour l'infos :++:

PS : tu as révisé ma table de vérité tout est juste ??

par **nada-top** » 05 Aoû 2006, 11:10

Le calcul propositionnel autorise des procédures de décision ou tests. Ceux-ci permettent de déterminer dans quels cas une expression est vraie et en particulier si elle est toujours vraie. Une expression toujours vraie quel que soit le contenu linguistique des variables qui la composent est appelée une expression valide, une tautologie ou encore une loi (de la) logique propositionnelle.

ah voilà chimomo j'ai trouvé ça je crois que ça explique tout ... voici le lien qui le comporte
http://www.lofs.ucl.ac.be/log/LogNuls/LogNuls2b.html

par **Huit** » 05 Aoû 2006, 12:07

( Je crois avoir compris que ces exercices que tu soumets au forum sont tirés de livre de première S. Je suis épaté de voir à quel point le programme marocain de mathématiques devance le français ! )

par **Chimomo** » 05 Aoû 2006, 12:26

Ok donc comme ça nous avons chacun appris quelquechose :we: !

par **nada-top** » 05 Aoû 2006, 12:50

bonjour
je connais pas t bien le programme français mais jusqu'à maintenant d'aprés ce que j'ai remarqué vous étudiez pas : les ensembles et les applications et quelques notions de la logique en première S . (enfin je crois)

par **Chimomo** » 05 Aoû 2006, 14:12

Je ne suis pas du tout sur que c'est au programme (personnellement je ne faisais pas très attention aux cours quand j'était au lycée doncje pourraispas trop te dire).

Cependatn si quelqu'un a le courage d'aller voir le progamme officiel on sera fixé.

Loi logique

Qui est en ligne