Introdução a tabelas de verdade lógica simbólica: contratos de lógica com os tipos de raciocínio. Raciocínio pode ser parecer jurídico ou confirmações matemáticas. conectivos lógicos básicos são AND, OR e NOT. forma simbólica de conectivos lógicos são '^^', 'vv' e '~' para AND, OR e NOT respectivamente. tabela de verdade indica a relação entre a instrução composta e sub - declaração. Vejamos simbólicos tabelas de verdade lógica neste Tabelas article.Symbolic Logic Verdade: contratos de lógica com os tipos de raciocínio: Logic. Raciocínio pode ser parecer jurídico ou declaração confirmations.Logical matemática: declaração lógico é uma frase que é qualquer um verdadeiro ou falso, mas não mutually.Example: Declaração 1: Delhi é a capital da India.Statement 2: vinte dividir por cinco é 6.Statement 3: qual é o seu nome HereStatement 1 é verdadeiro e é também um statement.Statement 2 é falsa, mas é um statement.Statement 3 é não pode ser atribuído a verdadeira ou falsa e é também uma questão não uma statements.Basic lógico? conectivos: e ou conjunctionOr /disjunctionNot ou negation.Symbols para representar conectivos lógicos: '^^' = AND'vv '= oU ~ = NOTTruth tabela: a tabela que explica a relação entre os valores de verdade de uma instrução composta e valores de verdade de suas demonstrações sub é descrito tabela verdade table.Truth detém de linhas e columns.The primeira coluna é preenchida com possíveis valores de verdade do sub - declaração e coluna final é preenchido com valores de verdade da instrução composta sobre o fundamento dos valores de verdade do secundário - declaração escrita nas linhas iniciais columns.2n são presença na verdade table.If a afirmação é verdadeira, podemos dizer que é valor de verdade é verdadeiro ou T e se a afirmação é falsa, dizemos que é o valor verdade é tabela verdade falsa ou FSymbolic para conectivos lógicos: Conjunção ou e: AB a '^^' BT T TT F FF T FF F FDisjunction /OR: AB A'vv 'BT T TT F TF T TF F FNegation ou não: a ~ AT FF TProblems para tabelas Logic verdade simbólicos: Problema 1: Resolva a '^^' (~ a) Solução: GivenA '^^' (~ a) a ~ AA '^^' (~ a) TF FF T FProblem 2: resolver (~ A) 'vv' (~ B) Solução: Dado (~ A) 'vv' (~ B) AB ~ A ~ B (~ A) 'vv' (~ B) TTFF FT FFT TF TTF TF FTTT