Dintre cele două premise negative nu pot fi încheiate

CONCEPTE FORMA LOGICĂ ȘI LEGEA LOGIC

Concepte de bază ale logicii:

Forma logică a contextului limbii - expresie, fixarea părții conținutului contextului, care rămâne în urma deturnării conținutul specific al termenilor non-logice sau conținutul declarații simple, incluse în context.

Dacă fiecare dintre parcele este adevărat, dar concluzia este falsă, concluzia corectă.

Deducția este corectă. dacă vom obține o concluzie cu adevărat premise adevărate.

În conformitate cu această condiție, să zicem între premisele și concluzia există o relație de consecință logică

consecință logică - raportul dintre declarațiile formularului.

De la G (gamma) implică în mod logic B (beta), dacă și numai dacă nu există o astfel de interpretare a parametrilor care alcătuiesc G și B, în care toate expresiile G lua valorile „true“ și B este setat la „false“.

legea logică - declarație identică adevărată, și anume este o astfel de formă logică de afirmații, care ia valoarea „adevărată“ în interpretarea parametrilor conținute în compoziția sa.

4. O motivație bună

Fundamentarea corect. dacă implică o formă de garanție:
Colete. „Și“
Concluzie. „Și“

Legile logicii au caracteristica. Dacă oricare dintre variabilele din ele ori de câte ori se constată, înlocuiți cu formula, rezultatul va formula din nou identic adevărat.

Modalități de raționament corect:

p, q, r, s ... - se referă la declarații simple. (Mononucleare oferte)

Pentru a construi un tabel de adevăr, trebuie să folosim o propoziție complexă, în care toate declarațiile combinate în diferite pachete lingvistice. Construirea unui tabel de adevăr, trebuie să ia în considerare o coloană cu ultimul buchet.

· În cazul în care coloana toate 1, atunci formula este numit în mod identic adevărat sau legea logică

· În cazul în care coloana toate 0, atunci formula este numit o identitate falsă

· Dacă există un 1 și 0, atunci formula este numit un refutabilă

· Dacă există cel puțin un 1, atunci formula este numită fezabilă

· Dacă există cel puțin un 0, atunci formula este numit un refutabilă

Dă valoarea unei conjuncții propozițională - compare cu o funcție specifică a adevărului.

10. Tipuri de formule, relația dintre formulele

Identic adevărat. în coloana rezultat al tuturor „și“

Identic false. în coloana rezultat al tuturor „L“

Consecvent - acolo „și“ și „L“

În mod logic adevărat - cu formula are o valoare în toate rândurile din tabel „și“

în mod logic fals
în mod logic nedeterminist

1 Sovmestivnye istinnosti- la cazul în care există un rând de tabel de adevăr în cazul în care declarația se evaluează la TRUE (1) simultan

2 sovmestivnye de lozhnosti- în cazul în care declarațiile de masă adevăr în linia este setat la fals (0) simultan

3 următor Boolean (supunere) - o pluralitate de formule F (gamma) rezultă în mod logic cu formula V, ete, în masa lor de adevăr comun nu există o astfel de string, în care toate formulele T adevărate și formula B - false.

11. Principalele legi și metode de motivare corectă a logicii propoziționale clasice

Fundamentarea corect. dacă implică o formă de garanție:
Colete. „Și“
Concluzie. „Și“

Legile logicii au caracteristica. Dacă oricare dintre variabilele din ele ori de câte ori se constată, înlocuiți cu formula, rezultatul va formula din nou identic adevărat.

Modalități de raționament corect:

Contradicții. 7 (A 7A)

12. Concluzii și dovezi în calculul propozitional clasice

13. Tipuri de raționament:

16. Vyvod- non-gol și nedefinitive secvență de operații C1, C2, Ck (1) în care fiecare C este fie trimiterea sau apare din liniile anterioare, una dintre regulile de inferență

norme 17. inferenta: * introducerea de reguli, excepții de la regulile *

18. Limba de calcul propozițional clasic este limba KLV

19. (2) Dacă ieșirea folosită sau # 9488; B, atunci toate formulele din ultimele parcelelor și până la rezultatul aplicării acestei reguli sunt excluse de la participarea la ieșire pașii.

20. ieșire Dokazatelstvo- dintr-o multitudine de pachete goale. Ultima formula din dovada se numește formula demonstrabila sau teorema.

21. euristice - o modalitate de a găsi presupunerea corectă în demonstrația

22. 1 heuristics: Dacă A B, atunci A ca ipoteze și ieșire țintă B

23. 2 euristice: Argumentul contrariul A # 9488; A - obiectivul ipoteza

24. 3 heuristics: Dacă A este B, # 9488; A - premisă, apoi, cu excepția

21. Conceptul unei forme de gândire și principalele sale tipuri

Concept - ideea că alocate pe baza unui caracter din universul tuturor lucrurilor care au această caracteristică, și colectează în clasa.

Principalele caracteristici ale conceptului:

Volum - multe elemente eliberate din univers pe baza unui caracter.

Se numește concepte goale care nu se potrivesc nici un lucru în lumea obiectivă.

De exemplu. "Perpetuum mobile".

Sunt concepte non-goale relevante pentru orice obiecte ale realității;

De exemplu: „Calea Lactee“.

Pozitiv - conceptul, conținutul care este exprimat în prezența oricăror proprietăți ale obiectului.

Negativ - conceptul, conținutul care este indicat în absența subiectului oricăror proprietăți. Verbaliza particule negative și nu fără. În cazurile în care particula negativă a fuzionat cu cuvântul nu este folosit și fără ea, aceste concepte într-o clasă de pozitivă (indignare martisor).

3) Ca obiecte de tip generalizare:

Nesobiratelnye - concepte, care se crede de semne legate de fiecare element (stea, comandantul regimentului).

Specific - conceput obiect sau o colecție de obiecte ca ceva existent în mod independent (cartea, martorul, statul);

obiect sau caracteristica relație concepută între obiectele (îndrăzneala eternitate responsabil) - Rezumat. Format ca urmare a abstractizare distrage atenția de la un atribut obiect. Mediator - concept general, specific; Medierea - un general, abstract. ONU - o unitate în mod specific.

23. Tipuri de relații între concepte

Comparabil - există unele semne care permit aceste concepte sunt comparate unele cu altele (presa si TV - media).

Incomparabil - nu au caracteristici comune, este imposibil să se compare (crima, pătrat).

numai concepte comparabile pot fi într-un mod logic.

- concepte compatibile, a căror volum este coincid în totalitate sau parțial. Compatibilitate relatie:

3. Prezentarea (subordonare) - conceptul de volum dintre care unul este pe deplin inclusă în domeniul de aplicare al altuia, care fac parte din ea (Curții (A - Conceptul subordonându - un fel de) și Curtea orașului (în - conceptul subordonat -. Un fel) În cazul în care, în ceea ce privește transmiterea sunt două concepte generale care subordonându - natură; sclavi - născuți Dacă, în ceea ce privește transmiterea sunt generale și conceptul particular (individual), total (subordonând) - formă, și o unitate (sclav) - individ (avocat și Vasya Ivanov) ..

Incompatibilă - conceptul, volumele care nu sunt identice, fie total sau parțial. incompatibilitatea relațiilor:

2. Opusul (contrarii) - concepte, dintre care unul conține unele dintre semnele și celelalte - atribute care nu sunt compatibile cu acestea; volume de două concepte opuse constituie doar o parte din volumul total pentru conceptul lor generic (stat prietenos (A) și de stat ostil (B), linia punctată indică termenul generic de „stat“, alb-negru).

3. contradicție (kontradiktornost) - concepte, dintre care unul conține unele dintre caracteristicile și celelalte caracteristici sunt aceleași exclude; volum două concepte contradictorii alcătuiesc întregul volum al genului (starea de prietenos (A - un concept pozitiv) și starea neprietenos (non-A - concept de negativ) de evacuare a dispozitivului domeniul de aplicare al conceptului de „stat“).

Exemplu: Definiți tipul de relație între conceptele de „casă de piatră“, „casa neterminată“, „casa“, „clădire“, „garaj“.

Cel mai mare în ceea ce privește volumul între aceste concepte - structura. Acesta va fi cel mai mare cerc. Toate celelalte concepte sunt în relație de subordonare în acest concept și cercuri sunt desenate în interiorul cercului mare.
Acum, să vedem cum vor fi amplasate în interiorul cercurilor. Conceptul de o casă de piatră și o casă neterminată în relația de subordonare, nu numai în conceptul de „structură“, dar, de asemenea, conceptul de casa. Între aceste două concepte sunt în raport cu intersecția. astfel încât tragerea la sorți, după cum urmează: două cercuri se intersectează în cadrul conceptului „acasă“.
Conceptul rămâne garaj. Acest concept este asociat numai cu conceptul de „structură“ - este, de asemenea, în ceea ce privește prezentarea. Deci, doar în interiorul placată-metal „structura“ a conceptului, care în nici un fel nu ar trebui să afecteze alte cercuri.

25. Tranzacții cu conceptele: o generalizare, restricție, diviziunea

De exemplu. Generalizând noțiunea de „Ministerul Justiției din România“ - noțiunea de „Ministerul Justiției“. Concepte Generalizarea are loc prin aruncarea conținutului conceptului original al unui individ, specie, simptom.

De exemplu. termenul „avocat“ poate fi limitată prin adăugarea de semne despre specificul unei activități profesionale de avocat, de exemplu, să fie „investigator“ - a lua conceptul de „investigator“; adăugând un semn pentru a fi „ca un procuror“, puteți obține conceptul de „investigator“ și așa mai departe. d.

Delenieponyatiy- o operațiune logică care să reflecte conceptul de volum. În procesul de împărțirea volumului în grupuri distribuite concepte.

Elementele divid sunt conceptul delimoe-, al cărui domeniu de aplicare este necesară pentru a dezvălui; Membrii deleniya- specii supraordonate care împărtășește conceptul; baza de deleniya- semneze, prin care se face repartizarea.

De exemplu, elevii din școală pot fi împărțite în clase, în clasele - la

grupe în funcție de diferite criterii: sportivii si non-sportivi; învățarea engleză, germană și franceză, și așa mai departe. n. Tranzacții (Acord) pot fi împărțite în multilaterale, bilaterale și unilaterale.

26. Conceptul de piață logică, deducții directe și tipuri

Logică pătrat - schemă, care exprimă relațiile cu tone sp .. de adevăr și falsitate dintre universal afirmative, universal negativ, și la adesea chastnootritsatelnym judecăți trad. logică, având același subiect și același predicat.

Tipuri de inferență imediată:

Conversia (SAP-> SE-P) - un fel de inferență directe în care se schimbă de calitate, fără a schimba valoarea sa parcelă. Aceasta se realizează în două moduri:

a) printr-un dublu negativ, care este plasată înaintea liantului și înaintea predicatelor: S este P; S nu nu este P

b) prin transferarea negația unui predicat într-un pachet: S nu este P; S nu este P

Manipularea (SAP-> PIS) - inferență directă, în care există o schimbare de locuri de subiect și predicat, menținând în același timp calitatea hotărârilor.

Toți avocații - avocați \ Toți S sunt P

Unii avocați - avocați \ Unii P sunt S

Contrastant predicat (SAP-> SE-P-> PES) - transformarea acestei aplicații succesive și operații de manipulare - judecata de conversie într-o nouă propoziție în care subiectul devine un concept contrazice predicatului și predicatul - obiectul hotărârii inițiale; Acesta se schimbă calitatea judecății.

Exemplu de judecată „Toți avocații - avocați“ pot fi, opunându-predicat primi „Nici avocatul nu este un avocat.“ schematic:

Nici unul P nu este S.

termen majore (R) - concluzii predicat;

Termenul minor (S) - pentru a intra în subiect;

Pe termen mediu (M) - se conectează în pachete P și S, în concluzie offline.

Toate fluid (M) - elastic (P) - premisa majoră

Mercury (S) - lichid (M) - detașarea inferior

Mercury (S) - elastic (F) - Concluzie

Cifra silogismului - un set de silogisme având similare

Modus silogism - multe silogisme care au o structură care este determinată de tipurile de declarații, incluse în compoziția sa.

Corect Modi - cele pentru care între relația premise și concluzii există implicație logică.

1. În fiecare silogism, ar trebui să existe doar trei termeni - mari, mijlocii și mici.

2. Pe termen mediu ar trebui să fie distribuite. adică, luată în întregime, cel puțin una din parcelele. Pentru a face acest lucru, el trebuie să fie obiectul unei propuneri generale, predicatul sau o hotărâre negativă.

3.Termin nu distribuite în incinta nu pot fi distribuite în concluzie. Propozițiilor generale, premise, „Toate păsările zboară folosind aripi“ și „Toate păsările - animalele cu sânge cald“, nu poate fi obținut ca hotărârea sumară de ieșire. Cel mai mic termenul de „animalele cu sânge cald,“ merge pe predicatul în premisa afirmativă și, prin urmare, nu distribuite. În consecință, în producția ar trebui să fie nu au fost luate în întregime.

4. Din două parcele private nu este posibil să se tragă o concluzie. În acest caz, nu puteți seta relația de volum dintre termenii silogismului, prin urmare, o concluzie certă nu se poate. De exemplu, din parcelele: „Unii membri ai Academiei de Științe - chimisti“ și „Unii biologi - membri ai Academiei de Științe“ nici o concluzie certă nu urmează. Volumul subiectului ( „unii biologi) se pot intersecta într-un fel cu volumul predicatului (“ chimice „), dar poate fi, de asemenea, situate în afara

5. În cazul în care o parcelă privată, producția va fi privat.

Din parcelele: „Toți participanții crucii - atleților“ și „Unii studenți inteligente - participanți crucii,“ concluzia generală imposibilă. Nu se poate spune că toți elevii inteligente - sportivi, deoarece aceasta este doar o parte din volumul termenului mai mic.

Dintre cele două premise negative nu pot fi încheiate.

În acest caz, toți termenii se exclud reciproc, eliminând orice relație volumetrica între ele. Din incinta, „Nici o planetă strălucește cu propria sa lumină“ și „satelit artificial nu este o planetă“ - nici o ieșire ar trebui să fie.

7. Dacă o premisă este negativă, rezultatul este negativ. De exemplu: „Orice ședere în aer curat este util. șederea aer curat la o temperatură scăzută este periculoasă. Prin urmare, expunerea la aer curat, la temperaturi scăzute pot fi dăunătoare pentru sănătate. "

Silogism - o concluzie logică trase din două parcele # 9670; Ia două fapte: „Socrate - un om“ și „Toți oamenii sunt muritori.“ Silogism acestor două fapte este „Socrate este muritor“.

Condiționate sillogizmy- astfel de silogisme, în care una sau ambele amplasamente - judecăți condiționate. Schema silogism condiționată, în care ambele loturi - judecăți condiționate: