Introduction de tablas de verdad lógica simbólica: contratos lógicos con tipos de razonamiento. Razonamiento puede ser la opinión legal o confirmaciones matemáticos. conectivas lógicas básicas son AND, OR y NOT. forma simbólica de conectores lógicos son '^^', 'vv' y '~' para AND, OR y NOT respectivamente. Tabla de verdad establece la relación entre la sentencia compuesta y sub - declaración. Veamos las tablas de verdad lógica simbólica en este Tablas article.Symbolic lógica de la verdad: los contratos de lógica con tipos de razonamiento: la lógica. Razonamiento puede ser la opinión legal o declaración confirmations.Logical matemática: enunciado lógico es una frase que es uno cualquiera de verdadero o falso, pero no mutually.Example: Declaración 1: Delhi es la capital de India.Statement 2: veinte dividir por cinco es 6.Statement 3: ¿cuál es tu nombre HereStatement 1 es cierto y es también un statement.Statement 2 es falsa, pero es un statement.Statement 3 se no se puede asignar a verdadero o falso y también es una pregunta no es una statements.Basic lógico? conectivas: y o conjunctionOr /o disjunctionNot negation.Symbols que representan conectores lógicos: '^^' = AND'vv '= o ~ = NOTTruth tabla: una tabla que explica la relación entre los valores de verdad de una sentencia compuesta y valores de verdad de sus estados sub-se describe la tabla de verdad tiene table.Truth de filas y columns.The primera columna se llena de posibles valores de verdad de la sub - declaración y última columna se llena con valores de verdad de la sentencia compuesta en la base de valores de verdad de la secundaria - declaración por escrito en las filas iniciales son columns.2n presencia en la verdad table.If la afirmación es verdadera, decimos que es valor de verdad es verdadera o T y si la afirmación es falsa, decimos que es valor de verdad es tabla de verdad o falsa FSymbolic de conectivas lógicas: Conjunción o Y: AB a '^^' BT T TT F FF FF F T FDisjunction /o: AB A'vv 'BT T TT F T TF TF F FNegation o NO: a ~ FF las TProblems para simbólicos Tablas lógica de la verdad: Problema 1: resolver un '^^' (~ a) Solución: GivenA '^^' (~ a) a ~ AA '^^' (~ a) TF FF T FProblem 2: resolver (~ A) (~ B) Solución 'vv': Dada (~ A) 'vv' (~ B) AB ~ A ~ B (~ A) 'vv' (~ B) TTFF FT FFT TF TF TTF FTTT