Declarație - o propunere care exprimă hotărârea. În cazul în care hotărârea este conținutul (sensul) a unei propoziții este adevărată, iar această afirmație spunând că este adevărat. În mod similar, o declarație falsă numit, care este expresia unei hotărâri false. Adevărul și minciuna sunt numite logice sau Adevăr, valoarea propozițională [1].
Declarația ar trebui să fie propoziții declarative. Enunțurile sunt, de obicei, în contrast imperativ, interogativă, precum și orice alte propuneri, adevăr evaluare sau falsitatea care nu sunt [2].
conținut
Aceeași hotărâre poate fi exprimată în diferite limbi și în diferite forme simbolice în cadrul unei singure limbi. În cazul în care hotărârea este luată în considerare în legătură cu orice formă particulară a expresiei sale lingvistice, aceasta se numește o declarație. „Judecata“ termenul este utilizat atunci când deviat de la ceea ce este forma sa simbolică [3].
declarații logice pot fi subdivizate în componente (sau complexe), și elementar. declarații logice compuse - enunț conținând constante logice. Instrucțiunile compuse se bazează pe alte declarații. O valoare Boolean este determinată utterances complicată valoare logică în componența sa și cele logica propozitiilor constantă, prin care este construit [1].
Declarații logice elementare - declarații nu este relevant pentru compusul. Un exemplu de enunț elementar poate servi 5 <7. Примером составного логического высказывания может служить если 5 <7, то 5 — чётное число [1] .
Constanta logică (logica constantă [4], operația logică [5]) - denumirea termenul păstrează aceeași valoare în toate enunturile și nu depind de un anumit conținut enunț. Constantele logice sunt folosite pentru a conecta propoziții simple în complexul [6]. constanta Logic împărțită în cuantificatorii și asociații logice (ligamente). Cuvintele nu sunt; adevărat că; și; sau; în cazul în care. atunci; dacă și numai dacă; fie. fie; inconsistente; nr. nici unul; nr. dar; dar sinonimele lor sunt următoarele Conectivele logice, cuvântul pentru toată lumea. cazul în care; pentru unii. cazul în care sinonimele lor care vin sunt cuantificate. Constantele logice sunt utilizate pentru exprimarea gândurilor în raționament și de uz zilnic dovezi științifice. [1]
Constantele logice logice matematice indicate prin următoarele simboluri: [6]
Sindicatele Logic fac parte din limbajul logicii propozițiilor, cuantificatorii au fost introduse în continuare în limba logica predicatelor, care este o extensie a limbajului logicii propozițiilor [7].
Subiectul logic - că ceea ce se spune într-o propoziție (declarație) [8], atunci ce sunt propunerile cuprinse în aprobarea sau refuzul [9]. Un predicat Boolean - conținut în propoziție (enunț) informația despre subiectul logic [10].
Rolul jucat de logica prostnye și numele complexe, rolul predicate logice - predictori (sau predicate [11]). Acestea din urmă includ proprietățile și relațiile [9]. Predictori servi ca subiect-adevăr-display, oferind subiecților o anumită clasă de „true“ sau „false“. Proprietățile sunt un singur predictor, descriind un subiect separat, și relațiile - cele mai multe care caracterizează un cuplu, trei, etc. articole [11] [12]. rostire Inutil în cazul Multi-predictor cuprinde o multitudine de logică să fie [13].
Formularul propozitional (forma enunț predicat [9]) este incompletă afirmație logică, în care unul dintre obiecte este înlocuit cu o variabilă subiect. Prin substituirea o astfel de valoare variabilă a unei forme de exprimare propozițională este convertită în [1]. Deoarece variabilele obiect în limbaj natural sunt denumiri comune care reprezintă clase de obiecte și înlocuibil în limbi formalizate cu caractere speciale. Forma este similară cu afirmația, dar nu este nici adevărat, nici fals (vag adevărat), deoarece nu se cunoaște în ce afirmația sau negarea. [9]
Formularul declarații necesită completări, dacă hotărârea de aprobare sau de refuz se aplică tuturor sau nu la toate obiectele din această clasă, care este dat un nume generic. Funcția acestor indicii funcționează exprimate sau implicite cuantificatori. Ea nu poate fi evaluată ca formă propozițiilor adevărate sau false, cum ar fi omul - pur și simplu. Expresia de mai sus este similar cu y expresie - la fel. Din acest formular, puteți obține declarația, înlocuind un singur nume comun: Ivanov - doar, sau prin introducerea cuantificatorii: Unii oameni dețin. Declarațiile folosind cuantificatorii exprima multiple - publice și private - avize [9].