Les déclarations constituent la base pour tirer des conclusions valides dans la logique, mais les mathématiques et la philosophie utilisent également les états logiques pour construire des arguments valables et tirer des conclusions. Même si cela peut ne pas sembler quand vous êtes à l'extérieur d'une salle de classe, vous utilisez des instructions logiques dans le langage courant pour relayer l'information à d'autres personnes et d'en tirer vos propres conclusions.
Déclarations logiques
Une déclaration est une phrase qui déclare quelque chose et qui peut être vérifiée comme vrai ou faux. fragments de phrases, les questions et les commandes ne sont pas des états logiques parce qu'ils ne sont pas, des phrases complètes déclaratives.
Par exemple, «La voiture clés sont dans le tiroir" est une instruction logique parce qu'il est une phrase complète et déclare quelque chose qui peut être vérifiée comme vrai ou faux. Vous pouvez vérifier pour voir si quelque chose est une instruction logique en ajoutant "Il est vrai que ...» au début de la phrase. Si elle a encore un sens avec "Il est vrai que ..." en face de lui, il est une instruction logique
Déclaration conditionnelle
Une déclaration de logique conditionnelle est une déclaration qui est composée de deux conditions, où une condition dépend de l'autre. Pour toute instruction conditionnelle pour être vrai, l'état de dépendance doit être vrai quand l'autre est vrai, par exemple, considérer l'instruction conditionnelle suivante: «Si j'étudie, alors je vais obtenir une bonne note." Si vous étudiez et d'obtenir une bonne note, puis l'instruction conditionnelle est vrai; cependant, si vous étudiez et vous ne recevez pas une bonne note, puis l'instruction conditionnelle est fausse.
Utilisation des états logiques
Des déclarations dans la logique sont utilisés pour tirer des conclusions valables. Une conclusion est valable si tous les locaux qui ont mené à cette conclusion sont vraies. Par exemple, considérons les déclarations suivantes:
"Si j'étudie, je vais recevoir une bonne note."
"J'ai étudié."
Si vous supposez que l'étude des garanties d'une bonne qualité, ce qui rend la première prémisse vrai, et que vous avez fait l'étude, ce qui rend la seconde prémisse vrai, alors vous pouvez conclure que vous avez reçu une bonne note.
autres considérations
Les variables sont souvent utilisés pour voir facilement la relation entre deux états logiques sans avoir à réécrire l'intégralité de l'instruction chaque fois que vous voulez parler de la relation entre les deux. Pour ce faire, vous devez assigner des variables à chacune des déclarations. De l'exemple dans la section 3, les deux déclarations faites sont: «J'étudier» et «je vais recevoir une bonne note." Soit P égale "j'étudie" et Q égale "je vais recevoir une bonne note":
Si P, Q
P, donc, Q.