une table de vérité est un petit dispositif logique pratique qui apparaît non seulement en mathématiques, mais aussi en informatique et en philosophie, ce qui en fait un outil interdisciplinaire génial. La notation peut varier en fonction de la discipline dans laquelle vous travaillez, mais les concepts de base sont les mêmes.
Cette introduction vous fournira les connaissances dont vous avez besoin pour comprendre la logique symbolique. Nous allons commencer par définir les opérateurs communs et dans le prochain post, je vais vous montrer comment disséquer une déclaration logique plus compliquée.,
→ pour plus de tutoriels mathématiques, consultez Math Hacks sur YouTube! ←
L’algèbre booléenne est une branche de l’algèbre qui implique des bools, ou des valeurs vraies et fausses. Ils sont généralement notés T ou 1 pour true et F ou 0 pour false. En utilisant ce système simple, nous pouvons réduire les déclarations complexes en formules logiques digestibles.
opérateurs unaires
Les opérateurs unaires sont les opérations les plus simples car ils peuvent être appliqués à une seule valeur True ou False.
Identité
L’identité est notre cas trivial. Il déclare que vrai est vrai et faux est faux.,
la Négation
L’opérateur de négation est généralement représenté par un tilde (~) ou un symbole. Il annule ou change la valeur de vérité de quelque chose.
Nous pouvons montrer cette relation dans une table de vérité. Une table de vérité est un moyen d’organiser l’information pour répertorier tous les scénarios possibles.
nous intitulons la première colonne p pour proposition. Dans la deuxième colonne, nous appliquons l’opérateur à p, dans ce cas c’est ~p (Lire: pas p). Donc, comme vous pouvez voir si notre prémisse commence comme vraie et que nous l’annulons, nous obtenons faux, et vice versa.,
Vrai Logique et Logique False
ce sont un peu étranges opérations. Logique VRAI entraîne toujours vrai et logique faux entraîne toujours faux, peu importe la prémisse. Ces opérations sont souvent désignés comme « toujours vrai” et « toujours faux”.,
Binary Operators
Binary operators require two propositions., Nous utiliserons p et q comme exemples de propositions.
et
l’opérateur AND (symboliquement: ∧) également connu sous le nom de conjonction logique nécessite que p et q soient vrais pour que le résultat soit vrai. Tous les autres cas aboutissent à False. C’est logiquement la même chose que l’intersection de deux ensembles dans un diagramme de Venn.