Introduction di tabelle di verità logica simbolica: i contratti di logica con i tipi di ragionamento. Ragionamento può essere parere legale o conferme matematiche. connettivi logici di base sono AND, OR e NOT. forma simbolica di connettivi logici sono '^^', 'vv' e '~' per AND, OR e NOT, rispettivamente. Tabella della verità afferma la relazione tra la dichiarazione composto e sub - dichiarazione. Vediamo le tabelle di verità logica simbolica in questo Tabelle article.Symbolic logica vero: i contratti di logica con tipi di ragionamento: Logic. Ragionamento può essere parere legale o una dichiarazione confirmations.Logical matematica: dichiarazione logico è una frase che è l'uso di uno vero o falso, ma non mutually.Example: Dichiarazione 1: Delhi è la capitale di India.Statement 2: venti dividere per cinque è 6.Statement 3: qual è il tuo nome HereStatement 1 è vero ed è anche un statement.Statement 2 è falso ma è un statement.Statement 3 è non può essere assegnato a vero o falso, ed è anche una domanda, non un statements.Basic logico? connettivi: e o conjunctionOr /disjunctionNot o negation.Symbols per rappresentare connettivi logici: '^^' = AND'vv '= o = ~ NOTTruth tabella: una tabella che spiega la connessione tra i valori di verità di un'istruzione composta e valori di verità di le sue dichiarazioni sub è descritta la tabella di verità table.Truth detiene di righe e columns.The prima colonna viene riempita con i possibili valori di verità delle sub - dichiarazione e colonna finale è pieno di valori di verità della dichiarazione composto sul fondamento di valori di verità del secondario - dichiarazione scritta nelle righe iniziali sono columns.2n presenza nella verità tavolo.Se av l'affermazione è vera, diciamo che è valore di verità sia vero o T e se l'affermazione è falsa, diciamo che è valore di verità è tabella di verità false o FSymbolic per connettivi logici: Congiunzione o e: AB a '^^' BT T TT F FF T FF F FDisjunction /o: AB A'vv 'BT T TT F TF T TF F FNegation oppure no: a ~ AT FF TProblems per simbolici tabelle logica vero: Problema 1: risolvere un '^^' (~ a) Soluzione: GivenA '^^' (~ a) a ~ AA '^^' (~ a) TF FF T FProblem 2: risolvere (~ A) 'vv' (~ B) Soluzione: Dato (~ A) 'vv' (~ B) AB ~ A ~ B (~ A) 'vv' (~ B) TTFF FT FFT TF TTF TF FTTT