de définir le terme «logique propositionnelle", vous avez besoin de comprendre clairement ce qui est de la «déclaration».
Donc la déclaration est une suggestion, classé grammaticalement correct, et est vrai ou faux.Cette notion doit exprimer un certain sens.Par exemple, l'expression «canaris ont" comprend les éléments suivants: «canari» et «Bird».
Voilà pourquoi l'un des principaux concepts initiaux de la logique et est disant.Ces concepts sont pour décrire la situation spécifique dans laquelle la déclaration est soit quelque chose ou de refus.
Vrai considéré dire, si la réalité tracé de la ligne de la situation quand il est circonscrit.Eux-mêmes "false" et "true" définir un énoncé vrai.États logiques
compose d'expressions simples et complexes.Donc, il suffit de penser la déclaration qui ne comprend pas dans sa composition d'autres expressions.Et pour le complexe d'inclure des expressions qui sont dérivées à partir des déclarations simples, logiquement interdépendants.
logique propositionnelle classique peut être représentée par la théorie générale de la déduction.Il est la partie de la logique, qui décrit dépend pas de la structure des phrases de connexions logiques expressions simples.
Sans oublier les conjonctions - une déclaration complexe, obtenus par la combinaison de deux expressions simples en utilisant le mot «et».La vérité de la conjonction confirme l'exactitude de toutes les déclarations contenues dans sa structure.Dans le cas où au moins un de ses membres est faux, toute collaboration est un signe de "un mensonge."
conjonction se sert à former les déclarations complexes, qui sont basés sur ces hypothèses:
- toute expression (à la fois simples et complexes) peut être vraie ou fausse;
- la vérité des énoncés complexes dépend de la véracité des déclarations contenues dans ce et les liens logiques en elle.
Lorsque la jonction de deux états avec le mot "ou" a déjà obtenu une disjonction.Dans la vie quotidienne, ce concept peut être consulté à partir de la perspective de deux significations différentes.Premièrement, il est non-sens exclusif, ce qui implique la validité d'expression, quel que soit le véritable expression d'un ou de deux tels, ils sont à la fois.Deuxièmement, en éliminant le sens affirme que l'une des expressions est vrai, et l'autre - est fausse.Formules
de logique propositionnelle contiennent des caractères spéciaux.Ainsi, dans le symbole de la disjonction V désigne le fait que l'expression est vraie à la vérité d'au moins un des états, et faux si les deux de ses membres sont fausses.
Pour déterminer l'implication il ya une déclaration disant que la base ne peut pas être vrai au mauvais enquête.En d'autres termes, ce concept implique la vérité de la dépendance ou de la fausseté de l'expression de la valeur de ses composants et méthodes de leurs relations.
Malgré le fait que l'implication est tout à fait utiles à certaines fins, il est peu compatible avec la compréhension de la connexion conditionné en général.Ainsi, dans de nombreux traits importants entoure le dispositif comportement logique disant ce concept ne peut pas être une description adéquate de celui-ci.
logique de déclarations visant à résoudre ce problème central, comme la séparation des régimes de raisonnement bonnes et de mauvaises et la systématisation de la première.Pour obtenir le résultat correct, vous devez vous concentrer sur les caractères spéciaux qui peuvent représenter une ou l'autre forme.D'où l'intérêt désigné dans ces mots apparemment insignifiants tels que «et», «et», etc.États logiques
a même sa propre langue, qui se compose des éléments suivants:
- les personnages originaux - variables, des constantes et des signes techniques logiques;
- formules.
Pour comprendre ce qui a été dit doit aller à des exemples spécifiques.Par exemple, en utilisant le symbole de conjonction & amp;, disjonction - \ / ou \ º /.
