Per definire il termine "logica proposizionale", è necessario capire chiaramente qual è la "dichiarazione".
Così l'affermazione è un suggerimento, classificato grammaticalmente corretto, ed è falso o vero.Questa nozione deve esprimere un certo significato.Ad esempio, la frase "canarini hanno" comprende i seguenti componenti: "canarino" e "Bird".
Ecco perché uno dei principali concetti iniziali di logica e sta dicendo.Questi concetti sono per descrivere la situazione specifica in cui la dichiarazione è o qualcosa o la negazione.
Vero considerato dire, se la linea tracciata realtà della situazione quando è circoscrivere.Stessi "false" e "vero" definire una vera dichiarazione.Istruzioni logiche
consiste di espressioni semplici e complesse.Quindi, basti pensare l'affermazione che non include nella sua composizione altre espressioni.E al complesso includere espressioni che derivano dalle dichiarazioni semplici, logicamente correlati.
logica proposizionale classica può essere rappresentato dalla teoria generale della deduzione.È quella parte della logica, che non descrive dipendono dalla struttura delle frasi connessioni logiche espressioni semplici.
Per non parlare delle congiunzioni - una dichiarazione complesso, ottenuti dalla combinazione di due espressioni semplici che utilizzano la parola "e".La verità della congiunzione conferma l'esattezza di tutte le dichiarazioni contenute nella sua struttura.Nel caso in cui almeno uno dei suoi membri è falsa, l'intera congiunzione è un segno di "una bugia".
congiunzione si serve per formare le istruzioni complesse, che si basano su questi presupposti:
- qualsiasi espressione (sia semplici e complessi) può essere sia vera o falsa;
- la verità delle espressioni complesse dipende dalla verità delle affermazioni contenute in esso e dei collegamenti logici in esso.
Quando si uniscono due dichiarazioni con la parola "o" ha già ottenuto una disgiunzione.Nella vita di tutti i giorni, questo concetto può essere visto dalla prospettiva di due significati diversi.Innanzitutto, è senso non esclusiva, che implica la validità di espressione, indipendentemente dalla espressione di uno o due di questi, sono entrambi.In secondo luogo, eliminando il senso afferma che una delle espressioni è vero, e l'altro - è falso.
formule della logica proposizionale contengono caratteri speciali.Così, nel simbolo disgiunzione V indica il fatto che l'espressione è vera alla verità di almeno una delle istruzioni, e falso se entrambi i suoi membri sono false.
Nel determinare l'implicazione c'è una dichiarazione dicendo che la base non può essere vero al indagini sbagliato.In altre parole, questo concetto implica verità dipendenza o falsità della espressione del valore dei suoi componenti e metodi di loro relazioni.
Nonostante il fatto che l'implicazione è molto utile per alcuni scopi, non è molto coerente con la comprensione del collegamento condizionata in generale.Così, in molti tratti importanti circonda il dispositivo comportamento logico dire che questo concetto non può essere una descrizione adeguata di essa.Logica
di dichiarazioni volte ad affrontare questo problema centrale, come la separazione di schemi di ragionamento giusto e sbagliato e sistematizzazione della prima.Per ottenere il risultato corretto, è necessario concentrarsi su i caratteri speciali che possono rappresentare una forma o nell'altra.Di qui l'interesse indicato in tali termini apparentemente insignificanti come "e", "e", eccIstruzioni logiche
ha anche un proprio linguaggio, che è costituita dai seguenti elementi:
- i caratteri originali - variabili, costanti e segni tecniche logiche;
- formule.
Per capire quanto è stato detto deve andare ad esempi specifici.Ad esempio, utilizzando il simbolo congiunzione & amp;, disgiunzione - \ / o \ º /.
