Che è una dichiarazione di logica ?

Dichiarazioni forniscono la base per trarre conclusioni valide in logica , matematica e filosofia ma anche utilizzare istruzioni logiche per costruire argomenti validi e trarre conclusioni . Anche se potrebbe non sembrare come quando sei al di fuori di una classe , si utilizza istruzioni logiche nel linguaggio comune per trasmettere informazioni ad altre persone e per trarre le vostre dichiarazioni conclusions.Logic

Una dichiarazione è una frase che dichiara qualcosa e che può essere verificato come true o false . Frase frammenti , domande e comandi non sono affermazioni logiche perché non sono dichiarative , frasi complete .

Per esempio , " Le chiavi della macchina sono nel cassetto " è un'affermazione logica , perché è una frase completa e dichiara qualcosa che può essere verificato come vero o falso . È possibile controllare per vedere se qualcosa è una dichiarazione logica aggiungendo " E 'vero che ... " all'inizio della frase . Se ha ancora senso con " E 'vero che ... " di fronte ad essa , è un'affermazione logica
istruzione condizionale

Una dichiarazione logica condizionale è un dichiarazione che è costituito da due condizioni , in cui una condizione dipende dall'altro . Per l'intera istruzione condizionale per essere vero , la condizione di dipendenza deve essere vero quando l'altro è vero , ad esempio , si consideri la seguente istruzione condizionale : "Se io studio , poi mi metterò un buon voto . " Se si studia e ottiene un buon voto , quindi l'istruzione condizionale è vera; tuttavia , se si studia e non si ottiene un buon voto , quindi l'istruzione condizionale è falsa .
L'utilizzo di istruzioni logiche

Dichiarazioni di logica sono utilizzati per trarre conclusioni valide . Una conclusione è valida se tutte le premesse che hanno portato a questa conclusione sono vere . Ad esempio, considerare le seguenti istruzioni :

" . Se io studio , che riceverà un buon grado "

" . Ho studiato "

Se si assume che studiare garanzie un buon voto , rendendo la prima premessa vera , e che hai fatto lo studio , rendendo la seconda premessa vera , allora si può concludere che hai ricevuto un buon voto .
Altre considerazioni

le variabili sono spesso utilizzati per visualizzare facilmente la relazione tra due istruzioni logiche senza dover riscrivere l' intera istruzione ogni volta che si vuole parlare del rapporto tra i due. Per fare questo , è necessario assegnare variabili a ciascuna delle dichiarazioni . Dall'esempio nella sezione 3 , le due affermazioni compiuti sono : " Io studio " e " Riceverò un buon voto . " Sia P uguale " Io studio " e Q uguale "Ho riceverà un buon grado " :

Se P , allora Q

P , quindi , Q.