Logica este una dintre cele mai vechi stiinte. Ca știință independentă, logica sa dezvoltat în IV. BC Fondatorul ei este filozoful antic grec Aristotel. Gândiți-vă în mod logic - este de a gândi precis și consecvent pentru a evita contradicțiile în argumentele lor, pentru a fi în măsură să deschidă erorile logice. Subiectul studiului științei logicii este gândirea umană.
Forme de gândire
Conceptul este o formă de gândire, în care se reflectă caracteristicile esențiale distinctive ale obiectelor.
Esențiale sunt numite astfel de semne, fiecare dintre acestea, luate separat, este necesar, dar toate împreună sunt suficiente pentru a distinge obiectul sau fenomenul de toate celelalte cu ajutorul lor.
Expresia lingvistică a judecăților este o sentință narativă
Expresia lingvistică a judecăților este o sentință narativă. Judecățile sunt simple și complexe (compuse din una sau mai multe expresii logice simple (sau complexe) asociate cu utilizarea operațiilor logice).
Judecata (declarație, afirmație) este o formă de gândire în care se afirmă sau se contestă ceva despre obiecte, proprietățile sau relațiile dintre ele.
Inferența este o formă de gândire
Inferența este o formă de gândire prin care, dintr-una sau mai multe judecăți, numite premise, rezultă, conform unor reguli de deducere, o judecată-concluzie (concluzie de deducere). Premisele inferenței nu pot fi decât judecăți adevărate
Logica antică creată de Aristotel este numită logică formală
Această denumire provine din principiul de bază al logicii ca știință, care spune că corectitudinea raționamentului (deducție) este determinată numai de forma sau structura sa și nu depinde de conținutul specific al judecăților sale.
Algebra logică (algebra propozițională) este o secțiune a logicii matematice
studiind structura (formă, structură) a unor declarații logice complexe și modalități de stabilire a adevărului lor cu ajutorul metodelor algebrice.
Prin pronunțare se înțelege o propoziție narativă despre care se poate spune dacă este adevărată sau falsă.
Declarațiile sunt notate cu majuscule (A), dacă instrucțiunea este adevărată, atunci ei scriu A = 1 și spun A este adevărat. dacă declarația este falsă, scrieți A = 0 și spuneți A - false.
În algebra logică asupra afirmațiilor este posibilă efectuarea de diverse operații.
Operații logice
O operație logică este o modalitate de a construi o declarație complexă din aceste afirmații, în care valoarea adevărului unei declarații complexe este complet determinată de valorile de adevăr ale declarațiilor inițiale.
Negație logică (inversiune) Multiplicare logică (conjuncție) Adunare logică (disjuncție) Implicare logică (implicare) Egalitate logică (echivalență)