Introduzione per dichiarazione logica: Nella dichiarazione Logic o Proposition, una dichiarazione logica è una dichiarazione, che nel contesto dato è vera o falsa, ma non entrambi. Piccole lettere come p, q, r ecc indicare il statement.Examples logica: somma di due interi pari è ancora integer.'sqrt (3) 'è un number.Earth razionale è flat.7 è un numero primo number.5 - 7 = -2.Note: Le dichiarazioni che coinvolgono opinioni, punti di domanda, segno esclamativo, di comando. !? Desiderio non è statement.Examples logici per dichiarazione logica: logica è interesting.What un bel tempo Dove vai Motivi siedono down.May dio ti benedica Concept - Dichiarazione Logic: valore di verità per la dichiarazione di logica: Il truthiness o falsità di una proposizione è chiamato il suo valore di verità. Se una dichiarazione logica è vero che è indicata con "T" e se è falsa è indicato da "F" Esempio di dichiarazione di logica: ". T" Il valore di verità di5 + 6 = 11 è "Oggi è Domenica" è o "T" o "F" nel contesto dato cioè, in un particolare giorno è solo uno di "T" o "F" economico Logic aiuta con connettivi e proposizioni composti: Due o più semplici istruzioni logiche sono collegati da usando le parole "e", "o", "se ... allora", "se e solo se". Questi termini o assioma sono chiamati connettivi logici. Eventuali proposizioni che contengono uno o più connettivi sono chiamati una proposta composto. La semplice aiuto dichiarazione logica che si verificano in una proposizione compound sono chiamati tavolo components.Truth: I valori di verità della proposizione composti per tutti i possibili valori di verità delle sue componenti sono esprime in forma di una tabella chiamata verità table.For una proposizione compound con una sola proposta semplice, tabella di verità si compone di 2 possibilità (T o F) .Per una proposta composto con due proposizione tabella di verità consiste in '5 ^ 2' = 25 possibilità. Per una proposta composto con tavolo 3 proposizioni verità si compone di '5 ^ 3' = 125 possibilities.Example per Statement Logic: Scrivere la seguente dichiarazione logica simboli: Se un numero non è reale, allora è complex.Solution: Sia P: A numero è real.q: e 'complex.Given proposizione in simboli: ~ p' => 'qSe Alex è intelligente o laboriosa quindi la logica è easy.Solution: sia P: Alex è intelligent.q: Alex è hardworkingr: Logic è facile .Dato proposizione: (p'vv'q) '=>' r.If 3 non è dispari e 2 non è nemmeno allora 7 non è dispari o 8 non è even.Solution: Let p: 3 è oddq: 2 è evenr : 7 è probabilità: 8 è evenGiven proposizione: (~ p '^^' ~ q) '=>' (~ r'vv '~ s)