Semnături în diapozitive:
Logica ca știință
- Logică (din Logosul grec - cuvânt, concept, rațiune, rațiune) - știința forțelor și a legilor gândirii raționale.
- Democrit
- Euclid
- Descartes
- Un concept este o formă de gândire care denotă un obiect sau o caracteristică a unui obiect care o deosebește de alte obiecte.
- De exemplu: "câine", "plantă", "planetă", "element chimic", "curaj", "diligență" etc.
- Între ansambluri (volume de concepte comparabile) pot exista diferite tipuri de relații care sunt convenabile să fie reprezentate de cercurile Euler:
- Echivalența ("identitatea"). Atunci când volumele de concepte coincid complet;
- intersecție. Volumele parțiale coincid;
- depunere. Atunci când volumul unui concept intră complet în volumul unui alt concept și așa mai departe.
- A = B
- A
- În
- A
- În
- Spunând (judecata, afirmația) este o formă de gândire în care se afirmă sau se dezminte ceva despre obiecte, proprietățile sau relațiile dintre ele. Declarația poate fi adevărată sau falsă. Declarațiile nu pot fi exprimate prin sentințe interogative sau motivaționale, deoarece evaluarea adevărului sau a falsității unor astfel de propuneri este imposibilă.
- De exemplu: "Soarele nu este o planetă"; "Unele substanțe sunt metale"; "Toate figurile sunt semne"; "2 2 = 4" și așa mai departe.
- Declanșarea generală începe (sau poate începe) cu cuvintele: totul, toată lumea, toată lumea, nimeni.
- O expresie specială începe (sau poate începe) cu cuvintele: unele, cele mai multe, etc.
- În toate celelalte cazuri pronunțarea este singulară.
- De exemplu: "Toți peștii pot înota"; "Unele urși sunt maro"; «Scrisoarea A-vocală»
- Declarațiile sunt comune,
- privat sau individual.
- Inferența este o formă de gândire în care două sau mai multe dintre propozițiile originale, numite propoziții, primesc o nouă exprimare sau o concluzie.
- Un exemplu de deducere: "Toate metalele sunt conductive din punct de vedere electric. Fierul este metal. Fierul este conductiv din punct de vedere electric. "
- Scopul principal al logicii este de a studia modul în care unele dintre afirmații pot fi derivate de la alții. Se presupune că derivarea depinde numai de modul în care sunt structurate creanțele care sunt incluse în ea și nu de conținutul lor specific. De aici o altă definiție a logicii.
- Logica este o știință care studiază metode de a stabili adevărul sau falsitatea anumitor afirmații (declarații) bazate pe adevărul sau falsitatea altor declarații.
- De-a lungul timpului, logica dezvoltării sale sa schimbat de la formal la matematic (de la forma verbală a raționamentului la înregistrare la scrierea raționamentelor cu simboluri). În ea au apărut metode matematice de investigare, concretența legilor. Fondatorul logicii matematice este filozoful-matematicianul GV Leibniz (1646-1716).
- În secolul al XIX-lea a existat o secțiune logică matematică-cal - algebra logicii care opereaza pe variabile binare care au doar două valori - „true“ sau „false“. Algebra logică în onoarea creatorului său, matematicianul englez J. Boole, a fost numită algebră booleană. Cu logica formală nu și-a pierdut importanța și este utilizat în prezent în filosofie, drept, criminologie, psihologie și așa mai departe. D.
- algebra booleană a găsit aplicarea pe scară largă în practică în domeniul tehnic - icpolzyetcya pentru a rezolva probleme matematice complexe, atunci când scrieți algoritmi și software, dezvoltarea dispozitivelor electronice, calculatoare, sisteme automa-ically, robotică, etc ...
- Algebra logică este o secțiune a logicii matematice care studiază afirmațiile logice și metodele de a-și stabili adevărul sau falsitatea prin metode algebrice.
- Adevărul sau falsitatea unei declarații nu este determinată de algebra logică, ci de științele, practica și observațiile specifice.
- Pentru algebra logică, semnificația unei rostiri nu este importantă, doar adevărul sau falsitatea ei este importantă.
- Din declarațiile date se pot construi noi declarații. Pentru aceasta, cuvintele și expresiile "și", "sau", "nu", "fie". sau "," apoi și numai ", etc. Astfel de cuvinte și fraze se numesc conectivități logice sau cuantificatori.
- Declarații. formate din alte cuvinte, se numesc compuse (complexe). Declarații. care nu sunt compuse, sunt numite simple sau elementare.
- De exemplu: din simple afirmații "jucător de fotbal Serghei", "înotător Serghei" puteți obține o declarație compusă "Serghei fotbalist și înotător".
- În algebra logică, declarațiile pentru formalizarea operei sunt notate cu nume simbolice, de exemplu: A, B, C.
- Apoi, dacă notăm afirmația simplă „Denis a făcut lecții“ Un nume „Denis a mers la filmul“ În numele, declarația compus „Denis a făcut lecții și a mers la filme“ poate fi scris ca „A și B“. Aici "și" este o legătură logică. A, B sunt variabile booleene care pot lua valorile logice "adevărate" sau "false".