Introduction aux tables de vérité logiques symboliques: contrats logiques avec les types de raisonnement. Raisonnement peut être un avis juridique ou confirmations mathématiques. conjonctions logiques de base sont AND, OR et NOT. forme symbolique de connecteurs logiques sont '^^', 'vv' et '~' pour AND, OR et NOT respectivement. Table de vérité indique la relation entre l'instruction composée et sous - déclaration. Voyons tables logique de vérité symboliques dans ce tableaux article.Symbolic Logic Truth: contrats logiques avec les types de raisonnement: Logic. Raisonnement peut être un avis juridique ou de la déclaration de confirmations.Logical mathématique: déclaration logique est une phrase qui est tout un mutually.Example vrai ou faux, mais non: Déclaration 1: Delhi est la capitale de India.Statement 2: vingt diviser par cinq est 6.Statement 3: quel est votre nom HereStatement 1 est vrai, et il est aussi un statement.Statement 2 est faux, mais il est un statement.Statement 3 est ne peut pas être attribué à vrai ou faux et il est également une question pas un statements.Basic logique? conjonctions: et ou conjunctionOr /disjunctionNot ou negation.Symbols pour représenter conjonctions logiques: '^^' = AND'vv '= oU ~ = NOTTruth Table: une table qui explique le lien entre les valeurs de vérité d'une instruction composée et les valeurs de vérité de ses états sous est décrit la table vérité table.Truth détient des lignes et colonnes.Dispositif première colonne est remplie avec des valeurs possibles de vérité de la sous - déclaration et dernière colonne est remplie avec des valeurs de vérité de la déclaration de composé sur la base des valeurs de vérité du secondaire - déclaration écrite dans les lignes de columns.2n initiales sont présence dans la vérité table.If l'énoncé est vrai, nous disons que la vérité est la valeur est vraie ou T et si la déclaration est fausse, nous disons que la vérité est la valeur est table de vérité fausse ou FSymbolic pour connecteurs logiques: Conjonction ou AND: AB A '^^' BT T TT F FF T FF F FDisjunction /oU: AB A'vv 'BT T TT F TF T TF F FNegation ou NOT: A ~ AT FF TProblems pour symboliques Tables Logic vérité: problème 1: Résolvez A '^^' (~ A) Solution: GivenA '^^' (~ A) A ~ AA '^^' (~ A) TF FF T FProblem 2: Résolvez (~ A) 'vv' (~ B) Solution: Compte tenu de (~ A) 'vv' (~ B) AB ~ A ~ B (~ A) 'vv' (~ B) TTFF FT FFT TF TTF TF FTTT