Comunicarea oamenilor ca formă de schimb de informații este secvența de întrebări și răspunsuri. Fiecare întrebare este „exprimă nevoia de cunoaștere a informațiilor despre lumea obiectivă înconjurătoare, ne exprimăm această cunoaștere sub forma hotărârilor judecătorești Hotărârile judecătorești pot exprima direct observat, da faptele:“ Pe ploaie stradă „“ Acest triunghi - isoscel, „etc. Dar judecata .. se pot exprima și declarații despre obiecte ficționale sau nu este încă PROIS-mars evenimente: „Mermaid așezat pe ramuri“, „Vara va fi fierbinte“, etc. În acest caz, y și d e n s - este o parte din declarațiile care pot fi adevăr sau fals, de exemplu, judecățile "Albă de zăpadă", "5 * 5 = 25" și Steen și judecata „Pământul este plat“, „2-2 = 5“ este falsă. Prin directă-guvernamentale observate fapte, acceptăm de obicei ca fiind adevărate. Afirmațiile false apar mai ales din cauza dorinței de a reverie sau din cauza unor erori de raționament sau ipoteze.
Judecățile sunt împărțite în general și particular. Hotărârile private exprimă fapte specifice (fapte private) Exemple de judecăți particulare: "2 + 3 = 4" "A ploua azi", judecățile generale caracterizează proprietățile grupurilor de obiecte sau fenomene. Exemple de propoziții generale: „Dacă un duș de ploaie, strada este umed,“ „Fiecare pătrat este un paralelogram“ etc. S-ar putea ca judecățile generale să fie valabile pentru o parte din obiecte și false pentru alte obiecte. De exemplu, afirmația „Câinii nu plac pisicile“ spraved-Livo pentru un număr mare de câini, dar nu pentru toți. Afirmația "x * y> 0" este valabilă pentru x = 1 și y = 1 și în același timp este falsă pentru x = 0 pentru arbitrar y.
Se spune că o propunere generală este identică. dacă este adevărat pentru oricare dintre obiectele menționate în hotărâre. Să luăm în considerare exemple. Instrucțiunea "x 2 = 0" este valabilă pentru orice număr real (real). Propoziția "O pisică are patru picioare" este adevărată pentru oricare dintre pisici. Aceleași judecăți adevărate sunt deosebit de valoroase atunci când exprimă conexiunea firească a lucrurilor. De exemplu, declarația «a + b = b + un“ valabil pentru orice număr de-vesche guvernamentale și exprimă legea aritmetică - «Din suma re-Setări nu este în schimbare».
În situații complexe, răspunsurile la întrebări sunt exprimate prin declarații compuse care utilizează ligamente și nu sau nu. De exemplu, propoziția "Omul acesta este inteligent și frumos" este o judecată compusă, compusă dintr-un set de judecăți simple: "Acest om este inteligent" și "Această persoană este frumoasă".
O propunere compusă din alte judecăți cu ajutorul conectivității logice se numește o judecată compusă. Nu este compus, adică fără a avea conecții logice, judecățile sunt numite simple sau elementare.
O grămadă, de asemenea, în judecăți compuse presupune întotdeauna adevărul simultan al judecăților judecătorești. De exemplu: Frumos și inteligent. Judecata va fi adevarata daca ambele sunt frumoase si inteligente. Dacă în momentul în care va fi vorba, ea va fi fie frumoasă
Un pachet sau în judecăți compuse poate juca un rol dublu. De exemplu, în fraza "Astăzi, flora va fi dizolvată sau nu se va răspândi" o grămadă sau poate fi înlocuită cu un "separat" fie. Și în fraza "Ploaia va fi în după-amiaza sau seara" sunt posibile trei situații: "Ploaia va fi în după-amiaza" sau "Ploaia va fi seara". fie "Ploaia va fi în timpul zilei și seara". În primul exemplu, un pachet sau joacă un rol de separare, iar în al doilea - un unificator.
În toate aplicațiile de calcul și în argumentele matematice, se presupune singura interpretare a tuturor conectivităților. În ele o grămadă sau este înțeleasă doar într-un rol mai larg unificator. De exemplu, în declarația ".x = 0 sau y = 0" ligament sau înseamnă fie "x = 0" sau "(y = 0" sau "x = 0"= 0 și" regula generală. Compus Propozitia sau cu o grămadă de matematică este considerat adevărat dacă este adevărat cel puțin una dintre componentele judecății, și este fals, fals în cazul în care toate componentele sale negarea unor astfel de declarații generale se bazează pe următoarele două reguli de inferență :. negarea și negarea existenței universalitate.
1. Negarea universalității. Pentru a nega afirmația generală, este suficient să dați cel puțin un exemplar contrare. De exemplu, afirmația anterioară că "toate pisicile sunt negre" este greșită. Pentru o respingere a acestui fapt este suficient să menționăm ca exemplu orice pisică de altă culoare. Al doilea exemplu: declarația "Toate numerele impare sunt prime" este incorectă. De exemplu, numărul 9 este o refuzare. Acest număr este ciudat, dar nu este simplu, deoarece 9 = 3 * 3.
2. Negarea existenței. Pentru a nega existența, este necesar să dovedim falsitatea afirmațiilor în toate cazurile.
Fiecare grămadă logică este tratată ca o operație realizată cu declarații logice și desemnată printr-un nume specific.
4. Logica pozitivă și negativă. Dacă în diagramele electrice ale elementelor logice ale computerului potențialul ridicat afișează o unitate, iar potențialul scăzut este de la zero, atunci logica este numită pozitivă (figura 1, a). Dacă, dimpotrivă, potențialul ridicat afișează zero și potențialul scăzut al unității converge, atunci logica se numește negativă (figura 1, b). Această regulă se numește o convenție logică.
Articole similare
Trimiteți-le prietenilor: