» Bəyanat nədir, onlar nələrdir. İfadə anlayışı. Bəyanatların növləri. Riyazi məntiqlə əlaqə

Bəyanat nədir, onlar nələrdir. İfadə anlayışı. Bəyanatların növləri. Riyazi məntiqlə əlaqə

Sitat

Sitat

(lat. cito - sitat gətirirəm) əsərin tematik, eləcə də sintaktik və ya ritmik cəhətdən təcrid olunmuş nitq fraqmenti, başqa əsərdə “yad nitq” əlaməti kimi, mötəbər mənbənin məzmununa istinad kimi istifadə olunur. Əgər sitat əsas mətnin daxilindədirsə, o, həmişə faktiki müəllif nitqindən ayrılır: durğu işarələri (dırnaq işarələri) və ya sintaktik ("dediyi kimi", "dediyi kimi", "sözlərə görə" növbələrindən istifadə etməklə). Sitat mətn çərçivəsində istifadə edilə bilər - xidmət epiqraf ya da V.P.-nin hekayəsinə münasibətdə Lermontovun “Tənha yelkən ağarır” misrası kimi başlıq. Kataeva. Sitatlar tam və ya natamamdır (müq. Xatirə). Onlar tez-tez qənaət etmək üçün istifadə olunur bədii vasitələr, mənasını ifadə etməyə xidmət edir: fikirləri oxucular tərəfindən çoxdan mənimsənilmiş başqasının mətninə istinad etmək, artıq məlum olan həqiqətlərin müfəssəl sübutlarını qurmaqdan daha asandır. Ancaq bəzən başqasının fikrinə istinad yeni müəllifin düzgünlüyünü təsdiqləmək üçün deyil, əks məqsədlə - oxuculara tanış olanlara "mənanı artırmaq" üçün istifadə olunur. nitq materialı. Belə ki, A.S. Puşkin sonuncu misrada “Yevgeni Onegin”ə istinad edir tutumlu söz-dən Sədi: "Başqaları yoxdur və onlar uzaqdadır." Bu sitat ayrılığın klassik situasiyasından xəbər verir, lakin şair ona konkret bioqrafik məna qoyur: “digərləri” ölü lisey tələbələri, “onlar” isə sürgün edilmiş dekabristlərdir.

Ədəbiyyat və dil. Müasir illüstrasiyalı ensiklopediya. - M .: Rosman. Redaktorluğu ilə prof. Qorkina A.P. 2006 .

Sitat

Sitat-dən çıxarış ədəbi əsər sözsüz dəqiqliklə verilir. Sitat ya sənədli dəqiqlik, ya da ifadəlilik üçün verilir. Birinci məqsəd əsasən elmi əsərlərdə, ikincisi isə bədii əsərlərdə və cəmiyyətdə həyata keçirilir. Sitatın ifadəliliyi, öz növbəsində, ona birbaşa xas olan mənadan və ya sitat gətirilən kontekstlə qurulan əlaqələrdən asılı ola bilər. Birinci növ ifadəlilik, əksər hallarda, maksimin ifadəliliyidir: Krılovun nağıllarından ("bu, pike, sizin üçün elmdir") bütün atalar sözü sitatları, "Vay bəladan" sitatlar belədir. Ağıllı" ("Hər kəs yalançı təqvimlərdir"). Onların kontekstlə əlaqəsi zaman keçdikcə silinir, arxalarında müstəqil məna qoyur. Bu sahədə müəllifin ixtiraçılığı sitat üçün ən diqqətçəkən ifadə seçimində özünü göstərir.

Sitatın ekspressivliyinin ikinci növü (kontekstlə əlaqəsi ilə) istinad edilən müəllifdən onun bütün dünyagörüşünü ən çox əks etdirən, istinad edilən əsərlə ən sıx əlaqəli olan sözləri seçmək bacarığını tələb edir. Vl-in ayələrində verilən məşhur belədir. Solovyovun Lermontovdan sitat-parafrazı: “Gözləri göy odla dolu” (Lermontovda: “Gözləri göy odla dolu”), kontekstlə əlaqəsinə görə sitatdır. Bütün dünya Lermontov erotikası.

Sitatın bədii imkanları təkcə sitat gətirilən sözlərin seçilməsində deyil, həm də onların məqsədəuyğun istifadəsində özünü göstərir: beləliklə, bir tərəfdən sitat gətirilən mətnlə əlaqəsi sayəsində xüsusi ekspressivlik qazanır, digər tərəfdən, sitat gətirilən müəllifə və ya əsərə istinad ədəbi əsərdə yersiz olardı.yaradıcılıq, prozaik səslənmə - burada müəllifin vəzifəsi əlaqəni vurğulamaqdır, lakin birbaşa istinaddan qaçmaqdır. Bu texnikanın nümunələrinə V.Bryusovda rast gəlmək olar: 1) “Xəyanət” şeirində: “tutqun və küt şəhvət atəşi” sözləri Tyutçevin bir qədər dəyişdirilmiş sitatı kimi səslənir, - sitatın Tyutçevin dünyası ilə əlaqəsi. poeziya əvvəlki sətirlərdən birində Tyutçevin adının çəkilməsi ilə vurğulanır; 2) “Mon rêve familier” şeirində “yenə mənimləsən, yaradıcılığımın xəyalları” kitabından əvvəl Lermontovun “Yaradılışımın xəyallarını sevirəm” epiqrafı sitat və Lermontovun poeziyasının obrazları arasında əlaqə yaradır.

Valentina Dynnik. Ədəbiyyat ensiklopediyası: Ədəbiyyat terminləri lüğəti: 2 cilddə / Tər. N. Brodski, A. Lavretski, E. Lunin, V. Lvov-Roqaçevski, M. Rozanov, V. Çeşixin-Vetrinski. - M.; L.: L. D. Frenkel nəşriyyatı, 1925


Sinonimlər:

Digər lüğətlərdə "sitatın" nə olduğuna baxın:

    - (lat., kimə aid etmək üçün citaredən). Başqa bir işdə istənilən yerə keçid; tanınmış fikrə dəstək olaraq başqa bir yazıçının sözlərinə istinad edərək. Rus dilinə daxil olan xarici sözlərin lüğəti. Çudinov A.N., 1910. SİTAT ... ... Rus dilinin xarici sözlərin lüğəti

    Sitat- Sitat ədəbi əsərdən alıntı, sözsüz dəqiqliklə verilmişdir. Sitat ya sənədli dəqiqlik, ya da ifadəlilik üçün verilir. Birinci məqsəd əsasən elmi işlərdə, ikinci ...... Ədəbiyyat terminləri lüğəti

    Sitat, sitat, çıxarış, çıxarış; çıxarış, qanadlı söz, qanadlı söz, presedent mətn, təkrar, çıxarış, çıxarış, seçmələr, epiqraf Rus sinonimlərinin lüğəti. sitat 3-cü hissəyə baxın. Rus dilinin sinonimlərinin lüğəti. Praktik…… Sinonim lüğət

    Sitat- (lat. citare - çağırmaq, çağırmaq). Nə l-dən dəqiq bir sözlə çıxarış. mətn, bəyanatlar. C., rus durğu işarələri qaydalarına uyğun olaraq, dırnaq içərisindədir; sitat gətirərkən sitatın mənbəyi (müəllif, əsər) göstərilir. Sitat vermək olar... Yeni lüğət metodoloji terminlər və anlayışlar (dillərin tədrisi nəzəriyyəsi və təcrübəsi)

    sitat- Mətnin bir hissəsi, hər hansı bir əsərdən dəyişdirilmədən götürülmüş və başqa mətndə istifadə edilmiş, əksər hallarda hansı mənbədən götürüldüyü göstərilməklə. [GOST R 7.0.3 2006] sitat Başqa bir nəşrdən götürülmüş mətn parçası və ya ... ... Texniki Tərcüməçinin Təlimatı

    Sitat, sitatlar, arvadlar. (latınca cito mən şahid çağırıram). Bəzi mətndən, essedən sözlə çıxarış. Klassiklərdən sitatlarla mülahizənizi dəstəkləyin. Lüğət Uşakov. D.N. Uşakov. 1935-1940... Uşakovun izahlı lüğəti

    QUOTE, s, arvadlar. Nə n-dən dəqiq sözlə çıxarış. mətn, bəyanatlar. Klassiklərdən sitatlar. Yazın, sitat gətirin. | adj. sitat, oh, oh. Ozhegovun izahlı lüğəti. S.İ. Ozhegov, N.Yu. Şvedova. 1949 1992... Ozhegovun izahlı lüğəti

    - “Sitat”, SSRİ, TsT ƏDƏBİ DRAM PROQRAMLARININ ƏSAS NƏŞRASI, 1988, rəngli, 125 dəq. Teleplay. Lenid Zorinin eyniadlı pyesi əsasında. Mossovet Teatrının tamaşasının videoyazısı. Yenidənqurma ruhunda parlaq ifşa “bacaranlar ... ... Kino Ensiklopediyası

    Sitat- Sitat, yaxud sitat, k. l-dən mətn. öz mülahizələrini əsaslandırmaq və ya istinad edilən müəllifi təkzib etmək üçün nəşrdə müəllif tərəfindən sözbəsöz əks etdirilən əsərlər və s. Əsas. C. üçün tələblər onun aktuallığı, yəni ... tərəfindən diktə edilən zərurət. Nəşriyyat lüğəti

    Bu məqalədə məlumat mənbələrinə keçid yoxdur. Məlumat yoxlanıla bilən olmalıdır, əks halda sorğulana və silinə bilər. Siz ... Vikipediya

Kitablar

  • 18-20-ci əsrlərin rus ədəbiyyatında İncil mətni Sitat Xatirə Motif Süjet Janr Buraxılış 6, Zaxarova V. (red.). Kolleksiya “XVIII-XX əsrlər rus ədəbiyyatında İncil mətni: sitat, xatırlatma, motiv, süjet, janr” mövzusunda VI Beynəlxalq konfransın materialları əsasında tərtib edilmişdir.

təklif məntiqi , həmçinin təklif məntiqi adlanır - məntiqi əməliyyatlardan istifadə edərək sadə və ya elementar ifadələrdən qurulmuş mürəkkəb ifadələrin məntiqi formalarını öyrənən riyaziyyat və məntiqin bir qolu.

Təkliflərin məntiqi müddəaların mənalı yükündən mücərrədləşir və onların həqiqət dəyərini, yəni təklifin doğru və ya yalan olduğunu öyrənir.

Yuxarıdakı rəqəm Yalançı Paradoksu kimi tanınan bir fenomenin təsviridir. Eyni zamanda, layihə müəllifinin fikrincə, bu cür paradokslar yalnız siyasi problemlərdən azad olmayan, kiminsə apriori yalançı damğası edilə biləcəyi mühitlərdə mümkündür. Təbii laylı dünyada "Həqiqət" və ya "yalan" mövzusu yalnız ayrı-ayrılıqda alınan ifadələr qiymətləndirilir . Və daha sonra bu dərsdə sizə tanış olacaqsınız Bu mövzuda bir çox ifadələri qiymətləndirmək imkanı (və sonra düzgün cavablara baxın). Sadə olanların məntiqi əməliyyatların əlamətləri ilə bir-birinə bağlandığı mürəkkəb ifadələr də daxil olmaqla. Ancaq əvvəlcə bu əməliyyatları təkliflərin özləri üzərində nəzərdən keçirək.

Təklif məntiqi kompüter elmində və proqramlaşdırmada məntiqi dəyişənləri elan etmək və onlara proqramın sonrakı icrasının gedişatından asılı olan "yanlış" və ya "doğru" məntiqi dəyərləri təyin etmək şəklində istifadə olunur. Yalnız bir məntiqi dəyişənin iştirak etdiyi kiçik proqramlarda bu məntiqi dəyişənə tez-tez "bayraq" kimi ad verilir və dəyişənin dəyəri "doğru" olduqda "bayraq", dəyəri isə "bayraq aşağı olduqda" nəzərdə tutulur. bu dəyişən "yalan"dır. Proqramlarda böyük həcm Bir neçə və ya hətta çoxlu məntiqi dəyişənlərin olduğu , mütəxəssislərdən ifadələr formasına və onları digər məntiqi dəyişənlərdən fərqləndirən semantik yükə malik olan məntiqi dəyişənlərin adları ilə çıxış etmələri tələb olunur. bu proqramın mətnini oxuyun.

Beləliklə, "UserRegistered" (və ya onun ingilis ekvivalenti) adlı məntiqi dəyişən, qeydiyyat üçün məlumatların göndərilməsi şərtlərinə əməl olunarsa, "true" məntiqi dəyəri təyin edilə bilən ifadə formasına malik elan edilə bilər. istifadəçi tərəfindən və bu məlumat proqram tərəfindən etibarlı kimi tanınır. Sonrakı hesablamalarda dəyişənlərin dəyərləri "UserLogged in" dəyişəninin hansı məntiqi dəyərinə ("doğru" və ya "yanlış") malik olduğundan asılı olaraq dəyişə bilər. Digər hallarda, məsələn, "Günə üç gündən çox" adı ilə dəyişənə müəyyən hesablamalar blokuna qədər "Doğru" dəyəri təyin edilə bilər və proqramın sonrakı icrası zamanı bu dəyər təyin edilə bilər. saxlanılır və ya "yanlış" olaraq dəyişdirilir və sonrakı icra kursu bu dəyişən proqramların dəyərindən asılıdır.

Əgər proqramda adları müddəa formasına malik olan bir neçə məntiqi dəyişənlərdən istifadə edilirsə və onlardan daha mürəkkəb müddəalar qurulursa, o zaman proqramı inkişaf etdirməzdən əvvəl təkliflərdən bütün əməliyyatlar düsturlar şəklində yazılarsa, onu hazırlamaq daha asan olar. təklif məntiqində bu dərs zamanı istifadə etdiyimizdən daha çox istifadə olunur və bunu edək.

İfadələr üzərində məntiqi əməliyyatlar

Riyazi ifadələr üçün hər zaman "doğru" və "yalan" iki fərqli alternativ arasında seçim etmək olar, lakin "şifahi" dildə ifadə edilən ifadələr üçün "doğru" və "yanlış" anlayışları bir qədər qeyri-müəyyəndir. Bununla belə, məsələn, “Evə get” və “Yağış yağır?” kimi şifahi formalar deyim deyil. Ona görə də aydındır ki ifadələr bir şeyin ifadə olunduğu şifahi formalardır . Sorğu və ya nida cümlələri, müraciətlər, habelə istək və ya tələblər ifadə deyil. Onları "doğru" və "yanlış" dəyərləri ilə qiymətləndirmək olmaz.

Təkliflərə isə iki dəyər qəbul edə bilən kəmiyyət kimi baxmaq olar: “doğru” və “yanlış”.

Məsələn, hökmlər verilir: “it heyvandır”, “Paris İtaliyanın paytaxtıdır”, “3

Bu ifadələrdən birincisi “doğru”, ikincisi “yalan”, üçüncüsü “doğru”, dördüncüsü isə “yalan” simvolu ilə qiymətləndirilə bilər. Təkliflərin belə şərhi təklif cəbrinin mövzusudur. Biz ifadələri böyük latın hərfləri ilə qeyd edəcəyik A, B, ... və onların dəyərləri, yəni müvafiq olaraq doğru və yalan L. Adi nitqdə “və”, “yaxud” və başqa ifadələr arasında əlaqə istifadə olunur.

Bu əlaqələr müxtəlif ifadələri birləşdirərək yeni bəyanatlar yaratmağa imkan verir - mürəkkəb ifadələr . Məsələn, bir dəstə "və". Bəyanatlar verilsin: π 3-dən çox" və " ifadəsi π 4-dən az. Siz yeni - mürəkkəb bəyanat təşkil edə bilərsiniz " π 3-dən çox və π 4-dən az". ifadəsi "əgər π məntiqsiz, onda π ² də irrasionaldır" iki ifadəni "if - onda" əlaqəsi ilə əlaqələndirməklə əldə edilir. Nəhayət, hər hansı bir ifadədən ilkin ifadəni inkar edən yeni - mürəkkəb müddəa - ala bilərik.

Təklifləri dəyərləri qəbul edən kəmiyyətlər kimi nəzərdən keçirmək L, daha da müəyyən edirik ifadələr üzərində məntiqi əməliyyatlar , bu bizə bu ifadələrdən yeni - mürəkkəb ifadələr əldə etməyə imkan verir.

İki ixtiyari ifadə verilsin AB.

1 . Bu ifadələr üzərində ilk məntiqi əməliyyat - birləşmə - işarə edəcəyimiz yeni ifadənin formalaşmasıdır. AB və yalnız və yalnız əgər doğrudur AB doğru. Adi nitqdə bu əməliyyat ifadələrin bir dəstə "və" ilə əlaqəsinə uyğun gəlir.

Birləşmə üçün həqiqət cədvəli:

A B AB
LL
LL
LLL

2 . İfadələr üzərində ikinci məntiqi əməliyyat AB- disjunksiya kimi ifadə edilir AB, aşağıdakı kimi müəyyən edilir: ilkin müddəalardan ən azı biri doğru olduqda doğrudur. Adi nitqdə bu əməliyyat ifadələrin bir dəstə "və ya" ilə əlaqəsinə uyğun gəlir. Bununla belə, burada biz ayırıcı olmayan “ya da” var ki, bu da “ya-ya da” mənasında başa düşülür. AB ikisi də doğru ola bilməz. Təklif məntiqinin tərifində AB mülahizələrdən yalnız biri doğrudursa və hər ikisi doğrudursa doğrudur AB.

Ayrılıq üçün həqiqət cədvəli:

A B AB
L
L
LLL

3 . İfadələr üzərində üçüncü məntiqi əməliyyat AB, kimi ifadə edilir AB; ortaya çıxan ifadə yalnız və yalnız o halda yanlışdır A doğrudur və B yalan. Açağırdı bağlama , B - nəticəsi , və bəyanat AB - izləyir , həm də implikasiya adlanır. Adi nitqdə bu əməliyyat "əgər - onda" bağlantısına uyğundur: "əgər A, sonra B". Amma təklif məntiqinin tərifində bu müddəanın doğru və ya yalan olmasından asılı olmayaraq həmişə doğrudur. B. Bu halı qısaca belə ifadə etmək olar: “bəyəndiyiniz hər şey yalandan irəli gəlir”. Öz növbəsində, əgər A doğrudur və B yalan, sonra bütün ifadə AB yalan. Bu, yalnız və yalnız o halda doğru olacaq A, və B doğru. Qısaca olaraq bunu belə ifadə etmək olar: “yalan həqiqətdən irəli gələ bilməz”.

İzləniləcək həqiqət cədvəli (məlumat):

A B AB
LL
L
LL

4 . İfadələr üzərində, daha dəqiq desək, bir müddəa üzərində dördüncü məntiqi əməliyyat ifadənin inkarı adlanır. A və ~ ilə işarələnir A(həmçinin ~ simvolunun deyil, ¬ simvolunun, eləcə də üstündən xəttin istifadəsini tapa bilərsiniz A). ~ A zaman yalan olan bir ifadə var A doğru və doğru olanda A yalan.

İnkar üçün həqiqət cədvəli:

A ~ A
L
L

5 . Və nəhayət, təkliflər üzərində beşinci məntiqi əməliyyat ekvivalentlik adlanır və işarələnir AB. Nəticə ifadəsi AB yalnız və yalnız o halda doğru ifadədir AB həm doğru, həm də yalan.

Ekvivalentlik üçün həqiqət cədvəli:

A B AB BA AB
LLL
LLL
LL

Əksər proqramlaşdırma dillərində təkliflərin məntiqi dəyərləri üçün xüsusi simvollar var, onlar demək olar ki, bütün dillərdə doğru (doğru) və yalan (yanlış) kimi yazılır.

Yuxarıdakıları ümumiləşdirək. təklif məntiqi elementar adlanan bəzi ifadələrin digərlərindən qurulma yolu ilə tamamilə müəyyən edilən əlaqələri öyrənir. Elementar ifadələr bütöv hesab olunur, hissələrə parçalana bilməz.

Aşağıdakı cədvəldə ifadələr üzərindəki məntiqi əməliyyatların adlarını, təyinatlarını və mənasını sistemləşdiririk (nümunələri həll etmək üçün tezliklə onlara ehtiyacımız olacaq).

PaketTəyinatƏməliyyat adı
yox inkar
bağlayıcı
və ya disjunksiya
əgər...onda... mənası
sonra və yalnız bundan sonra ekvivalentlik

Çünki məntiqi əməliyyatlar doğrudur məntiq cəbrinin qanunları, boolean ifadələri sadələşdirmək üçün istifadə edilə bilər. Eyni zamanda qeyd etmək lazımdır ki, müddəaların məntiqində onlar müddəanın semantik məzmunundan mücərrədləşir və onun ya doğru, ya da yanlış olması mövqeyindən baxmaqla məhdudlaşır.

Misal 1

1) (2 = 2) VƏ (7 = 7) ;

2) Yox(15;

3) ("Şam" = "Palıd") OR ("Albalı" = "Ağcaqayın");

4) Not("Şam" = "Palıd");

5) (Yox(15 20) ;

6) ("Gözlər görmək üçün verilir") və ("Üçüncü mərtəbənin altında ikinci mərtəbədir");

7) (6/2 = 3) OR (7*5 = 20) .

1) Birinci mötərizədəki ifadənin qiyməti “doğrudur”, ikinci mötərizədəki ifadənin qiyməti də doğrudur. Hər iki ifadə "AND" məntiqi əməliyyatı ilə əlaqələndirilir (yuxarıda bu əməliyyatın qaydalarına baxın), buna görə də bütün bu ifadənin məntiqi dəyəri "doğrudur".

2) Mötərizədə verilən ifadənin mənası “yalan”dır. Bu ifadədən əvvəl məntiqi inkar əməliyyatı var, ona görə də bütün bu ifadənin məntiqi qiyməti “doğrudur”.

3) Birinci mötərizədəki ifadənin mənası “yalan”, ikinci mötərizədəki ifadənin mənası da “yalan”dır. İfadələr "OR" məntiqi əməliyyatı ilə əlaqələndirilir və ifadələrin heç biri "true" dəyərinə malik deyil. Ona görə də bütün bu ifadənin məntiqi mənası “yalan”dır.

4) Mötərizədə verilən ifadənin mənası “yalan”dır. Bu ifadədən əvvəl məntiqi inkar əməliyyatı gəlir. Odur ki, verilən bütün ifadənin məntiqi mənası “doğrudur”.

5) Birinci mötərizədə daxili mötərizədəki ifadə rədd edilir. Mötərizədə olan bu ifadə "yanlış" olaraq qiymətləndirilir, buna görə də onun inkarı "doğru" məntiqi dəyərinə görə qiymətləndiriləcəkdir. İkinci mötərizədəki ifadə "yanlış" dəyərinə malikdir. Bu iki ifadə “AND” məntiqi əməliyyatı ilə bağlanır, yəni “doğru VƏ yalan” alınır. Odur ki, verilən bütün ifadənin məntiqi mənası “yalan”dır.

6) Birinci mötərizədəki ifadənin mənası “doğrudur”, ikinci mötərizədəki ifadənin mənası da “doğrudur”. Bu iki ifadə “VƏ” məntiqi əməliyyatı ilə bağlanır, yəni “doğru VƏ həqiqət” alınır. Odur ki, verilən bütün ifadənin məntiqi mənası “doğrudur”.

7) Birinci mötərizədəki ifadənin mənası “doğrudur”. İkinci mötərizədəki ifadənin mənası “yalan”dır. Bu iki ifadə “OR” məntiqi əməliyyatı ilə bağlanır, yəni “doğru YA false” alınır. Odur ki, verilən bütün ifadənin məntiqi mənası “doğrudur”.

Misal 2 Məntiqi əməliyyatlardan istifadə edərək aşağıdakı mürəkkəb ifadələri yazın:

1) "İstifadəçi qeydiyyatdan keçməyib";

2) “Bu gün bazar günüdür və bəzi işçilər işdədir”;

3) "İstifadəçi yalnız və yalnız istifadəçi tərəfindən göndərilən məlumatların etibarlı olduğu aşkar edildikdə qeydiyyata alınır."

1) səh- vahid ifadə "İstifadəçi qeydiyyatdan keçib", məntiqi əməliyyat: ;

2) səh- tək bəyanat "Bu gün bazar günüdür", q- "Bəzi işçilər işdədir", məntiqi əməliyyat: ;

3) səh- tək bəyanat "İstifadəçi qeydiyyatdan keçib", q- "İstifadəçi tərəfindən göndərilən məlumatlar etibarlıdır", məntiqi əməliyyat: .

Təklif məntiqi nümunələrini özünüz həll edin və sonra həll yollarına baxın

Misal 3 Aşağıdakı ifadələrin boolean dəyərlərini hesablayın:

1) ("Bir dəqiqədə 70 saniyə var") VEYA ("Çalışan saat vaxtı göstərir");

2) (28 > 7) VƏ (300/5 = 60) ;

3) ("TV - elektrik cihazı") və ("Şüşə - taxta");

4) Yox((300 > 100) YA ("Susuzluğu su ilə yatırmaq olar"));

5) (75 < 81) → (88 = 88) .

Misal 4 Məntiqi əməliyyatlardan istifadə edərək aşağıdakı mürəkkəb ifadələri yazın və onların məntiqi qiymətlərini hesablayın:

1) "Əgər saat vaxtı düzgün göstərmirsə, o zaman səhv vaxtda dərsə gələ bilərsiniz";

2) "Güzgüdə siz öz əksinizi və ABŞ-ın paytaxtı Parisi görə bilərsiniz";

Misal 5 Boolean ifadəsini təyin edin

(səhq) ↔ (rs) ,

səh = "278 > 5" ,

q= "Alma = Narıncı",

səh = "0 = 9" ,

s= "Şlyapa başı örtür".

Təklif məntiqi düsturları

Konseptin köməyi ilə mürəkkəb ifadənin məntiqi forması anlayışı dəqiqləşdirilir təklif məntiqi düsturları .

1 və 2-ci misallarda məntiqi əməliyyatlardan istifadə edərək mürəkkəb ifadələrin yazılmasını öyrəndik. Əslində onlara təklif məntiqi düsturları deyilir.

Yuxarıdakı nümunədə olduğu kimi ifadələri ifadə etmək üçün hərflərdən istifadə etməyə davam edəcəyik

səh, q, r, ..., səh 1 , q 1 , r 1 , ...

Bu hərflər "doğru" və "yalan" həqiqət dəyərlərini dəyər kimi qəbul edən dəyişənlər rolunu oynayacaq. Bu dəyişənlərə təklif dəyişənləri də deyilir. Biz bundan sonra onları çağıracağıq elementar düsturlar və ya atomlar .

Təklif məntiqi düsturlarını qurmaq üçün yuxarıdakı hərflərə əlavə olaraq məntiqi əməliyyatların işarələrindən istifadə olunur.

~, ∧, ∨, →, ↔,

həmçinin düsturların birmənalı oxunma imkanını təmin edən simvollar - sol və sağ mötərizələr.

anlayış təklif məntiqi düsturları aşağıdakı kimi müəyyən edin:

1) elementar düsturlar (atomlar) təklif məntiqinin düsturlarıdır;

2) əgər AB- təklif məntiqi düsturları, sonra ~ A , (AB) , (AB) , (AB) , (AB) həm də təklif məntiqinin düsturlarıdır;

3) yalnız o ifadələr 1) və 2)-dən irəli gələn təklif məntiqi düsturlarıdır.

Təklif məntiqi düsturunun tərifi bu düsturların formalaşması qaydalarının sadalamasını ehtiva edir. Tərifə görə, müddəa məntiqinin hər bir düsturu ya atomdur, ya da 2-ci qaydanın ardıcıl tətbiqi nəticəsində atomlardan əmələ gəlir.

Misal 6 Qoy səh- tək ifadə (atom) "Bütün rasional ədədlər həqiqidir", q- "Bəzi həqiqi ədədlər rasional ədədlərdir", r- "bəzi rasional ədədlər realdır". Aşağıdakı təklif məntiqi düsturlarını şifahi təkliflər formasına çevirin:

6) .

1) "rasional olan real ədədlər yoxdur";

2) bütün rasional ədədlər həqiqi deyilsə, yox rasional ədədlər, etibarlıdır";

3) “əgər bütün rasional ədədlər həqiqidirsə, onda bəzi həqiqi ədədlər rasional ədədlər, bəzi rasional ədədlər isə həqiqidir”;

4) “bütün həqiqi ədədlər rasional ədədlər və bəzi həqiqi ədədlər rasional ədədlər və bəzi rasional ədədlər həqiqi ədədlərdir”;

5) “bütün rasional ədədlər həqiqidir o halda və yalnız o halda ki, bütün rasional ədədlər həqiqi deyildir”;

6) "belə deyil ki, bütün rasional ədədlər həqiqi deyil və rasional olan həqiqi ədədlər və ya həqiqi olan rasional ədədlər yoxdur."

Misal 7 Təklif məntiqi düsturu üçün həqiqət cədvəli yaradın , hansı cədvəldə işarələnə bilər f .

Həll. Tək ifadələr (atomlar) üçün dəyərləri ("doğru" və ya "yanlış") qeyd etməklə həqiqət cədvəlini tərtib etməyə başlayırıq. səh , qr. Bütün mümkün dəyərlər cədvəlin səkkiz sətirində yazılmışdır. Bundan əlavə, implikasiya əməliyyatının dəyərlərini təyin edərkən və cədvəldə sağa hərəkət edərkən, "doğru" "yanlış" mənasını verdiyi zaman dəyərin "yalan"a bərabər olduğunu unutmayın.

səh q r f
LL
LLLLL
LLLL
LLL
LLLLL
LL
LLLL

Qeyd edək ki, heç bir atom ~ formasına malik deyil A , (AB) , (AB) , (AB) , (AB) . Bunlar mürəkkəb düsturlardır.

Təklif məntiqi düsturlarındakı mötərizələrin sayını belə fərz etməklə azaltmaq olar

1) mürəkkəb düsturda biz xarici cüt mötərizəni buraxacağıq;

2) məntiqi əməliyyatların əlamətlərini "stajla" əmr edin:

↔, →, ∨, ∧, ~ .

Bu siyahıda ↔ işarəsi ən böyük əhatə dairəsinə, ~ işarəsi isə ən kiçik əhatə dairəsinə malikdir. Əməliyyat işarəsinin əhatə dairəsi dedikdə, təklif məntiqi düsturunun bu işarənin baş verməsinin tətbiq olunduğu (hərəkət etdiyi) hissələri başa düşülür. Beləliklə, hər hansı bir düsturda "üstünlük sırası" nəzərə alınmaqla bərpa edilə bilən mötərizə cütlərini buraxmaq mümkündür. Mötərizələr bərpa edilərkən, ilk növbədə ~ işarəsinin bütün hallarına istinad edən bütün mötərizələr yerləşdirilir (bu halda biz soldan sağa keçirik), sonra ∧ işarəsinin bütün hallarına və s.

Misal 8 Təklif məntiqi düsturunda mötərizələri bərpa edin B ↔ ~ CDA .

Həll. Mötərizələr addım-addım bərpa olunur:

B ↔ (~ C) ∨ DA

B ↔ (~ C) ∨ (DA)

B ↔ ((~ C) ∨ (DA))

(B ↔ ((~ C) ∨ (DA)))

Hər təklif məntiqi düsturunu mötərizəsiz yazmaq olmaz. Məsələn, düsturlarda AMMA → (BC) və ~( AB) mötərizələrin əlavə silinməsi mümkün deyil.

Tavtologiyalar və ziddiyyətlər

Məntiqi tavtologiyalar (və ya sadəcə olaraq tavtologiyalar) müddəa məntiqinin elə düsturlarıdır ki, hərflər özbaşına müddəalarla (doğru və ya yanlış) əvəz edilərsə, nəticə həmişə doğru təklif olacaqdır.

Mürəkkəb mülahizələrin doğru və ya yalan olması hər biri müəyyən hərfə uyğun gələn ifadələrin məzmunundan deyil, yalnız mənalarından asılı olduğundan, verilmiş ifadənin tavtologiya olub-olmaması testini aşağıdakı şəkildə əvəz etmək olar. Tədqiq olunan ifadədə 1 və 0 (müvafiq olaraq "doğru" və "yanlış") dəyərləri bütün mümkün üsullarla hərflər üçün əvəz edilir və məntiqi əməliyyatlardan istifadə edərək ifadələrin məntiqi qiymətləri hesablanır. Bütün bu dəyərlər 1-ə bərabərdirsə, tədqiq olunan ifadə tavtologiyadır və ən azı bir əvəzləmə 0 verirsə, bu tavtologiya deyil.

Beləliklə, bu düstura daxil olan atomların dəyərlərinin hər hansı bir paylanması üçün "doğru" dəyərini alan təklif məntiqi düsturu adlanır. eyni dərəcədə doğru düstur və ya tavtologiya .

Əks məna məntiqi ziddiyyətdir. Bütün təklif dəyərləri 0-dırsa, ifadə məntiqi bir ziddiyyətdir.

Beləliklə, bu düstura daxil olan atomların dəyərlərinin hər hansı bir paylanması üçün "yanlış" dəyərini alan təklif məntiqi formuluna deyilir. eyni yalan düstur və ya ziddiyyət .

Tavtologiya və məntiqi ziddiyyətlərlə yanaşı, nə tavtologiya, nə də ziddiyyət təşkil edən təklif məntiqinin düsturları var.

Misal 9 Təklif məntiqi düsturu üçün həqiqət cədvəlini qurun və onun tavtologiya, ziddiyyət və ya heç biri olmadığını müəyyən edin.

Həll. Həqiqət cədvəlini tərtib edirik:

LLL
LL
LLLL

İmplikasiya mənalarında “doğru”nun “yalan” mənasında olduğu bir xəttə rast gəlmirik. Orijinal ifadənin bütün dəyərləri "doğru"ya bərabərdir. Buna görə də bu təklif məntiqi düsturu tavtologiyadır.

İnsan həyatını digər insanlarla daimi məlumat mübadiləsi olmadan təsəvvür etmək mümkün deyil. Buna görə tarixdə məşhur sitatların və kəlamların donuz bankı var. İnsan sözü qeyri-adi dərəcədə güclüdür - ritoriklər, generallar, dövlət xadimləri bütün xalqları nitqlə ruhlandıra bilir. Sonra danışacağıq, bunun nə baş verdiyini təhlil edəcəyik, hansı məqsədlərə xidmət etdiyini öyrənəcəyik, hər kəsə və hər kəsə xoş olan kəlamlar qurmağı öyrənəcəyik, həmçinin bəzi məşhur deyimləri xatırlayacağıq.

elmi tərif

Elm baxımından ifadə riyazi məntiq sahəsindən əsas (müəyyən edilməmiş) termindir. Daha tez-tez deyim, bir şey haqqında nəyisə ifadə edən hər hansı bir elan cümləsidir. Üstəlik, konkret hallar və zaman çərçivələri nöqteyi-nəzərindən onun mövcud şəraitdə doğru və ya yalan olduğunu dəqiqliklə söyləmək mümkündür. Beləliklə, hər bir belə məntiqi ifadəni 2 qrupdan birinə aid etmək olar:

  1. Doğru.
  2. Yalan.

Məsələn, doğru ifadələrə aşağıdakılar daxildir:

  • Qız orta məktəbi bitiribsə, orta təhsil haqqında attestat alır.
  • London - Böyük Britaniyanın paytaxtı.
  • Sazan balıqdır.

kimi yalan ifadələr:

  • İt heyvan deyil.
  • Sankt-Peterburq Moskva çayı üzərində qurulub.
  • 15 rəqəmi 3 və 6-ya bölünür.

Bəyanatlara nə şamil edilmir?

Qeyd etmək lazımdır ki, dəqiq elmlər sahəsində bütün cümlələr ifadələr kateqoriyasına aid edilmir. Aydın olur ki, nə həqiqəti, nə də yalanı daşımayan bir ifadə ifadələr qrupundan çıxır, məsələn:

  • Yaşasın dünyada sülh!
  • Yeni təhsil müəssisəsinə xoş gəlmisiniz!
  • Gəzinti üçün çəkmələr və çətir gətirməlisiniz.

Bəyanatların təsnifatı

Deməli, deyimin nə olduğu aydınlaşdırılarsa, bu kateqoriyanın təsnifatı hələ də müəyyən edilməmişdir. Bu arada o, həqiqətən də mövcuddur. Bəyanatlar iki qrupa bölünür:

  1. Sadə və ya elementar ifadə tək bir cümlə olan cümlədir.
  2. Mürəkkəb və ya mürəkkəb, ifadə, yəni "yaxud", "və", "nə", "yox", "əgər ... onda .." qrammatik bağlayıcılarının istifadəsi sayəsində elementar olanlardan əmələ gələn bir ifadə. .”, “sonra və yalnız bundan sonra” və s. Buna misal olaraq doğru cümləni göstərmək olar: “ Əgər uşaq həvəslidirsə, o, məktəbdə yaxşı oxuyur."2 elementar ifadədən əmələ gələn:" Uşaq motivasiya olunur"və" Məktəbdə yaxşı oxuyur” əlaqələndirici elementdən istifadə edərək “əgər ... onda ...”. Bütün bu cür strukturlar oxşar şəkildə qurulur.

Deməli, konkret olaraq dəqiq elmlər sahəsi ilə bağlı açıqlama ilə indi hər şey aydındır. Məsələn, cəbrdə hər hansı mülahizə heç bir dünyəvi məzmun nəzərə alınmadan yalnız məntiqi mənası baxımından nəzərdən keçirilir. Burada ifadə ya müstəsna olaraq doğru ola bilər, ya da tamamilə yalan ola bilər - üçüncüsü verilmir. Bu vəziyyətdə məntiqi ifadə aşağıda müzakirə ediləcək olandan keyfiyyətcə fərqlidir.

Məktəb riyaziyyatında (bəzən də kompüter elmində) elementar ifadələr latın hərfləri ilə işarələnir: a, b, c, ... x, y, z. Təklifin həqiqi dəyəri ənənəvi olaraq “1” rəqəmi ilə, yanlış dəyəri isə “0” rəqəmi ilə qeyd olunur.

Bəyanatın doğru və ya yalan olduğunu müəyyən etmək üçün vacib anlayışlar

Məntiqi ifadələr sahəsi ilə bu və ya digər şəkildə təmasda olan əsas terminlərə aşağıdakılar daxildir:

  • "mühakimə" - potensial doğru və ya yalan olan bəzi ifadələr;
  • “beyanat” – sübut və ya təkzib tələb edən hökm;
  • “əsaslandırma” - nəticə çıxarmaq üçün müəyyən qaydalara uyğun olaraq digər mühakimələr vasitəsilə əldə edilə bilən məntiqi və bir-biri ilə əlaqəli mülahizələrin, faktların, nəticələr və müddəaların məcmusu;
  • “induksiya” – xüsusidən (kiçikdən) ümumiyə (daha qlobal) doğru düşünmə üsulu;
  • "deduksiya" - əksinə, ümumidən xüsusiyə doğru düşünmə üsulu (bu, öz üstünlüyünə görə istifadə olunan deduktiv üsul idi) məşhur qəhrəman Artur Konan Doyl Şerlok Holmsun hekayələri, bilik bazası, müşahidə və diqqətliliklə birləşərək ona həqiqəti tapmağa, onu məntiqi ifadələr şəklində geyinməyə, düzgün mülahizə zəncirlərini qurmağa və nəticədə həqiqəti müəyyən etməyə imkan verdi. cinayətkar).

Psixologiyada ifadə nədir: “Sən” ifadədir

İnsan şüuru elmi də ifadələrin kateqoriyalarına böyük rol verir. Məhz onun köməyi ilə fərd başqalarında müsbət təəssürat yarada və münasibətlərdə münaqişəsiz mikroiqlim yarada bilər. Buna görə də, bu gün psixoloqlar iki növ ifadənin mövcudluğu mövzusunu populyarlaşdırmağa çalışırlar: bunlar "Mən" ifadələri və "Sən" ifadələridir. Ünsiyyətdə təkmilləşmək istəyən hər kəs sonuncu növü həmişəlik unutmalıdır!

"Sən" ifadələrinin tipik nümunələri:

  • - Həmişə səhv edirsən!
  • - Yenə tövsiyələrinizlə dırmaşırsınız!
  • - Bu qədər yöndəmsiz ola bilməzsən?

Dərhal həmsöhbətdən açıq narazılıq, ittiham, özünü müdafiə etmək məcburiyyətində qaldığı insan üçün narahat vəziyyətin yaradılması hiss edirlər. Bu zaman o, ilkin olaraq düşmən və düşmən mövqeyində yerləşdirildiyi üçün “ittihamçı”nın fikrini eşidə, başa düşə və qəbul edə bilməz.

"Mən" ifadələri

Əgər bəyanatın məqsədi öz fikrini, hisslərini, emosiyalarını ifadə etməkdirsə, o zaman insan həmsöhbətə yanaşma tapmağı heç vaxt unutmamalıdır. "Sizə" qısa bir ittiham atmaq daha asandır, lakin bu vəziyyətdə həmsöhbətin müsbət reaksiyasına arxalana bilməzsiniz, çünki qarşılıqlı emosional qorunma baraması ona çatmağa imkan verməyəcəkdir. Buna görə də müəyyən prinsiplərə əsaslanan “mən” ifadələrinin texnikasını sınamaq hələ də daha təsirli olacaq.

İlk addım həmsöhbəti günahlandırmaq deyil, öz fikrini ifadə etməkdir emosional reaksiya baş verənlər haqqında. Digər şəxs bundan sonra nə müzakirə ediləcəyini bilməsə də, intuitiv olaraq bir dostun problemlərinə meylli olacaq və iştirak və qayğı göstərməyə hazır olacaq.

Məsələn, deyə bilərsiniz:

  • Kefim yoxdur.
  • Mən hirslənirəm.
  • mən itirdim.
  • Mən partlamağa hazıram.
  • İşə gecikdim, müdirim məni danladı.
  • Mən sizi gözləyirdim və zəng edə bilmədim, çünki şəbəkə yaxşı tutmadı.
  • Yağışda oturdum bütün saat və hamısı yaş.

Nəhayət, müəyyən bir hərəkətin niyə müəyyən bir reaksiyaya səbəb olduğunu izah etmək lazımdır:

  • Mənim üçün bu tədbir son dərəcə əhəmiyyətli idi.
  • Çox yorğunam və yığılmış vəzifələrin öhdəsindən gələ bilmirəm.
  • Mən bu işə çox səy göstərdim və nəticədə heç nə almadım!

Sondan əvvəlki və ya son (vəziyyətdən asılı olaraq) mərhələdə bir arzu və ya istək bildirməlisiniz. Bundan sonra həmsöhbətin müraciət edəcəyi şəxs Ətraflı Təsviri hisslər, gələcək davranış üçün müəyyən tövsiyələr və məsləhətlər almalıdır. Onları nəzərə alıb-almaması onun şəxsi seçimidir ki, bu da real münasibət nümayiş etdirəcək:

  • İstərdim ki, evdən tez çıxasan.
  • Razılaşmağı təklif edirəm: hər gün ev işləri ilə məşğul olacağıq.

Könüllü, lakin bəzi hallarda zəruri olan element niyyətləriniz haqqında xəbərdarlıqdır, yəni:

  • Qorxuram ki, sizə həftəsonu üçün daha maşın borc verə bilməyəcəm.
  • xatırladacağam ev tapşırığı unutsan.

"Mən" anlayışına əməl etməkdə səhvlər - ifadələr

Uğurlu dialoq qurmaq və qalmaqalların qarşısını almaq üçün bu cür səhvləri öz ünsiyyət təcrübənizdən xaric etməlisiniz:

  1. İttihamlar irəli sürmək. Yalnız bir texnikadan istifadə etmək, sonra isə həmsöhbətə və onun hərəkətlərinə “Gecikmisən!”, “Sən qırıldın!”, “Əşyaları səpələmisən!” şəklində şərh vermək kifayət deyil. Bu halda ideya öz mənasını tamamilə itirir.
  2. Ümumiləşdirmələr. Etiketlər və möhürlər mümkün qədər tez atılmalıdır. Söhbət xoşagəlməz stereotipik sürücülükdən, sarışınlardan, kişi subaylardan və s.
  3. Təhqirlər.
  4. Öz duyğularını kobud şəkildə ifadə etmək ("Mən səni öldürməyə hazıram!", "Mən sadəcə qəzəbləndim!").

Beləliklə, "mən" ifadələri ünsiyyəti təhlükəli görünməz silaha çevirməmək üçün təhqir və məzəmmətlərin rədd edilməsini ehtiva edir.

Filosofların məşhur kəlamları

Məqalənin tamamlanması məntiqi mülahizələrdən və universal mülahizələrdən fərqli olaraq ifadələrlə bağlı olacaq. psixoloji fəndlər, hər bir şəxs tərəfindən sırf fərdi olaraq qəbul edilir:

  • Etməməli olduğunuz şeyi, hətta düşüncənizdə də etməyin (Epiktet).
  • Başqasının sirrini vermək xəyanətdir, öz sirrini vermək axmaqlıqdır (Volter).
  • 50 milyon insan cəfəngiyyat deyirsə, yenə də cəfəngiyatdır (Anatole France).

İnsanlara özlərini və başqalarını daha yaxşı anlamağa kömək edin, ən çox dəstək olun müxtəlif sahələr həyat.

Bəyanatların növləri

Məntiqi ifadələr adətən iki növə bölünür: elementar məntiqi ifadələr və mürəkkəb məntiqi ifadələr.

Mürəkkəb məntiqi ifadə məntiqi bağlayıcıların köməyi ilə başqa ifadələrdən əmələ gələn ifadədir.

məntiqi əlaqə ifadə üzərində hər hansı məntiqi əməliyyatdır. Məsələn, adi nitqdə işlənən söz və ifadələr "yox", "və", "yaxud", "əgər ... onda", "onda və yalnız o zaman" məntiqi əlaqələrdir.

Elementar məntiqi ifadələr Bunlar mürəkkəb olmayan ifadələrdir.

Nümunələr: "Petrov həkimdir", "Petrov şahmatçıdır" - elementar məntiqi ifadələr. “Petrov həkim və şahmat oyunçusudur” mürəkkəb məntiqi müddəadır, bir-biri ilə “və” dəstəsi ilə bağlanmış iki elementar ifadədən ibarətdir.

Riyazi məntiqlə əlaqə

Adi məntiq iki dəyərlidir, yəni təkliflərə yalnız iki mümkün dəyər təyin edir: doğru və ya yanlışdır.

Bir bəyanat olsun. Əgər doğrudursa, onda , yalansa, yazın.

Məntiqi ifadələr üzərində əsas əməliyyatlar

İnkar məntiqi müddəa – ilkin müddəa yalan olarsa, “doğru” qiymətini alan məntiqi müddəa və əksinə.

Bağlayıcı iki məntiqi müddəa - yalnız hər ikisi eyni zamanda doğru olduqda doğru olan məntiqi müddəa.

Ayrılma iki məntiqi müddəa - yalnız onlardan ən azı biri doğru olduqda doğru olan məntiqi müddəa.

mənası iki məntiqi müddəa A və B - yalnız B yalan və A doğru olduqda yanlış olan məntiqi müddəa.

ekvivalentlik iki məntiqi müddəanın (ekvivalentliyi) - yalnız onların hər ikisi doğru və ya yalan olduqda doğru olan məntiqi müddəa.

kəmiyyət göstəricisi universallıq() məntiqi müddəadır ki, yalnız verilmiş çoxluqdan hər bir x obyekti üçün A(x) müddəasının doğru olması şərtilə doğrudur.

kəmiyyət göstəricisi kəmiyyət göstəricisi ilə məntiqi ifadə mövcudluğu() məntiqi müddəadır ki, yalnız verilmiş topluda A(x) müddəasının doğru olması üçün x obyekti olduqda doğrudur.

həmçinin bax

  • Bəyanat

Qeydlər

Ədəbiyyat

  • Karpenko, A. S. Müasir tədqiqat fəlsəfi məntiqdə // Məntiqi tədqiqat. Problem. 10. - M.: Nauka, 2003. ISBN 5-02-006257-X - S. 61-93.
  • Kripke, S.A. Vitgenşteyn qaydalar və fərdi dil haqqında / Per. V. A. Ladova, V. A. Surovtseva. Ümumilikdə red. V. A. Surovtseva. - Tomsk: Nəşriyyat cild. un-ta, 2005. - 152 s. - (Analitik fəlsəfə kitabxanası). ISBN 5-7511-1906-1
  • Kurbatov, V.I. Məntiqlər. Sistemli kurs. - Rostov n / a: Phoenix, 2001. - 512 s. ISBN 5-222-01850-4
  • Şuman, A.N. Müasir məntiq: nəzəriyyə və təcrübə. - Minsk: Ekonompress, 2004. - 416 s. ISBN 985-6479-35-5
  • Makarova, N.V.İnformatika və İKT. - Sankt-Peterburq: Peter Press, 2007 ISBN 978-5-91180-198-4 - S. 343-345.
  • Kondakov N.I. Məntiqi lüğət / Gorsky D.P.. - M .: Nauka, 1971. - 656 s.

Wikimedia Fondu. 2010.

Digər lüğətlərdə "Təklif (məntiq)" nə olduğuna baxın:

    Təklif: Təklif (məntiq) doğru və ya yalan ola bilən bir cümlədir. Deyişmə (dilçilik) konkret nitq vəziyyətində olan cümlədir. Həmçinin bax Hökm ... Vikipediya

    - (yunan logos sözündən, anlayış, əsaslandırma, ağıl) və ya formal məntiq, düzgün düşünmə qanunları və əməliyyatları haqqında elm. L.-nin əsas prinsipinə görə, əsaslandırmanın (nəticənin) düzgünlüyü yalnız onunla müəyyən edilir məntiqi forma, ya da…… Fəlsəfi ensiklopediya

    Məntiqin müddəalar arasındakı həqiqət əlaqələrini öyrənən bir qolu. Bu bölmə çərçivəsində mülahizələr (təkliflər, cümlələr) yalnız nöqteyi-nəzərdən nəzərdən keçirilir. daxili subyektivliyindən asılı olmayaraq onların həqiqəti və ya yalanı... Fəlsəfi ensiklopediya

    təklif məntiqi- BÖYÜK MƏNTİQİ, müddəa məntiqi simvolik məntiqin sadələrdən əmələ gələn mürəkkəb müddəaları və onların əlaqələrini öyrənən bölməsidir. Predikatların məntiqindən fərqli olaraq, bu vəziyyətdə sadə ifadələr ... ... kimi çıxış edir. Epistemologiya və Elm Fəlsəfəsi Ensiklopediyası

    İfadə etdiyi məna ilə birlikdə götürülmüş qrammatik cəhətdən düzgün bildiriş cümləsi. Məntiqdə bir-birindən əhəmiyyətli dərəcədə fərqlənən bir neçə məntiq anlayışından istifadə olunur. Əvvəla, bu, təsviri və ya təsviri, ... ... anlayışıdır. Fəlsəfi ensiklopediya

    Burrows Abadi Needham məntiqi və ya BAN məntiqi formaldır məntiqi model protokolların təhlilində geniş istifadə olunan bilik və etibarın təhlili üçün ... ... Vikipediya

    Məntiqin mərkəzi bölməsi, ifadənin subyektiv predikat strukturunu və onlar arasındakı həqiqət münasibətlərini öyrənir. L.p. təklif məntiqinin mənalı davamıdır. Bu bölmədə hər hansı bir ifadə ...... Fəlsəfi ensiklopediya

    Yaxud Elmin Məntiqi, elmi biliyin təhlilində məntiqin ideya, üsul və aparatlarının tətbiqi. Məntiqin inkişafı həmişə nəzəri təfəkkür praktikası və hər şeydən əvvəl elmin inkişafı ilə sıx bağlı olmuşdur. Konkret mülahizə məntiqə material verir... Fəlsəfi ensiklopediya