Հետ առաջ

Ուշադրություն. Սլայդների նախադիտումները միայն տեղեկատվական նպատակներով են և կարող են չներկայացնել շնորհանդեսի բոլոր հատկանիշները: Եթե ​​դուք հետաքրքրված եք այս աշխատանքով, խնդրում ենք ներբեռնել ամբողջական տարբերակը:

• Ուսումնական. ընդլայնել ուսանողների ըմբռնումը դրույթային հանրահաշվի մասին, ներկայացնել տրամաբանական գործողություններ և ճշմարտության աղյուսակներ:
• Զարգացնող:
զարգացնել ուսանողների կարողությունը՝ գործելու մաթեմատիկական տրամաբանության հասկացությունների և սիմվոլիզմի հետ. շարունակել տրամաբանական մտածողության ձևավորումը. զարգացնել ճանաչողական գործունեությունը; ընդլայնելով ուսանողների մտահորիզոնը.
• Ուսումնական:
զարգացնել սեփական կարծիքն արտահայտելու կարողությունը. զարգացնել ինքնուրույն աշխատանքի հմտություններ.

ԴԱՍԻ ՏԵՍԱԿԸ՝ համակցված դաս - նոր նյութի բացատրություն, որին հաջորդում է ձեռք բերված գիտելիքների համախմբումը:

ԴԱՍԻ ՏԵՎՈՂՈՒԹՅՈՒՆԸ՝ 40 րոպե։

ՆՅՈՒԹԱԿԱՆ ԵՎ ՏԵԽՆԻԿԱԿԱՆ ՀԻՄՔ.

• Ինտերակտիվ գրատախտակ SmartBoard.
• MS Windows հավելված - PowerPoint 2007 թ.
• Ուսուցչի պատրաստած էլեկտրոնային դասի տարբերակը (ներկայացում PowerPoint-ում 2007 թ.):
• Ուսուցչի կողմից պատրաստված առաջադրանքների քարտեր:

ԴԱՍԻ ՊԼԱՆ:

Ի. Կազմակերպչական պահ- 1 րոպե

II. Դասի նպատակների սահմանում – 2ր.

III. Գիտելիքների թարմացում - 9 ր.

IV. Նոր նյութի ներկայացում - 15ր.

V. Ուսումնասիրված նյութի համախմբում - 8 ր.

VI. Անդրադարձ «Անավարտ նախադասություններ» - 3ր.

VII. Եզրակացություն. Տնային առաջադրանք - 2ր.

ԴԱՍԻ ԱՅՑԸ

I. Կազմակերպչական պահ.

Ողջույններ՝ նշելով դասից բացակայողներին։

Սլայդ 1

Մենք շարունակում ենք ուսումնասիրել բաժինը «Տրամաբանական լեզու». Այսօր մեր դասը նվիրված է «Տրամաբանական հայտարարություններ» թեմային: Սկսենք ստուգումից տնային աշխատանք(Կարդացվում են ուսանողների բանաստեղծությունները, որոնք պարունակում են բազմաթիվ տրամաբանական կապեր (գործողություններ) և եզրակացություն է արվում, որ կամայական տեղեկատվությունը կարող է միանշանակ մեկնաբանվել տրամաբանության հանրահաշվի հիման վրա):

Այսպիսով, մեր դասի նպատակն է ուսումնասիրել տրամաբանական գործողությունները և պարզել, որ կամայական տեղեկատվությունը կարող է միանշանակ մեկնաբանվել՝ հիմնվելով տրամաբանության հանրահաշվի վրա: Բայց նախ դուք պետք է վերանայեք վերջին դասի ընթացքում սովորած նյութը:

III. Գիտելիքների թարմացում (ճակատային հարցում):

Առաջադրանք 1. Քարտերի հետ աշխատանք (տրվող հարցերին տվեք հակիրճ պատասխաններ Գիտություն, որն ուսումնասիրում է մտածողության օրենքներն ու ձևերը):

• Հայտարարությունների տեսակները (պարզ և բարդ)
• Հետևյալ նախադասություններից որո՞նք են հայտարարություններ.
• Ողջույն
• Աքսիոմը ապացույց չի պահանջում։
• Անձրև է գալիս։
• Որքա՞ն է դրսում ջերմաստիճանը:
• Ռուբլին Ռուսաստանի դրամական միավորն է։
• Դուք նույնիսկ չեք կարող ձուկը լճակից առանց դժվարության հանել:

2 թիվը 9 թվի բաժանարար չէ։

• x թիվը 2-ից ոչ ավել:
• 7. Որոշեք պնդման ճշմարտացիությունը կամ կեղծը.
• Համակարգչային գիտությունը սովորում է ավագ դպրոցի կուրսում։
• «Է»-ն այբուբենի վեցերորդ տառն է։
• Քառակուսին ռոմբուս է։
• 12+14 > 30.
• Հիպոթենուսի քառակուսին հավասար է ոտքերի քառակուսիների գումարին:
• 23+12=5*7.

Եռանկյան անկյունների գումարը 1900 է։

Պինգվիններն ապրում են Երկրի Հյուսիսային բևեռում։

Այսպիսով, ինչ է հայտարարությունը: (Դեկլարատիվ նախադասություն, որը կարելի է ասել ճիշտ է կամ սխալ): Ի՞նչ է պարզ հայտարարությունը: (Հայտարարությունը կոչվում է պարզ (տարրական), եթե դրա ոչ մի մասը հայտարարություն չէ):Ի՞նչ է բարդ պնդումը: (Բարդ պնդումը բաղկացած է

պարզ հայտարարություններ, կապված տրամաբանական միացումներով (գործողություններով):

Առաջադրանք 2.

Կառուցեք բարդ հայտարարություններ պարզ հայտարարություններից. «Ա = Պետյան գիրք է կարդում», «Բ = Պետյան թեյ է խմում»: (էկրանին - սլայդ 2)Շարունակենք աշխատել։

1. Առաջադրանք 3. Հետևյալ պնդումներում ընդգծեք պարզ պնդումները՝ նշելով դրանցից յուրաքանչյուրը տառով.
2. Ձմռանը երեխաները գնում են չմուշկներով սահելու կամ դահուկներով սահելու: (սլայդ 3)
3. 15 թիվը բաժանվում է 3-ի, եթե և միայն այն դեպքում, երբ 15-ի թվանշանների գումարը բաժանվում է 3-ի։ (սլայդ 5)
4. Եթե ​​երեկ կիրակի էր, ապա Դիման երեկ դպրոցում չէր և ամբողջ օրը քայլում էր։ (սլայդ 6)

IV. Ներկայացումնոր նյութ.

Նախորդ առաջադրանքներում օգտագործվել են տարբեր տրամաբանական կապեր՝ «և», «կամ», «ոչ», «եթե: ապա:», «եթե և միայն եթե:»: Հանրահաշվի տրամաբանության մեջ տրամաբանական կապերը և համապատասխան տրամաբանական գործողությունները ունեն հատուկ անուններ։ Դիտարկենք 3 հիմնական տրամաբանական գործողություններ՝ ինվերսիա, շաղկապ և դիսյունկցիա, որոնց օգնությամբ կարող եք ստանալ բաղադրյալ հայտարարություններ։ (սլայդ 7)

Ցանկացած տրամաբանական գործողություն սահմանվում է աղյուսակով, որը կոչվում է ճշմարտության աղյուսակ: Տրամաբանական արտահայտության ճշմարտության աղյուսակը աղյուսակ է, որտեղ աղբյուրի տվյալների բոլոր հնարավոր համակցությունները գրված են ձախ կողմում, իսկ աջ կողմում՝ յուրաքանչյուր համակցության համար արտահայտության արժեքը:

Բացասականությունը տրամաբանական գործողություն է, որը կապում է յուրաքանչյուր պարզ (տարրական) պնդում նոր հայտարարության հետ, որի իմաստը հակառակ է սկզբնականին: ( սահել 8)

Դիտարկենք պարզ հայտարարության ժխտումը կառուցելու կանոնը.

Կանոն.Պարզ դրույթի ժխտում կառուցելիս կա՛մ օգտագործվում է «դա ճիշտ չէ» արտահայտությունը, կա՛մ ժխտումը կառուցված է պրեդիկատի վրա, ապա «ոչ» մասնիկը ավելացվում է պրեդիկատին, և «բոլորը» բառն է. փոխարինվում է «ոմանք»-ով և հակառակը:

Առաջադրանք 4.Կառուցեք շրջում (ժխտում) պարզ հայտարարության մեջ.

1. A = Ես համակարգիչ ունեմ տանը: ( սահել 9)
2. A = 11-րդ դասարանի բոլոր տղաները գերազանց սովորողներ են:
3. Արդյո՞ք հայտարարությունը ժխտողական կլինի. «11-րդ դասարանի բոլոր տղաները գերազանց սովորողներ չեն»: ( սահել 10)

«Բոլոր 11-րդ դասարանի տղաները գերազանց սովորողներ չեն» հայտարարությունը հերքում չէ «11-րդ դասարանի տղաները գերազանց սովորողներ են» հայտարարության հերքումը։ «Բոլոր 11-րդ դասարանի տղաները գերազանց սովորողներ են» հայտարարությունը կեղծ է, իսկ կեղծի ժխտումը պետք է լինի ճշմարիտ: Սակայն «11-րդ դասարանի բոլոր տղաները գերազանց սովորողներ չեն» հայտարարությունը ճիշտ չէ, քանի որ 11-րդ դասարանի աշակերտների մեջ կան և՛ գերազանց, և՛ ոչ գերազանցիկներ։

Բացասականությունը կարելի է գրաֆիկորեն ներկայացնել որպես բազմություն։ ( սլայդ 11)

Դիտարկենք հետևյալ տրամաբանական գործողությունը՝ կապ. Երկու պնդումներից կազմված պնդումը՝ դրանք միացնող «և»-ի հետ համատեղելով, կոչվում է կապ կամ տրամաբանական բազմապատկում (ի հավելյալ միացումներ՝ ա, բայց, չնայած) օգտագործվում են։

զուգակցում- տրամաբանական գործողություն, որը կապում է յուրաքանչյուր երկու տարրական հայտարարություն նոր հայտարարության հետ, որը ճշմարիտ է, եթե և միայն այն դեպքում, եթե երկու սկզբնական հայտարարությունները ճշմարիտ են: ( սահել 12)

Գրաֆիկորեն, կապը կարող է ներկայացվել որպես բազմություն: ( սահել 13)

Դիտարկենք հետևյալ տրամաբանական գործողությունը՝ դիզյունցիա։ «կամ» կապակցականով միավորված երկու պնդումներից կազմված պնդումը կոչվում է դիսյունկցիա կամ տրամաբանական հավելում։

Անջատում- տրամաբանական գործողություն, որը կապում է յուրաքանչյուր երկու տարրական հայտարարություն նոր հայտարարության հետ, որը կեղծ է, եթե և միայն այն դեպքում, եթե երկու սկզբնական հայտարարությունները կեղծ են: ( սահել 14)

Գրաֆիկորեն դիսյունկցիան կարող է ներկայացվել որպես բազմություն: ( սահել 15)

Այսպիսով, որո՞նք են այն երեք հիմնական գործողությունները, որոնք մենք սովորել ենք: ( սահել 16)

Փորձենք մեր նոր գիտելիքները կիրառել թեստն ավարտելիս։

V. Ուսումնասիրված նյութի համախմբում (աշխատանք խորհրդի մոտ).

Առաջադրանք 5. Համապատասխանեցրեք գծապատկերը և դրա նշանակումը: սահել 17)

Առաջադրանք 6. Գոյություն ունեն երկու պարզ պնդումներ՝ A = «10 թիվը զույգ է», B = «Գայլը խոտակեր է»: Նրանցից կազմի՛ր բոլոր հնարավոր բարդ պնդումները և որոշի՛ր դրանց ճշմարտացիությունը:

Պատասխան՝ 1-2; 2-6; 3-5; 4-1; 5-4; 6-3; 7-7։

Առաջադրանք 8. Տրվում են երկու պարզ հայտարարություններ՝ A = «Ռուբլին Ռուսաստանի արժույթն է», B = «Գրիվենն ԱՄՆ-ի արժույթն է»: Ո՞ր հայտարարություններն են ճիշտ:

4)A v B

Պատասխաններ՝ 1) 0; 2) 1; 3) 0; 4) 1.

VI. Արտացոլում «Անավարտ նախադասություններ».

• Ինձ դասը հետաքրքիր համարեց, քանի որ.
• Դասի մեջ ինձ ամենաշատը դուր եկավ.
• Ինձ համար նորություն էր.

VII. Եզրակացություն. Տնային աշխատանք.

Գնահատվում է ընդհանուր դասարանի և առանձին ուսանողների աշխատանքը, ովքեր գերազանցել են դասը:

Տնային աշխատանք.

1) Իմացեք հիմնական սահմանումները, իմացեք նշումները:

2) Գտեք պարզ ասացվածքներ. (Ընդհանուրը պետք է լինի երկու հայտարարությունների 5 հավաքածու): Դրանցից կազմի՛ր բոլոր տեսակի բաղադրյալ պնդումները և որոշի՛ր դրանց ճշմարտացիությունը։

Օգտագործված նյութերի ցանկ.

1. Համակարգչային գիտություն և ՏՀՏ. 10-11 դասարան. Անձնագրի մակարդակը.
2. Մաս 1. 10-րդ դասարան՝ դասագիրք հանրակրթական հաստատությունների համար / Մ.Ե. Ֆիոշին, Ա.Ա. Ռեսին - Մ.: Բուստարդ, 2008
3. Համակարգչային գիտության մաթեմատիկական հիմունքները. Դասագիրք /E.V. Անդրեևա, Լ.Լ. Բոսովա, Ի.Ն. Ֆալինա - Մ.՝ ԲԻՆՈՄ։ Գիտելիքների լաբորատորիա, 2007 թ
4. Նյութեր ինֆորմատիկայի ուսուցչուհի Ն.Պ.Պոսպելովայից, քաղաքային ուսումնական հաստատություն, Սոչիի թիվ 22 միջնակարգ դպրոց

Հայտարարությունն ավելի բարդ ձևավորում է, քան անվանումը: Երբ պնդումները բաժանում ենք ավելի պարզ մասերի, միշտ ստանում ենք որոշակի անուններ: Ասենք, «Արևը աստղ է» արտահայտությունը ներառում է «Արև» և «աստղ» անունները որպես իր մասեր:

Հայտարարություն- քերականորեն ճիշտ նախադասություն՝ վերցված իր արտահայտած իմաստի (բովանդակության) հետ միասին՝ լինելով ճիշտ կամ սխալ։

Արտասանության հայեցակարգը բնօրինակներից է, հիմնական հասկացություններըտրամաբանությունը։ Որպես այդպիսին դա թույլ չի տալիս ճշգրիտ սահմանում, հավասարապես կիրառելի է իր տարբեր բաժիններում։

Հայտարարությունը համարվում է ճշմարիտ, եթե նրա տված նկարագրությունը համապատասխանում է իրական իրավիճակին, և կեղծ, եթե այն չի համապատասխանում դրան: «Ճիշտ» և «կեղծ» կոչվում են «հայտարարությունների ճշմարիտ արժեքներ»:

Առանձին հայտարարություններից տարբեր ձևերովդուք կարող եք կառուցել նոր հայտարարություններ:

Օրինակ՝ «Քամին փչում է» և «Անձրև է գալիս» արտահայտություններից կարող եք ավելի բարդ արտահայտություններ կազմել «Քամին փչում է և անձրևում է», «Կամ քամին է փչում, կամ անձրևում է», «Եթե անձրև է գալիս, ուրեմն քամին է փչում»: », և այլն:

Հայտարարությունը կոչվում է պարզ,եթե այն չի ներառում այլ հայտարարություններ որպես դրա մասեր:

Հայտարարությունը կոչվում է Ես բարդ եմ, եթե այն ստացվում է այլ ավելի պարզ հայտարարությունների տրամաբանական կապերի միջոցով։

Դիտարկենք առավելագույնը կարևոր ուղիներբարդ հայտարարությունների կառուցում.

Բացասական հայտարարությունբաղկացած է սկզբնական հայտարարությունից և ժխտումից, որոնք սովորաբար արտահայտվում են «ոչ», «դա ճիշտ չէ» բառերով։ Բացասական հայտարարությունը, հետևաբար, բարդ հայտարարություն է. այն իր մասում ներառում է իրենից տարբերվող հայտարարություն: Օրինակ՝ «10-ը զույգ թիվ է» արտահայտության ժխտումը «10-ը զույգ թիվ չէ» (կամ՝ «Ճիշտ չէ, որ 10-ը զույգ թիվ է» պնդումն է։

Ասույթները նշանակենք A, B, C, C տառերով... Ասույթի ժխտման հասկացության ամբողջական իմաստը տրվում է պայմանով. դրա ժխտումը ճշմարիտ է: Օրինակ, քանի որ «1-ը դրական ամբողջ թիվ է» ճիշտ է, նրա «1-ը դրական ամբողջ թիվ չէ» ժխտումը սխալ է, իսկ քանի որ «1-ը պարզ թիվ է» սխալ է, ապա նրա «1-ը պարզ թիվ չէ» ժխտումը. ճշմարիտ.

Երկու պնդումները միացնելով «և» բառով, ստացվում է բարդ հայտարարություն, որը կոչվում է միացում. Այս կերպ կապված հայտարարությունները կոչվում են «շաղկապության անդամներ»:

Օրինակ, եթե «Այսօր շոգ է» և «Երեկ ցուրտ էր» արտահայտությունները միացվեն այսպես, ստացվում է «Այսօր շոգ էր և երեկ ցուրտ էր» շաղկապը:

Շաղկապը ճշմարիտ է միայն այն դեպքում, եթե դրանում ներառված երկու պնդումներն էլ ճշմարիտ են. եթե նրա անդամներից գոնե մեկը կեղծ է, ապա ամբողջ կապը կեղծ է:

Սովորական լեզվով երկու պնդումներ կապված են «և» շաղկապով, երբ դրանք բովանդակությամբ կամ իմաստով կապված են միմյանց հետ։ Այս կապի բնույթը լիովին պարզ չէ, բայց պարզ է, որ մենք չենք համարի «Նա վերարկուով էր քայլում, իսկ ես գնում էի համալսարան» շաղկապը որպես իմաստ, որը կարող է լինել ճիշտ կամ կեղծ արտահայտություն: Չնայած «2-ը պարզ թիվ է» և «Մոսկվան է մեծ քաղաք«Ճիշտ են, մենք հակված չենք նրանց «2-ը պարզ թիվ է, իսկ Մոսկվան մեծ քաղաք» շաղկապը ճիշտ համարելու, քանի որ դրա բաղկացուցիչ հայտարարությունները իմաստով միմյանց հետ կապ չունեն։ Պարզեցնելով կապի և այլ տրամաբանական կապերի իմաստը և, այդ նպատակով, հրաժարվելով «հայտարարությունների կապը իմաստով» անհասկանալի հասկացությունից, տրամաբանությունը դարձնում է այս կապերի իմաստը և՛ ավելի լայն, և՛ ավելի պարզ:

«կամ» բառի օգտագործմամբ երկու պնդումների միացումը տալիս է անջատումայս հայտարարությունները. Դիջյունցիա կազմող հայտարարությունները կոչվում են «անջատման անդամներ»: .

Առօրյա լեզվում «կամ» բառը երկու տարբեր նշանակություն ունի. Երբեմն դա նշանակում է «մեկը կամ մյուսը կամ երկուսը», և երբեմն «մեկը կամ մյուսը, բայց ոչ երկուսն էլ»: Օրինակ՝ «Այս սեզոնին ես ուզում եմ գնալ» հայտարարությունը. Բահերի թագուհի«կամ Աիդային»-ը հնարավորություն է տալիս երկու անգամ այցելել օպերա։ «Նա սովորում է Մոսկվայի կամ Յարոսլավլի համալսարանում» արտահայտությունը ենթադրում է, որ նշված անձը սովորել է այդ բուհերից միայն մեկում։

«կամ»-ի առաջին իմաստը կոչվում է ոչ բացառիկ.Այս իմաստով երկու պնդումների բաժանումը նշանակում է, որ այս պնդումներից առնվազն մեկը ճշմարիտ է, անկախ նրանից՝ երկուսն էլ ճշմարիտ են, թե ոչ: Վերցված է երկրորդում բացառիկ, կամ խիստ իմաստով, երկու պնդումների բաժանումը ցույց է տալիս, որ պնդումներից մեկը ճշմարիտ է, իսկ երկրորդը՝ կեղծ:

Ոչ բացառիկ դիզյունցիան ճշմարիտ է, երբ դրա բաղկացուցիչ պնդումներից առնվազն մեկը ճշմարիտ է, և սխալ միայն այն դեպքում, երբ դրա երկու անդամներն էլ կեղծ են:

Բացառիկ տարանջատումը ճշմարիտ է, երբ դրա տերմիններից միայն մեկն է ճշմարիտ, և այն սխալ է, երբ երկու տերմիններն էլ ճշմարիտ են կամ երկուսն էլ սխալ են:

Տրամաբանության և մաթեմատիկայի մեջ «կամ» բառը գրեթե միշտ օգտագործվում է ոչ բացառիկ իմաստով:

Պայմանական հայտարարություն -բարդ հայտարարություն, որը սովորաբար ձևակերպվում է օգտագործելով «եթե ... ապա ...» կապը և հաստատելով, որ մի իրադարձություն, վիճակ և այլն այս կամ այն ​​իմաստով հիմք կամ պայման է մյուսի համար:

Օրինակ՝ «Եթե կրակ կա, ուրեմն ծուխ է», «Եթե թիվը բաժանվում է 9-ի, այն բաժանվում է 3-ի» և այլն։

Պայմանական հայտարարությունը կազմված է երկու ավելի պարզ հայտարարություններից: Կոչվում է այն, որին նախորդում է «եթե» բառը հիմք,կամ նախորդող(նախորդ), կոչվում է «որ» բառից հետո եկող հայտարարությունը հետևանք,կամ հետևանքային(հետագա):

Պայմանական դրույթ հաստատելով՝ մենք առաջին հերթին նկատի ունենք, որ չի կարող լինել, որ դրա հիմքում ասվածը տեղի ունենա, իսկ հետևանքում ասվածը բացակայի։ Այսինքն՝ չի կարող պատահել, որ նախորդը ճշմարիտ է, իսկ հետևանքը՝ կեղծ։

Պայմանական դրույթի առումով սովորաբար սահմանվում են բավարար և անհրաժեշտ պայմաններ հասկացությունները. նախադրյալը (հիմքը) բավարար պայման է հետևանքի (հետևանքի) համար, իսկ հետևանքը. անհրաժեշտ պայմաննախորդի համար. Օրինակ՝ «Եթե ընտրությունը ռացիոնալ է, ապա ընտրված է առկա այլընտրանքներից լավագույնը» պայմանական պնդման ճշմարտացիությունը նշանակում է, որ ռացիոնալությունը բավարար պատճառ է առկա տարբերակներից լավագույնն ընտրելու համար, և որ նման տարբերակի ընտրությունը. անհրաժեշտ պայման նրա ռացիոնալության համար։

Պայմանական հայտարարության տիպիկ գործառույթը մեկ պնդում հիմնավորելն է՝ հղում կատարելով մեկ այլ հայտարարությանը: Օրինակ, այն փաստը, որ արծաթը էլեկտրական հաղորդիչ է, կարելի է հիմնավորել այն փաստով, որ այն մետաղ է. «Եթե արծաթը մետաղ է, ապա այն էլեկտրական հաղորդիչ է»:

Պայմանական հայտարարությամբ արտահայտված հիմնավորողի և արդարացվածի (հիմքի և հետևանքի) կապը դժվար է բնութագրել. ընդհանուր տեսարան, և միայն երբեմն նրա բնույթն է համեմատաբար պարզ: Այս կապը կարող է լինել, առաջին հերթին, տրամաբանական հետևանքի կապ, որը տեղի է ունենում տարածքների և ճիշտ եզրակացության եզրակացության միջև («Եթե բոլոր կենդանի բազմաբջիջ արարածները մահկանացու են, իսկ մեդուզան այդպիսի արարած է, ապա այն մահկանացու է»); երկրորդ, բնության օրենքով («Եթե մարմինը ենթարկվում է շփման, այն կսկսի տաքանալ»); երրորդ, պատճառահետևանքային կապ («Եթե Լուսինը գտնվում է նորալուսնի իր ուղեծրի հանգույցում, արևի խավարում»); չորրորդ՝ սոցիալական օրինաչափություն, կանոն, ավանդույթ («Եթե հասարակությունը փոխվում է, մարդն էլ է փոխվում», «Եթե խորհուրդը ողջամիտ է, պետք է հետևել դրան») և այլն։

Պայմանական դրույթով արտահայտված կապը սովորաբար ուղեկցվում է այն համոզմունքով, որ հետևանքը «հետևում է» պատճառից որոշակի անհրաժեշտությամբ, և որ կա ինչ-որ ընդհանուր օրենք, որը կարողանալով ձևակերպել, մենք կարող ենք տրամաբանորեն հետևանքը հետևել պատճառից. .

Օրինակ, «Եթե բիսմութը մետաղ է, ապա այն ճկուն է» պայմանական պնդումը կարծես թե ենթադրում է «Բոլոր մետաղները ճկուն են» ընդհանուր օրենքը՝ այս հայտարարության հետևանքը դարձնելով իր նախորդի տրամաբանական հետևանքը։

Ե՛վ սովորական լեզվով, և՛ գիտության լեզվով պայմանական հայտարարությունը, ի լրումն հիմնավորման գործառույթի, կարող է կատարել նաև մի շարք այլ խնդիրներ. ձևակերպել պայման, որը կապված չէ որևէ ենթադրյալ ընդհանուր օրենքի կամ կանոնի հետ («Եթե. Ես ուզում եմ, ես կկտրեմ իմ թիկնոցը»); ձայնագրեք որոշակի հաջորդականություն («Եթե անցյալ ամառը չոր էր, ապա այս տարի անձրևոտ է»); անհավատություն արտահայտել յուրահատուկ ձևով («Եթե դուք լուծեք այս խնդիրը, ես կապացուցեմ Ֆերմայի վերջին թեորեմը»); հակադրություն («Եթե այգում ծերուկ է աճում, ուրեմն Կիևում է ապրում հորեղբայրը») և այլն: Պայմանական հայտարարության բազմաթիվ և տարասեռ գործառույթները զգալիորեն բարդացնում են դրա վերլուծությունը:

Պայմանական հայտարարությունների օգտագործումը կապված է որոշակի հոգեբանական գործոնների հետ: Մենք սովորաբար նման պնդում ենք ձևակերպում միայն այն դեպքում, եթե հստակ չգիտենք՝ դրա նախորդն ու հետևանքը ճշմարիտ են, թե կեղծ: Հակառակ դեպքում, դրա օգտագործումը անբնական է թվում («Եթե բամբակյա բուրդը մետաղ է, ապա այն էլեկտրական հաղորդիչ է»):

Պայմանական հայտարարությունը շատ է լայն կիրառությունդատողության բոլոր ոլորտներում: Տրամաբանության մեջ այն սովորաբար ներկայացված է իմպլիկատիվ արտասանություն, կամ հետևանքներ. Միևնույն ժամանակ, տրամաբանությունը պարզաբանում, համակարգում և պարզեցնում է «եթե..., ապա...» գործածությունը և ազատում հոգեբանական գործոնների ազդեցությունից։

Տրամաբանությունը վերացական է, մասնավորապես, նրանից, որ պայմանական պնդմանը բնորոշ պատճառի և հետևանքի կապը, կախված համատեքստից, կարող է արտահայտվել ոչ միայն «եթե... ապա...», այլ նաև լեզվաբանական այլ նշանակում է.

Օրինակ՝ «Քանի որ ջուրը հեղուկ է, այն հավասարաչափ փոխանցում է ճնշումը բոլոր ուղղություններով», «Չնայած պլաստիլինը մետաղ չէ, այն պլաստիկ է», «Եթե փայտը մետաղական լիներ, ապա էլեկտրական հաղորդիչ կլիներ» և այլն։ հայտարարությունները տրամաբանության լեզվով ներկայացված են ենթատեքստով, թեև դրանցում «եթե... ապա...» բառի օգտագործումը լիովին բնական չէր լինի:

Ենթատեքստ պնդելով՝ մենք պնդում ենք, որ չի կարող պատահել, որ դրա հիմքն առկա է, և դրա հետևանքը բացակայում է։ Այլ կերպ ասած, ենթատեքստը կեղծ է միայն այն դեպքում, երբ դրա պատճառը ճշմարիտ է, իսկ հետևանքը կեղծ է:

Այս սահմանումը ենթադրում է, ինչպես կապակցիչների նախորդ սահմանումները, որ յուրաքանչյուր հայտարարություն կա՛մ ճշմարիտ է, կա՛մ կեղծ, և որ բարդ հայտարարության ճշմարտացի արժեքը կախված է միայն դրա բաղկացուցիչ հայտարարությունների ճշմարտացիության արժեքներից և դրանց միացման եղանակից:

Ենթակայությունը ճշմարիտ է, երբ և՛ դրա պատճառը, և՛ դրա հետևանքը ճշմարիտ են կամ կեղծ. ճիշտ է, եթե դրա պատճառը կեղծ է, իսկ հետևանքը՝ ճշմարիտ: Միայն չորրորդ դեպքում, երբ պատճառը ճշմարիտ է, իսկ հետևանքը՝ կեղծ, ենթատեքստը կեղծ է:

Ենթակայությունը չի ենթադրում, որ Ա և Բ հայտարարությունները բովանդակությամբ ինչ-որ կերպ կապված են միմյանց հետ: Եթե ​​B-ն ճշմարիտ է, ապա «եթե A, ապա B» պնդումը ճշմարիտ է, անկախ նրանից՝ A-ն ճշմարիտ է, թե սխալ, և արդյոք այն իր իմաստով կապված է B-ի հետ, թե ոչ:

Օրինակ՝ ճշմարիտ են համարվում հետևյալ պնդումները. «Եթե Արեգակի վրա կյանք կա, ապա երկու անգամ երկուսը հավասար է չորսի», «Եթե Վոլգան լիճ է, ապա Տոկիոն մեծ գյուղ է» և այլն։ Պայմանական պնդումը նույնպես ճիշտ է։ երբ A-ն կեղծ է, և միևնույն ժամանակ կրկին տարբերություն չկա՝ արդյոք B-ն ճշմարիտ է, թե ոչ, և արդյոք այն բովանդակությամբ կապված է Ա-ի հետ, թե ոչ: Ճշմարիտ հայտարարությունները ներառում են. «Եթե Արևը խորանարդ է, ապա Երկիրը եռանկյուն է», «Եթե երկուսը և երկուսը հավասար են հինգի, ապա Տոկիոն փոքր քաղաք է» և այլն:

Սովորական դատողություններում այս բոլոր պնդումները դժվար թե համարվեն որպես իմաստալից, և դեռ ավելի քիչ իրական:

Թեև ենթատեքստն օգտակար է բազմաթիվ նպատակների համար, այն լիովին համահունչ չէ պայմանական կապի սովորական ըմբռնմանը: Ենթատեքստը ներառում է պայմանական հայտարարության տրամաբանական վարքագծի շատ կարևոր առանձնահատկություններ, բայց միևնույն ժամանակ դա բավականաչափ համարժեք նկարագրություն չէ:

Վերջին կես դարում աշխույժ փորձեր են եղել բարեփոխելու ենթատեքստի տեսությունը: Միևնույն ժամանակ, խոսք չէր գնում նկարագրված ենթատեքստի հայեցակարգից հրաժարվելու մասին, այլ դրա հետ մեկտեղ մեկ այլ հայեցակարգի ներդրման մասին, որը հաշվի է առնում ոչ միայն հայտարարությունների ճշմարտացիության արժեքները, այլև դրանց կապը բովանդակության մեջ:

Սերտորեն կապված է ենթատեքստի հետ համարժեքություն, երբեմն կոչվում է «կրկնակի ենթատեքստ»։

Համարժեքություն- բարդ հայտարարություն «A, եթե և միայն եթե B», որը ձևավորվում է A և B հայտարարություններից և տարրալուծվում է երկու հետևանքների՝ «եթե A, ապա B», և «եթե B, ապա A»: Օրինակ՝ «Եռանկյունը հավասարակողմ է, եթե և միայն այն դեպքում, եթե այն հավասարանկյուն է»: «Համարժեքություն» տերմինը նշանակում է նաև կապակցական «..., եթե և միայն եթե...», որի օգնությամբ երկու պնդումներից կազմվում է տվյալ բարդ պնդում։ «եթե և միայն եթե»-ի փոխարեն այս նպատակով կարող են օգտագործվել «եթե և միայն եթե», «եթե և միայն եթե» և այլն:

Եթե ​​տրամաբանական կապերը սահմանվում են ճշմարտության և կեղծիքի տերմիններով, ապա համարժեքությունը ճշմարիտ է, եթե և միայն այն դեպքում, եթե դրա բաղկացուցիչ հայտարարություններն ունեն նույն ճշմարտության արժեքը, այսինքն, երբ դրանք և՛ ճշմարիտ են, և՛ կեղծ: Համապատասխանաբար, համարժեքությունը կեղծ է, երբ դրանում ներառված պնդումներից մեկը ճիշտ է, իսկ մյուսը՝ սխալ:

Պարզ հայտարարություններից բարդ հայտարարություններ կազմելու եղանակները դիտարկելիս հաշվի չի առնվել պարզ պնդումների ներքին կառուցվածքը։ Դրանք ընդունվել են որպես անբաժանելի մասնիկներ՝ ունենալով միայն մեկ հատկություն՝ լինել ճշմարիտ կամ կեղծ։ Պարզ ասացվածքներ

Պատահական չէ, որ դրանք երբեմն կոչվում են ատոմային. դրանցից, ինչպես տարրական աղյուսներից, «և», «կամ» և այլն տրամաբանական միացումների օգնությամբ կառուցվում են տարբեր բարդ («մոլեկուլային») հայտարարություններ:

Այժմ մենք պետք է կանգ առնենք այն հարցի վրա ներքին կառուցվածքըկամ պարզ հայտարարությունների ներքին կառուցվածքը. կոնկրետ ինչ մասերից են դրանք կազմված և ինչպես են այդ մասերը փոխկապակցված:

Անմիջապես պետք է ընդգծել, որ պարզ հայտարարությունները կարող են տարբեր ձևերով տարրալուծվել իրենց բաղադրիչ մասերի: Քայքայման արդյունքը կախված է այն նպատակից, որի համար այն իրականացվում է, այսինքն՝ տրամաբանական եզրակացության (տրամաբանական հետևանք) հայեցակարգից, որի շրջանակներում վերլուծվում են նման հայտարարությունները։

Կատեգորիկ հայտարարությունների նկատմամբ առանձնահատուկ հետաքրքրությունը բացատրվում է առաջին հերթին նրանով, որ տրամաբանության՝ որպես գիտության զարգացումը սկսվել է դրանց տրամաբանական կապերի ուսումնասիրությունից։ Ավելին, մեր պատճառաբանության մեջ լայնորեն կիրառվում են այս տիպի հայտարարությունները։ Կատեգորիկ հայտարարությունների տրամաբանական կապերի տեսությունը սովորաբար կոչվում է սիլլոգիստիկ.

Օրինակ՝ «Բոլոր դինոզավրերը անհետացել են» հայտարարության մեջ «մահացած լինելը» հատկանիշը վերագրվում է դինոզավրերին: «Որոշ դինոզավրեր թռան» առաջարկության մեջ վերագրվում է թռչելու ունակությունը որոշակի տեսակներդինոզավրեր. «Բոլոր գիսաստղերը աստերոիդներ չեն» առաջարկը հերքում է գիսաստղերից յուրաքանչյուրում «լինել աստերոիդ» հատկանիշի առկայությունը։ «Որոշ կենդանիներ խոտակեր չեն» առաջարկությունը հերքում է որոշ կենդանիների խոտակերությունը:

Եթե ​​անտեսենք կատեգորիկ հայտարարության մեջ պարունակվող և «բոլորը» և «ոմանք» բառերով արտահայտված քանակական բնութագրերը, ապա մենք ստանում ենք նման պնդումների երկու տարբերակ՝ հաստատական ​​և բացասական: Նրանց կառուցվածքը.

«S-ը P է» և «S-ը P չէ»

որտեղ S տառը ներկայացնում է այն ապրանքի անվանումը, որի մասին մենք խոսում ենքհայտարարության մեջ, իսկ P տառը այս օբյեկտին բնորոշ կամ ոչ բնորոշ հատկանիշի անունն է:

Կատեգորիկ հայտարարության մեջ նշված օբյեկտի անվանումը կոչվում է առարկա, և նրա հատկանիշի անվանումն է պրեդիկատ. Առարկան և պրեդիկատը կոչվում են պայմաններկատեգորիկ հայտարարություններ և կապված են «է» կամ «չի» («կա» կամ «չկա» և այլն) կապակցիչներով: Օրինակ՝ «Արևը աստղ է» արտահայտության մեջ տերմինները «Արև» և «աստղ» անուններն են (դրանցից առաջինը հայտարարության առարկան է, երկրորդը՝ դրա նախադեպը), իսկ «է» բառը. », - կապող միջոց է:

Պարզ արտահայտությունները, ինչպիսիք են «S-ը P-ն է (չէ) P»-ը կոչվում են վերագրող. դրանք ներառում են որևէ հատկության վերագրում (վերագրում) օբյեկտին:

Հատկանշական հայտարարությունները հակադրվում են այն հարաբերությունների մասին հայտարարություններին, որոնցում հարաբերություններ են հաստատվում երկու կամ ավելի օբյեկտների միջև. «Երեքը հինգից պակաս է», «Կիևն ավելի մեծ է, քան Օդեսան», «Գարունն ավելի լավ է, քան աշունը», «Փարիզը գտնվում է Մոսկվայի և միջև: Նյու Յորք» և այլն: Հարաբերությունների մասին հայտարարությունները կարևոր դեր են խաղում գիտության մեջ, հատկապես մաթեմատիկայի մեջ: Դրանք ենթակա չեն կատեգորիկ հայտարարությունների, քանի որ մի քանի առարկաների միջև հարաբերությունները (օրինակ՝ «հավասար», «սիրում է», «ավելի տաք», «միջև է» և այլն) ենթակա չեն առանձին առարկաների հատկությունների: Ավանդական տրամաբանության էական թերություններից մեկն այն էր, որ այն հարաբերությունների վերաբերյալ դատողությունները համարում էր որպես հատկությունների վերաբերյալ դատողություններ:

Կատեգորիկ հայտարարության մեջ օբյեկտի և հատկանիշի միջև կապը ոչ միայն հաստատված է, այլև որոշակի քանակական բնութագիրարտասանության առարկան. «Բոլոր S-ը P են (չեն)», «բոլորը» բառը նշանակում է «համապատասխան դասի օբյեկտներից յուրաքանչյուրը»: «Որոշ S են (չեն) P» արտահայտություններում, «ոմանք» բառն օգտագործվում է ոչ բացառիկ իմաստով և նշանակում է «ոմանք, կամ գուցե բոլորը»: Բացառիկ իմաստով «ոմանք» բառը նշանակում է «միայն ոմանք» կամ «ոմանք, բայց ոչ բոլորը»։ Այս բառի երկու իմաստների միջև եղած տարբերությունը կարելի է ցույց տալ «Որոշ աստղեր աստղեր են» արտահայտությամբ։ Ոչ բացառիկ իմաստով դա նշանակում է «Որոշ, գուցե բոլոր աստղերը աստղեր են» և ակնհայտորեն ճիշտ է: Բացառական իմաստով այս հայտարարությունը նշանակում է «Միայն որոշ աստղեր են աստղեր» և ակնհայտորեն կեղծ է:

Կատեգորիկ հայտարարություններում հաստատվում կամ հերքվում է որոշ հատկանիշների պատկանելությունը դիտարկվող օբյեկտներին, և նշվում է՝ խոսքը բոլոր այս օբյեկտների, թե դրանցից մի քանիսի մասին է։

Այսպիսով, հնարավոր են չորս տեսակի կատեգորիկ հայտարարություններ.

Բոլոր S-ը P-ն է՝ ընդհանուր առմամբ հաստատող հայտարարություն,

Որոշ S-ը P-ն է՝ որոշակի հաստատող հայտարարություն,

Բոլոր S-ը P չէ, ընդհանուր առմամբ բացասական հայտարարություն,

Որոշ S-ը P-ն չէ՝ որոշակի բացասական հայտարարություն:

Կատեգորիկ պնդումները կարող են դիտվել որպես որոշ անուններ հետևյալ արտահայտություններով բացատներով (էլիպսներով) փոխարինելու արդյունք. ոչ ...» և «Ոմանք ... չեն ...»: Այս արտահայտություններից յուրաքանչյուրը տրամաբանական հաստատուն է (տրամաբանական գործողություն), որը թույլ է տալիս մեզ ստանալ հայտարարություն երկու անուններից։ Օրինակ՝ կետերի փոխարեն «թռչող» և «թռչուններ» անունները փոխարինելով՝ ստանում ենք համապատասխանաբար հետևյալ արտահայտությունները՝ «Բոլոր թռչողները թռչուններ են», «Որոշ թռչող թռչուններ են»,

Եզրակացություններ

«Բոլոր թռչողները թռչուններ չեն» և «Ոմանք, ովքեր թռչում են, թռչուններ չեն»: Առաջին և երրորդ պնդումները կեղծ են, իսկ երկրորդը և չորրորդը ճիշտ են:

Եզրակացություններ

«Մեկ կաթիլ ջրից տրամաբանորեն մտածող մարդը կարող է եզրակացնել Ատլանտյան օվկիանոսի կամ Նիագարայի ջրվեժի գոյության մասին, նույնիսկ եթե երբեք չի տեսել կամ լսել դրանց մասին... Մարդու եղունգներով, ձեռքերով, կոշիկները, տաբատի ծալքը ծնկներին, մաշկի հաստության երկայնքով մեծ և ցուցամատը, դեմքի արտահայտությամբ և վերնաշապիկի ճարմանդներով՝ նման մանրուքներից դժվար չէ կռահել նրա մասնագիտությունը։ Եվ կասկած չկա, որ այս ամենը միասին վերցրած բանիմաց դիտորդին կհուշի ճիշտ եզրակացությունների»։

Սա մեջբերում է համաշխարհային գրականության ամենահայտնի դետեկտիվ և խորհրդատու Շերլոկ Հոլմսի քաղաքականության հոդվածից։ հիման վրա ամենափոքր մանրամասները, նա կառուցեց տրամաբանորեն անթերի տրամաբանական շղթաներ և բացահայտեց բարդ հանցագործությունները՝ հաճախ չհեռանալով Բեյքեր սթրիթում գտնվող իր բնակարանից: Հոլմսը կիրառեց դեդուկտիվ մեթոդ, որն ինքը ստեղծել էր, որը, ինչպես կարծում էր նրա ընկեր դոկտոր Ուոթսոնը, հանցանքի բացահայտումը հասցրեց ճշգրիտ գիտության եզրին:

Իհարկե, Հոլմսը որոշ չափով ուռճացնում էր դեդուկցիայի կարևորությունը դատաբժշկական գիտության մեջ, բայց դեդուկտիվ մեթոդի մասին նրա հիմնավորումն արեց իր գործը։ «Դեդուկցիան» հատուկ տերմինից, որը հայտնի է միայն մի քանիսին, վերածվել է սովորաբար օգտագործվող և նույնիսկ մոդայիկ հասկացության: Ճշգրիտ դատողությունների արվեստի և, առաջին հերթին, դեդուկտիվ դատողության հանրահռչակումը Հոլմսի արժանիքն է ոչ պակաս, քան նրա բացահայտած բոլոր հանցագործությունները: Նրան հաջողվել է «տրամաբանությանը տալ երազի հմայքը՝ ճանապարհ անցնելով հնարավոր անկումների բյուրեղյա լաբիրինթոսով դեպի մեկ փայլուն եզրակացություն» (Վ. Նաբոկով)։

Նվազեցումն է հատուկ դեպքեզրակացություններ.

IN լայն իմաստովեզրակացություն -տրամաբանական գործողություն, որի արդյունքում մեկ կամ մի քանի ընդունված հայտարարություններից (տարածքներից) ստացվում է նոր հայտարարություն՝ եզրակացություն (եզրակացություն, հետևանք):

Կախված նրանից, թե արդյոք կապ կա տարածքի և եզրակացության միջև տրամաբանական հետևանք, կարելի է առանձնացնել երկու տեսակի եզրակացություններ.

Հիմնականում դեդուկտիվ պատճառաբանությունկայանում է տրամաբանական օրենք, որի պատճառով եզրակացությունը տրամաբանական անհրաժեշտությամբ բխում է ընդունված տարածքից։

Տարբերակիչ հատկանիշայդպիսի եզրակացությունն այն է, որ այն միշտ իսկական նախադրյալներից տանում է դեպի ճշմարիտ եզրակացություն:

IN ինդուկտիվ պատճառաբանությունՆախադրյալների և եզրակացությունների միջև կապը հիմնված է ոչ թե տրամաբանության օրենքի, այլ որոշ փաստացի կամ հոգեբանական հիմքերի վրա, որոնք զուտ ձևական բնույթ չեն կրում:

Նման եզրակացության դեպքում եզրակացությունը տրամաբանորեն չի բխում տարածքից և կարող է պարունակել դրանցում չպարունակվող տեղեկություններ: Հետևաբար, տարածքների հուսալիությունը չի նշանակում դրանցից ինդուկտիվորեն բխող հայտարարության հավաստիություն: Ինդուկցիան տալիս է միայն հավանականը, կամ արժանահավատ, եզրակացություններ, որոնք լրացուցիչ ստուգման կարիք ունեն։

Դեդուկտիվ եզրակացությունները ներառում են, օրինակ, հետևյալը.

Եթե ​​անձրև է գալիս, գետինը թաց է: Անձրև է գալիս։

Գետինը թաց է։

Եթե ​​հելիումը մետաղ է, ապա այն էլեկտրահաղորդիչ է։ Հելիումը էլեկտրահաղորդիչ չէ:

Հելիումը մետաղ չէ։

Տարածքը եզրակացությունից բաժանող տողը, ինչպես միշտ, փոխարինում է «հետևաբար» բառը։

Ինդուկցիայի օրինակները ներառում են պատճառաբանություն.

Արգենտինան հանրապետություն է. Բրազիլիան հանրապետություն է. Վենեսուելան հանրապետություն է. Էկվադորը հանրապետություն է։

Արգենտինան, Բրազիլիան, Վենեսուելան, Էկվադորը Լատինական Ամերիկայի նահանգներ են։

Լատինական Ամերիկայի բոլոր նահանգները հանրապետություններ են .

Իտալիան հանրապետություն է, Պորտուգալիան՝ հանրապետություն, Ֆինլանդիան՝ հանրապետություն, Ֆրանսիան՝ հանրապետություն։

Իտալիան, Պորտուգալիան, Ֆինլանդիան, Ֆրանսիան արևմտաեվրոպական երկրներ են։

Արևմտյան Եվրոպայի բոլոր երկրները հանրապետություններ են։

Ինդուկցիան չի ապահովում գոյություն ունեցողներից նոր ճշմարտություն ստանալու ամբողջական երաշխիք: Առավելագույնը, որի մասին կարող ենք խոսել, հայտարարության ենթադրության որոշակի աստիճանի հավանականությունն է: Այսպիսով, և՛ առաջին, և՛ երկրորդ ինդուկտիվ եզրակացությունների նախադրյալները ճշմարիտ են, բայց դրանցից առաջինի եզրակացությունը ճշմարիտ է, իսկ երկրորդը՝ կեղծ: Իսկապես, Լատինական Ամերիկայի բոլոր նահանգները հանրապետություններ են. բայց արևմտաեվրոպական երկրների մեջ կան ոչ միայն հանրապետություններ, այլ նաև միապետություններ, օրինակ՝ Անգլիան, Բելգիան և Իսպանիան։

Եզրակացություններ

Հատկապես բնորոշ դեդուկցիաները տրամաբանական անցումներ են ընդհանուր գիտելիքներից դեպի որոշակի գիտելիքներ, ինչպիսիք են.

Բոլոր մետաղները ճկուն են: Պղինձը մետաղ է։

Պղինձը ճկուն է։

Բոլոր այն դեպքերում, երբ անհրաժեշտ է դիտարկել որոշ երևույթներ՝ հիմնվելով արդեն իսկ հայտնիի վրա ընդհանուր կանոնև այս երևույթների վերաբերյալ անհրաժեշտ եզրակացություն անելու համար մենք եզրակացնում ենք դեդուկցիայի տեսքով. Որոշ օբյեկտների մասին գիտելիքներից (մասնավոր գիտելիք) տանող պատճառաբանություն՝ որոշակի դասի բոլոր առարկաների մասին գիտելիքների ( ընդհանուր գիտելիքներ), բնորոշ ինդուկցիաներ են։ Միշտ կա հավանականություն, որ ընդհանրացումը կստացվի հապճեպ և անհիմն («Նապոլեոնը հրամանատար է, Սուվորովը հրամանատար է, սա նշանակում է, որ յուրաքանչյուր մարդ հրամանատար է»):

Միևնույն ժամանակ, չի կարելի դեդուկցիան նույնացնել ընդհանուրից մասնավորի անցման հետ, իսկ ինդուկցիան՝ մասնավորից ընդհանուրի անցման հետ։

Վեճում «Շեքսպիրը գրել է սոնետներ. հետևաբար, ճիշտ չէ, որ Շեքսպիրը սոնետներ չի գրել, կա դեդուկտացիա, բայց ընդհանուրից կոնկրետին անցում չկա։ «Եթե ալյումինը պլաստիկ է, կամ կավը պլաստիկ է, ապա ալյումինը պլաստիկ է» պատճառաբանությունը, ինչպես սովորաբար կարծում են, ինդուկտիվ է, բայց կոնկրետից ընդհանուրի անցում չկա:

Դեդուկցիան այն եզրակացությունների ածանցումն է, որոնք նույնքան վստահելի են, որքան ընդունված նախադրյալները, ինդուկցիան հավանական (հավանական) եզրակացությունների ածանցումն է: Ինդուկտիվ եզրակացությունները ներառում են ինչպես անցումներ մասնավորից դեպի ընդհանուր, այնպես էլ անալոգիա, պատճառահետևանքային կապերի հաստատման մեթոդներ, հետևանքների հաստատում, նպատակային հիմնավորում և այլն:

Հասկանալի է դեդուկտիվ հիմնավորման նկատմամբ ցուցաբերվող հատուկ հետաքրքրությունը։ Դրանք հնարավորություն են տալիս նոր ճշմարտություններ ձեռք բերել առկա գիտելիքից, և առավել եւս, մաքուր բանականության օգնությամբ, առանց փորձի, ինտուիցիայի, ողջախոհության և այլնի դիմելու: Դեդուկտացիան տալիս է հաջողության հարյուր տոկոսանոց երաշխիք և պարզապես չի տալիս: կամ իրական եզրակացության մեկ այլ, գուցե բարձր հավանականություն: Սկսելով ճշմարիտ նախադրյալներից և դեդուկտիվ պատճառաբանելով՝ մենք վստահ ենք, որ բոլոր դեպքերում վստահելի գիտելիք կստանանք:

Գիտելիքների բացման և հիմնավորման գործընթացում կարևորելով դեդուկցիայի կարևորությունը, սակայն չի կարելի այն առանձնացնել ինդուկցիայից և թերագնահատել վերջինս։ Գրեթե ամեն ինչ ընդհանուր դրույթներ, ներառյալ գիտական ​​օրենքները, ինդուկտիվ ընդհանրացման արդյունքներ են։ Այս առումով ինդուկցիան մեր գիտելիքների հիմքն է։ Այն ինքնին չի երաշխավորում իր ճշմարտացիությունն ու վավերականությունը, բայց ենթադրությունների տեղիք է տալիս, դրանք կապում փորձի հետ և դրանով իսկ տալիս է որոշակի վստահություն՝ քիչ թե շատ։ բարձր աստիճանհավանականությունները։ Փորձը մարդկային գիտելիքի աղբյուրն ու հիմքն է: Ինդուկցիան, սկսած փորձի մեջ ըմբռնվածից, դրա ընդհանրացման և համակարգման անհրաժեշտ միջոց է։

ՏՐԱՄԱԲԱՆԱԿԱՆ ՕՐԵՆՔՆԵՐ

Գլուխ

Տրամաբանական օրենքի հայեցակարգ

Տրամաբանական օրենքները կազմում են մարդկային մտածողության հիմքը: Նրանք որոշում են, թե երբ են այլ պնդումները տրամաբանորեն բխում որոշ հայտարարություններից և ներկայացնում են այդ անտեսանելի երկաթյա շրջանակը, որի վրա հիմնված է հետևողական դատողությունը և առանց որի այն վերածվում է քաոսային, անհամապատասխան խոսքի: Առանց տրամաբանական օրենքի անհնար է հասկանալ, թե որն է տրամաբանական հետևանքը և դրանով իսկ ինչ է ապացույցը։

Ճիշտ, կամ, ինչպես սովորաբար ասում են, տրամաբանական մտածողությունը մտածելն է ըստ տրամաբանության օրենքների, ըստ նրանց ամրագրված վերացական օրինաչափությունների։ Սա բացատրում է այս օրենքների կարևորությունը։

Միատարր տրամաբանական օրենքները միավորվում են տրամաբանական համակարգերի մեջ, որոնք սովորաբար կոչվում են նաև «տրամաբանություն»: Նրանցից յուրաքանչյուրը տալիս է նկարագրություն տրամաբանական կառուցվածքըմեր պատճառաբանության որոշակի հատված կամ տեսակ։

Օրինակ՝ օրենքները, որոնք նկարագրում են հայտարարությունների տրամաբանական կապերը՝ անկախ վերջիններիս ներքին կառուցվածքից, միավորվում են մի համակարգի մեջ, որը կոչվում է «առաջարկային տրամաբանություն»։ Տրամաբանական օրենքները, որոնք որոշում են կատեգորիկ հայտարարությունների կապերը, ձևավորում են տրամաբանական համակարգ, որը կոչվում է «կատեգորիայի հայտարարությունների տրամաբանություն» կամ «սիլլոգիստիկա» և այլն:

Տրամաբանական օրենքներն օբյեկտիվ են և կախված չեն մարդու կամքից ու գիտակցությունից։ Դրանք մարդկանց միջև պայմանավորվածության, ինչ-որ հատուկ մշակված կամ ինքնաբուխ ձևավորված կոնվենցիայի արդյունք չեն։ Դրանք ինչ-որ «համաշխարհային ոգու» արդյունք չեն, ինչպես ժամանակին հավատում էր Պլատոնը։ Մարդու վրա տրամաբանության օրենքների ուժը, ճիշտ մտածողության նրանց պարտադիր ուժը պայմանավորված է նրանով, որ դրանք արտացոլում են իրական աշխարհի մարդկային մտածողության մեջ և մարդու կողմից դրա ճանաչման ու փոխակերպման դարավոր փորձը:

Ինչպես բոլոր գիտական ​​օրենքները, տրամաբանական օրենքները համընդհանուր են և անհրաժեշտ: Նրանք գործում են միշտ և ամենուր՝ հավասարապես տարածվելով բոլոր մարդկանց և բոլոր դարաշրջանների վրա: ներկայացուցիչներ

Տրամաբանական օրենքի հայեցակարգ

տարբեր ազգեր և տարբեր մշակույթներ, տղամարդիկ և կանայք, հին եգիպտացիները և ժամանակակից պոլինեզիացիները, իրենց դատողությունների տրամաբանության տեսանկյունից, չեն տարբերվում միմյանցից։

Տրամաբանական օրենքներին բնորոշ անհրաժեշտությունը ինչ-որ առումով նույնիսկ ավելի հրատապ և անփոփոխ է, քան բնական կամ ֆիզիկական անհրաժեշտությունը: Անհնար է նույնիսկ պատկերացնել, որ տրամաբանորեն անհրաժեշտը կարող է այլ կերպ լինել։ Եթե ​​ինչ-որ բան հակասում է բնության օրենքներին և ֆիզիկապես անհնար է, ապա ոչ մի ինժեներ, որքան էլ նա տաղանդավոր լինի, չի կարողանա դա իրականացնել։ Բայց եթե ինչ-որ բան հակասում է տրամաբանության օրենքներին և տրամաբանորեն անհնար է, ապա ոչ միայն ինժեները, նույնիսկ ամենակարող էակը, եթե նա հանկարծ հայտնվեր, չէր կարողանա կյանքի կոչել այն:

Ինչպես նշվեց ավելի վաղ, ճիշտ պատճառաբանությամբ եզրակացությունը բխում է տրամաբանական անհրաժեշտությամբ նախադրյալներից, և ընդհանուր սխեմանՆման պատճառաբանությունը տրամաբանական օրենք է։

Ճիշտ դատողությունների (տրամաբանական օրենքների) սխեմաների թիվն անսահման է։ Այս սխեմաներից շատերը մեզ հայտնի են տրամաբանության պրակտիկայից: Մենք դրանք կիրառում ենք ինտուիտիվ կերպով՝ չհասկանալով, որ յուրաքանչյուր եզրակացություն, որը ճիշտ ենք անում, օգտագործում է այս կամ այն ​​տրամաբանական օրենքը։

Մտնելուց առաջ ընդհանուր հայեցակարգտրամաբանական օրենքը, մենք բերում ենք տրամաբանական սխեմաների մի քանի օրինակներ, որոնք ներկայացնում են տրամաբանական օրենքներ: A, B, C, ... փոփոխականների փոխարեն, որոնք սովորաբար օգտագործվում են հայտարարություններ նշելու համար, մենք, ինչպես արվում էր հնում, կօգտագործենք «առաջին» և «երկրորդ» բառերը՝ փոխարինելով փոփոխականներին:

«Եթե կա առաջին, ուրեմն կա երկրորդ. կա առաջինը; հետեւաբար, կա երկրորդը»։Այս հիմնավորման սխեման թույլ է տալիս անցնել պայմանական հայտարարության («Եթե կա առաջինը, ուրեմն կա երկրորդը») և դրա հիմքի («Առաջինը կա») հայտարարությունից անցնել հետևանքի հայտարարությանը ( «Կա երկրորդը»): Այս սխեմայի համաձայն, մասնավորապես, առաջանում է պատճառաբանությունը. «Եթե սառույցը տաքացվում է, այն հալվում է. սառույցը տաքացվում է; ուստի այն հալեցնում է»։

Ճիշտ պատճառաբանության մեկ այլ սխեմա. «Կա՛մ առաջինը, կա՛մ երկրորդը տեղի է ունենում. կա առաջինը; դա նշանակում է, որ երկրորդը չկա»։Այս սխեմայի միջոցով երկու իրարամերժ այլընտրանքներից և պարզելով դրանցից որն է, անցում է կատարվում երկրորդ այլընտրանքի ժխտմանը։ Օրինակ՝ «Կամ Դոստոևսկին ծնվել է Մոսկվայում, կամ նա ծնվել է Սանկտ Պետերբուրգում։ Դոստոևսկին ծնվել է Մոսկվայում։ Սա նշանակում է, որ ճիշտ չէ, որ նա ծնվել է Սանկտ Պետերբուրգում»։ Ամերիկյան «Լավը, վատը և տգեղը» վեսթերնում մի վատ կերպարը մյուսին ասում է. «Հիշիր, աշխարհը բաժանված է երկու մասի. նրանք, ովքեր ձեռքում են ատրճանակ և նրանք, ովքեր փորում են: Ես հիմա ունեմ ատրճանակը, ուրեմն վերցրու բահը»։ Այս պատճառաբանությունը նույնպես հիմնված է նշված սխեմայի վրա։

Եվ տրամաբանական օրենքի կամ ճիշտ պատճառաբանության ընդհանուր սխեմայի վերջնական նախնական օրինակ. «Դա առաջինն է, թե երկրորդը. Բայց առաջինը չէ։ Սա նշանակում է, որ վերջինս այդպես է»։«Առաջինը» արտահայտության փոխարեն փոխարինենք «Օր է» արտահայտությունը, իսկ «երկրորդ»-ի փոխարեն՝ «Գիշեր է» արտահայտությունը։ Վերացական գծապատկերից ստանում ենք պատճառաբանությունը՝ «Ցերեկ է, թե գիշեր։ Բայց ճիշտ չէ, որ ցերեկ է։

Այսպիսով, հիմա գիշեր է»:

Սրանք մի քանիսն են պարզ սխեմաներճիշտ դատողություն՝ պատկերացնելով տրամաբանական օրենքի հայեցակարգը։ Հարյուրավոր ու հարյուրավոր նմանատիպ սխեմաներ նստած են մեր գլխում, թեև մենք տեղյակ չենք։ Դրանց հիման վրա մենք տրամաբանում ենք, կամ՝ ճիշտ։

Տրամաբանության օրենք (տրամաբանական օրենք)- արտահայտություն, որը ներառում է միայն տրամաբանական հաստատուններ և փոփոխականներ՝ իմաստալից մասերի փոխարեն և ճշմարիտ է տրամաբանության ցանկացած ոլորտում:

Որպես օրինակ վերցնենք մի արտահայտություն, որը բաղկացած է միայն փոփոխականներից և տրամաբանական հաստատուններից, արտահայտությունը. «Եթե A, ապա B; նշանակում է, եթե ոչ Ա, ապա ոչ Բ»։ Այստեղ տրամաբանական հաստատուններն են «եթե, ապա» և «ոչ» առաջարկական կապերը: A և B փոփոխականները ներկայացնում են որոշ հայտարարություններ: Ենթադրենք, Ա-ն «պատճառ կա», իսկ B-ն՝ «Արդյունք կա»: Այս կոնկրետ բովանդակությամբ մենք ստանում ենք այն պատճառաբանությունը. «Եթե կա պատճառ, ուրեմն կա հետևանք. Սա նշանակում է, որ եթե չկա էֆեկտ, ուրեմն չկա պատճառ»։ Այնուհետև ենթադրենք, որ A-ի փոխարեն փոխարինվում է «Թիվը բաժանվում է վեցի» պնդումը, իսկ B-ի փոխարեն՝ «Թիվը բաժանվում է երեքի» պնդումը։ Այս կոնկրետ բովանդակությամբ, ելնելով խնդրո առարկա գծապատկերից, մենք ստանում ենք այն պատճառաբանությունը. «Եթե թիվը բաժանվում է վեցի, այն բաժանվում է երեքի։ Հետեւաբար, եթե մի թիվը չի բաժանվում երեքի, այն չի բաժանվում վեցի»։ Ինչ այլ պնդումներ էլ փոխարինվեն A և B փոփոխականներով, եթե այդ պնդումները ճշմարիտ են, ապա դրանցից արված եզրակացությունը ճշմարիտ կլինի:

Տրամաբանության մեջ սովորաբար վերապահում է արվում, որ օբյեկտների այն տարածքը, որի մասին տարվում է հիմնավորումը, և որի մասին խոսում են տրամաբանական օրենքի մեջ մտցված պնդումները, չի կարող դատարկ լինել. այն պետք է պարունակի առնվազն մեկ առարկա: Հակառակ դեպքում, տրամաբանության օրենք հանդիսացող սխեմայի համաձայն հիմնավորումը կարող է իրական նախադրյալներից բերել կեղծ եզրակացության։

Օրինակ, «Բոլոր փղերը կենդանիներ են» և «Բոլոր փղերն ունեն կոճղեր» իրական նախադրյալներից, ըստ տրամաբանության օրենքի, հետևում է «Որոշ կենդանիներ կոճղեր» իրական եզրակացությունը: Բայց եթե խնդրո առարկա օբյեկտների տիրույթը դատարկ է, տրամաբանության օրենքին հետևելը չի ​​երաշխավորում ճշմարիտ եզրակացություն՝ տրված ճշմարիտ նախադրյալներից: Մենք կպատճառաբանենք նույն սխեմայով, բայց այս անգամ ոսկու լեռների մասին։ Եկեք եզրակացություն անենք. «Բոլոր ոսկե սարերը սարեր են. բոլոր ոսկե սարերը ոսկե են. ուստի որոշ սարեր ոսկեգույն են»։ Այս եզրակացության երկու նախադրյալներն էլ ճշմարիտ են: Բայց նրա եզրակացությունը՝ «Որոշ սարեր ոսկե են», ակնհայտորեն սուտ է. ոսկե սար չկա։

Տրամաբանական օրենքի հայեցակարգ

Այսպիսով, տրամաբանության օրենքի վրա հիմնված դատողությունը բնութագրվում է երկու հատկանիշներով.

Նման դատողությունը միշտ ճշմարիտ նախադրյալներից բերում է ճշմարիտ եզրակացության.

Հետևանքը բխում է տարածքից՝ տրամաբանական անհրաժեշտությամբ։

Տրամաբանական օրենքը նույնպես կոչվում է տրամաբանական տավտոլոգիա.

Տրամաբանական տավտոլոգիա- արտահայտություն, որը մնում է ճշմարիտ, անկախ նրանից, թե ինչ առարկաներ են քննարկվում, կամ «միշտ ճշմարիտ» արտահայտություն:

Օրինակ, կրկնակի ժխտման տրամաբանական օրենքի փոխարինման բոլոր արդյունքները «Եթե A, ապա դա ճիշտ չէ, որ A չէ» ճիշտ պնդումներ են. «Եթե մուրը սև է, ապա ճիշտ չէ, որ այն սև չէ»: «Եթե մարդը վախից դողում է, ապա ճիշտ չէ, որ նա վախից չի դողում» և այլն։

Ինչպես արդեն նշվեց, տրամաբանական օրենքի հասկացությունն ուղղակիորեն կապված է տրամաբանական ենթատեքստ հասկացության հետ. եզրակացությունը տրամաբանորեն բխում է ընդունված նախադրյալներից, եթե այն կապված է դրանց հետ տրամաբանական օրենքով: Օրինակ, «Եթե A, ապա B» և «Եթե B, ապա C» նախադրյալներից տրամաբանորեն հետևում է «Եթե A, ապա C» եզրակացությունը, քանի որ «Եթե A, ապա B, և եթե B, ապա C» արտահայտությունը. ապա եթե A , ապա C»-ն ներկայացնում է տրամաբանական օրենք, այն է անցումային օրենքը(անցանելիություն): Ասենք, «Եթե մարդը հայր է, ուրեմն նա ծնող է» և «Եթե անձը ծնող է, ուրեմն նա հայր է կամ մայր» նախադասություններից, ըստ սույն օրենքի, հետևում է. մարդը հայր է, հետո հայր է կամ մայր»։

Տրամաբանական հաջորդականություն- նախադրյալների և եզրակացության միջև հարաբերությունը, որի ընդհանուր սխեման տրամաբանական օրենք է:

Քանի որ տրամաբանական ենթատեքստի կապը հիմնված է տրամաբանական օրենքի վրա, այն բնութագրվում է երկու հատկանիշով.

Տրամաբանական հետևանքը իրական նախադրյալներից տանում է միայն ճշմարիտ եզրակացության.

Դրանցից տրամաբանական անհրաժեշտությամբ բխում է նախադրյալներից բխող եզրակացությունը։

Ոչ բոլոր տրամաբանական օրենքներն են ուղղակիորեն սահմանում տրամաբանական հետևանք հասկացությունը: Կան օրենքներ, որոնք նկարագրում են այլ տրամաբանական կապեր՝ «և», «կամ», «դա ճիշտ չէ» և այլն, և միայն անուղղակիորեն կապված են տրամաբանական ենթատեքստի հարաբերակցության հետ։ Սա, մասնավորապես, հակասության օրենքն է, որը դիտարկվում է ստորև. «Ճիշտ չէ, որ կամայականորեն ընդունված հայտարարությունը և.

Խելացի մտքերը գալիս են միայն այն ժամանակ, երբ հիմարություններն արդեն արված են։

Միայն նրանք, ովքեր անհեթեթ փորձեր են անում, կկարողանան հասնել անհնարինին։ Ալբերտ Էյնշտեյն

Լավ ընկերներ, լավ գրքեր և քնած խիղճ՝ սա իդեալական կյանք է: Մարկ Տվեն

Դուք չեք կարող ժամանակի հետ վերադառնալ և փոխել ձեր սկիզբը, բայց կարող եք սկսել հիմա և փոխել ձեր ավարտը:

Ավելի մանրամասն ուսումնասիրելուց հետո ինձ համար ընդհանուր առմամբ պարզ է դառնում, որ այդ փոփոխությունները, որոնք թվում է, թե գալիս են ժամանակի ընթացքում, իրականում ընդհանրապես փոփոխություններ չեն լինում. փոխվում է միայն իմ տեսակետը իրերի նկատմամբ: (Ֆրանց Կաֆկա)

Ու թեև միանգամից երկու ճանապարհ գնալու գայթակղությունը մեծ է, բայց մեկ տախտակամածով չես կարող խաղալ և՛ սատանայի, և՛ Աստծո հետ...

Գնահատեք նրանց, ում հետ կարող եք ինքներդ լինել։
Առանց դիմակների, բացթողումների ու հավակնությունների.
Եվ հոգ տանել նրանց մասին, դրանք ձեզ ուղարկվել են ճակատագրով:
Ի վերջո, ձեր կյանքում դրանք ընդամենը մի քանիսն են

Հաստատական ​​պատասխանի համար բավական է միայն մեկ բառը՝ «այո»: Մնացած բոլոր բառերը հորինված են ոչ ասելու համար: Դոն Ամինադո

Հարցրեք մարդուն. «Ի՞նչ է երջանկությունը»: և դուք կիմանաք, թե ինչն է նա ամենից շատ կարոտում:

Եթե ​​ուզում ես հասկանալ կյանքը, ուրեմն դադարիր հավատալ նրանց ասածներին ու գրածներին, այլ դիտիր և զգացիր: Անտոն Չեխով

Աշխարհում չկա ավելի կործանարար ու անտանելի բան, քան անգործությունն ու սպասելը։

Իրականացրեք ձեր երազանքները, աշխատեք գաղափարների վրա։ Նրանք, ովքեր նախկինում ծիծաղում էին ձեզ վրա, կսկսեն նախանձել ձեզ:

Ռեկորդները կոտրելու համար կան.

Պետք չէ ժամանակ կորցնել, այլ ներդրումներ կատարել դրա մեջ։

Մարդկության պատմությունը բավականին փոքր թվով մարդկանց պատմություն է, ովքեր հավատում էին իրենց:

Քեզ մոտեցե՞լ ես եզրին։ Այլևս ապրելու իմաստ չե՞ք տեսնում: Սա նշանակում է, որ դուք արդեն մոտ եք... Մոտ եք հատակին հասնելու որոշմանը, որպեսզի հեռանաք դրանից և որոշեք հավերժ երջանիկ լինել... Այսպիսով, մի վախեցեք հատակից, օգտագործեք այն...

Եթե ​​դու ազնիվ ու անկեղծ լինես, մարդիկ քեզ կխաբեն. դեռևս եղիր անկեղծ և անկեղծ:

Մարդը հազվադեպ է ինչ-որ բանի հաջողվում, եթե գործունեությունը նրան ուրախություն չի պատճառում։ Դեյլ Քարնեգի

Եթե ​​քո հոգում մնա գոնե մեկ ծաղկած ճյուղ, նրա վրա միշտ կնստի երգող թռչուն (Արևելյան իմաստություն):

Կյանքի օրենքներից մեկն ասում է, որ հենց մի դուռը փակվում է, մյուսը բացվում է։ Բայց դժբախտությունն այն է, որ մենք նայում ենք փակ դռանն ու ուշադրություն չենք դարձնում բացին։ Անդրե Ժիդ

Մի դատեք մարդուն, քանի դեռ չեք խոսել նրա հետ, քանի որ այն ամենը, ինչ լսում եք, ասեկոսեներ են: Մայքլ Ջեքսոն.

Սկզբում նրանք անտեսում են քեզ, հետո ծիծաղում են քեզ վրա, հետո կռվում են քեզ հետ, հետո դու հաղթում ես: Մահաթմա Գանդի

Մարդկային կյանքը բաժանվում է երկու կեսի. առաջին կեսում նրանք ձգտում են առաջ դեպի երկրորդը, իսկ երկրորդում նրանք ձգտում են վերադառնալ դեպի առաջինը:

Եթե ​​ինքներդ ոչինչ չեք անում, ինչպե՞ս կարող եք օգնել: Դուք կարող եք վարել միայն շարժվող մեքենա

Ամեն ինչ կկատարվի։ Միայն այն ժամանակ, երբ դուք որոշեք դա անել:

Այս աշխարհում ամեն ինչ կարող ես փնտրել, բացի սիրուց ու մահից... Նրանք իրենք կգտնեն քեզ, երբ ժամանակը գա:

Ներքին բավարարվածությունը, չնայած շրջապատող տառապանքին, շատ արժեքավոր արժեք է: Շրիդհար Մահարաջ

Սկսեք հիմա ապրել այն կյանքով, որը կցանկանայիք տեսնել վերջում: Մարկուս Ավրելիուս

Մենք պետք է ամեն օր ապրենք այնպես, ասես վերջին պահը լինի։ Մենք փորձ չունենք, մենք կյանք ունենք: Մենք դա չենք սկսում երկուշաբթի, մենք ապրում ենք այսօր:

Կյանքի յուրաքանչյուր պահը ևս մեկ հնարավորություն է։

Մեկ տարի անց դուք աշխարհին այլ աչքերով կնայեք, և նույնիսկ ձեր տան մոտ աճող այս ծառը ձեզ այլ կթվա։

Պետք չէ երջանկություն փնտրել, դու պետք է լինես այն: Օշո

Գրեթե յուրաքանչյուր հաջողության պատմություն, որը ես գիտեմ, սկսվում էր նրանից, որ անհաջողությունից պարտված, մեջքի վրա պառկած մարդ էր: Ջիմ Ռոն

Յուրաքանչյուր երկար ճանապարհ սկսվում է մեկ՝ առաջին քայլից:

Ոչ ոք քեզնից լավը չէ: Ոչ ոք քեզանից խելացի չէ: Նրանք պարզապես սկսել են ավելի վաղ: Բրայան Թրեյսի

Վազողը ընկնում է։ Նա, ով սողում է, չի ընկնում: Պլինիոս Ավագը

Պարզապես պետք է հասկանալ, որ դու ապրում ես ապագայում, և անմիջապես կհայտնվես այնտեղ։

Ես ընտրում եմ ապրել, ոչ թե գոյություն ունենալ: Ջեյմս Ալան Հեթֆիլդ

Երբ դուք գնահատում եք այն, ինչ ունեք, և չեք ապրում իդեալների որոնման մեջ, ապա իսկապես երջանիկ կլինեք:

Միայն նրանք, ովքեր մեզնից վատն են, մեր մասին վատ են մտածում, իսկ նրանք, ովքեր մեզնից լավն են, պարզապես ժամանակ չունեն մեզ համար։ Օմար Խայամ

Երբեմն երջանկությունից մեզ բաժանում է մեկ զանգ... Մեկ զրույց... Մեկ խոստովանություն...

Ընդունելով իր թուլությունը՝ մարդն ուժեղ է դառնում։ Օնրե Բալզակ

Նա, ով խոնարհեցնում է իր հոգին, դրանից ավելի ուժեղով նվաճում է քաղաքները.

Երբ հնարավորություն է գալիս, դու պետք է տիրես այն: Եվ երբ դուք բռնեցիք այն, հասաք հաջողության, վայելեք այն: Զգացեք ուրախությունը: Եվ թող ձեր շուրջը գտնվող բոլորը ծծեն ձեր շղթան ապուշ լինելու համար, երբ ձեզ համար ոչ մի կոպեկ չեն տվել: Եվ հետո `հեռանալ: Գեղեցիկ. Եվ թողեք բոլորին շոկի մեջ:

Երբեք մի հուսահատվեք: Իսկ եթե արդեն հուսահատության մեջ եք ընկել, ապա շարունակեք աշխատել հուսահատության մեջ։

Որոշիչ առաջ քայլը հետևից լավ հարվածի արդյունք է:

Ռուսաստանում պետք է լինել կամ հայտնի կամ հարուստ, որպեսզի քեզ վերաբերվեն այնպես, ինչպես Եվրոպայում են վերաբերվում որևէ մեկին: Կոնստանտին Ռայկին

Ամեն ինչ կախված է ձեր վերաբերմունքից: (Չակ Նորիս)

Ոչ մի պատճառաբանություն չի կարող մարդուն ցույց տալ մի ճանապարհ, որը նա չի ցանկանում տեսնել Ռոմեն Ռոլանին

Այն, ինչին դու հավատում ես, դառնում է քո աշխարհը: Ռիչարդ Մաթեսոն

Լավ է, որտեղ մենք չկանք: Մենք այլևս անցյալում չենք, և դրա համար էլ այն գեղեցիկ է թվում։ Անտոն Չեխով

Հարուստներն ավելի են հարստանում, քանի որ սովորում են հաղթահարել ֆինանսական դժվարությունները: Նրանք դրանք տեսնում են որպես սովորելու, աճելու, զարգանալու և հարստանալու հնարավորություն:

Յուրաքանչյուր ոք ունի իր դժոխքը. դա պարտադիր չէ, որ կրակ և խեժ լինի: Մեր դժոխքը իզուր կյանք է: Ուր տանում են երազանքները

Կարևոր չէ, թե որքան եք աշխատում, գլխավորը արդյունքն է։

Միայն մայրիկն ունի ամենաբարի ձեռքերը, ամենաքնքուշ ժպիտը և ամենասիրուն սիրտը...

Կյանքում հաղթողները միշտ ոգով են մտածում՝ ես կարող եմ, ուզում եմ, ես։ Մյուս կողմից, պարտվողներն իրենց ցրված մտքերը կենտրոնացնում են այն բանի վրա, թե ինչ կարող էին ունենալ, կարող էին անել կամ ինչ չեն կարող անել: Այլ կերպ ասած, հաղթողները միշտ պատասխանատվություն են կրում, մինչդեռ պարտվողներն իրենց անհաջողությունների համար մեղադրում են հանգամանքներին կամ այլ մարդկանց: Դենիս Ուաթլի.

Կյանքը սար է, դանդաղ ես բարձրանում, արագ իջնում ​​ես: Գի դե Մոպասան

Մարդիկ այնքան են վախենում նոր կյանք տանող քայլ անել, որ պատրաստ են աչքերը փակել այն ամենի վրա, ինչը իրենց չի սազում։ Բայց սա ավելի սարսափելի է՝ մի օր արթնանալ և հասկանալ, որ մոտակայքում ամեն ինչ նույնը չէ, նույնը չէ, նույնը չէ... Բեռնարդ Շոու

Ընկերությունն ու վստահությունը չեն գնվում կամ վաճառվում:

Միշտ, կյանքիդ յուրաքանչյուր րոպեին, նույնիսկ երբ դու բացարձակ երջանիկ ես, մեկ վերաբերմունք ունեցիր քեզ շրջապատող մարդկանց նկատմամբ.

Աշխարհում կարող ես ընտրել միայն մենակության և գռեհկության միջև։ Արթուր Շոպենհաուեր

Պարզապես պետք է իրերին այլ կերպ նայել, և կյանքն այլ ուղղությամբ կհոսի:

Երկաթը սա ասաց մագնիսին. Ես ատում եմ քեզ ամենից շատ, որովհետև դու գրավում ես առանց բավարար ուժ ունենալու քեզ հետ քաշելու համար: Ֆրիդրիխ Նիցշե

Սովորեք ապրել նույնիսկ այն ժամանակ, երբ կյանքը դառնում է անտանելի: Ն.Օստրովսկի

Այն պատկերը, որը դուք տեսնում եք ձեր մտքում, ի վերջո կդառնա ձեր կյանքը:

«Կյանքիդ առաջին կեսին դու ինքդ քեզ հարցնում ես, թե ինչի ես ընդունակ, իսկ երկրորդում՝ ու՞մ է դա պետք»:

Երբեք ուշ չէ նոր նպատակ դնելու կամ նոր երազանքի հասնելու համար:

Վերահսկեք ձեր ճակատագիրը, թե չէ ուրիշը կկատարի:

Տեսեք գեղեցկությունը տգեղի մեջ,
տեսեք, թե ինչպես է գետը լցվում առուների մեջ...
ով գիտի, թե ինչպես երջանիկ լինել առօրյա կյանքում,
նա իսկապես այդպես է երջանիկ մարդ! Է.Ասադով

Իմաստունին հարցրին.

Քանի՞ տեսակի բարեկամություն կա:

Չորս, նա պատասխանեց.
Ընկերները սննդի պես են. նրանց կարիքն ունես ամեն օր:
Ընկերները դեղի պես են, երբ դու վատ ես զգում նրանց:
Կան ընկերներ, հիվանդության պես, նրանք իրենք են քեզ փնտրում։
Բայց օդի պես ընկերներ կան. չես կարող տեսնել նրանց, բայց նրանք միշտ քեզ հետ են:

Ես կդառնամ այն ​​մարդը, ում ուզում եմ դառնալ, եթե հավատամ, որ կդառնամ այն: Գանդի

Բացեք ձեր սիրտը և լսեք, թե ինչ է նա երազում: Հետևեք ձեր երազանքներին, քանի որ միայն նրանց միջոցով, ովքեր չեն ամաչում իրենց համար, կբացահայտվի Տիրոջ փառքը: Պաուլո Կոելյո

Հերքվելը վախենալու բան չէ. Պետք է վախենալ մեկ այլ բանից՝ չհասկացված լինելուց։ Իմանուել Կանտ

Եղե՛ք իրատես՝ պահանջե՛ք անհնարինը: Չե Գևարա

Մի հետաձգեք ձեր ծրագրերը, եթե դրսում անձրև է գալիս:
Մի հրաժարվեք ձեր երազանքներից, եթե մարդիկ ձեզ չեն հավատում:
Գնացեք բնության և մարդկանց դեմ: Դու մարդ ես։ Դուք ուժեղ եք։
Եվ հիշեք՝ չկան անհասանելի նպատակներ, կա ծուլության բարձր գործակից, հնարամտության պակաս և արդարացումների պաշար:

Կամ դուք եք ստեղծում աշխարհը, կամ աշխարհն է ստեղծում ձեզ: Ջեք Նիկոլսոն

Ես սիրում եմ, երբ մարդիկ ժպտում են առանց պատճառի: Օրինակ՝ դուք ավտոբուս եք նստում և տեսնում եք, թե ինչպես է մարդ նայում պատուհանից դուրս կամ SMS գրում և ժպտում։ Դա ձեր հոգին այնքան լավ է զգում: Եվ ես ինքս ուզում եմ ժպտալ:

Հայտարարությունն ավելի բարդ ձևավորում է, քան անվանումը: Երբ պնդումները բաժանում ենք ավելի պարզ մասերի, միշտ ստանում ենք որոշակի անուններ: Ասենք, «Արևը աստղ է» արտահայտությունը ներառում է «Արև» և «աստղ» անունները որպես իր մասեր:

Հայտարարություն -քերականորեն ճիշտ նախադասություն՝ վերցված իր արտահայտած իմաստի (բովանդակության) հետ միասին և լինելով ճիշտ կամ սխալ։

Հայտարարություն հասկացությունը ժամանակակից տրամաբանության սկզբնական, առանցքային հասկացություններից է: Որպես այդպիսին, այն թույլ չի տալիս ճշգրիտ սահմանում, որը հավասարապես կիրառելի է իր տարբեր բաժիններում:

Հայտարարությունը համարվում է ճշմարիտ, եթե նրա տված նկարագրությունը համապատասխանում է իրական իրավիճակին, և կեղծ, եթե այն չի համապատասխանում դրան: «Ճիշտ» և «կեղծ» կոչվում են «հայտարարությունների ճշմարիտ արժեքներ»:

Առանձին հայտարարություններից նոր հայտարարությունները կարող են կառուցվել տարբեր ձևերով: Օրինակ՝ «Քամին փչում է» և «Անձրև է գալիս» արտահայտություններից կարելի է ավելի բարդ արտահայտություններ կազմել՝ «Քամին փչում է և անձրևում է», «Կամ քամին է փչում, կամ անձրևում է», «Եթե այն. անձրև է գալիս, հետո քամին է փչում» և այլն։

Հայտարարությունը կոչվում է պարզ,եթե այն չի ներառում այլ հայտարարություններ որպես դրա մասեր:

Հայտարարությունը կոչվում է համալիր,եթե այն ստացվում է այլ ավելի պարզ հայտարարությունների տրամաբանական կապերի միջոցով:

Դիտարկենք բարդ հայտարարություններ կառուցելու ամենակարևոր ուղիները:

Բացասական հայտարարությունբաղկացած է սկզբնական հայտարարությունից և ժխտումից, որոնք սովորաբար արտահայտվում են «ոչ», «դա ճիշտ չէ» բառերով։ Բացասական հայտարարությունը, հետևաբար, բարդ հայտարարություն է. այն իր մասում ներառում է իրենից տարբերվող հայտարարություն: Օրինակ՝ «10-ը զույգ թիվ է» արտահայտության ժխտումը «10-ը զույգ թիվ չէ» (կամ՝ «Ճիշտ չէ, որ 10-ը զույգ թիվ է» պնդումն է։

Հայտարարությունները նշենք տառերով A, B, C,... Հայտարարության ժխտման հասկացության ամբողջական իմաստը տրվում է պայմանով՝ եթե հայտարարությունը Աճշմարիտ է, դրա ժխտումը կեղծ է, և եթե Ակեղծ է, դրա ժխտումը ճշմարիտ է: Օրինակ, քանի որ «1-ը դրական ամբողջ թիվ է» պնդումը ճիշտ է, դրա ժխտումը «1-ը դրական ամբողջ թիվ չէ» սխալ է, և քանի որ «1-ը պարզ թիվ է» սխալ է, ապա դրա ժխտումը «1-ը պարզ թիվ չէ»: », ճիշտ է.

Երկու պնդումները միացնելով «և» բառով, ստացվում է բարդ հայտարարություն, որը կոչվում է միացում.Այս կերպ կապված հայտարարությունները կոչվում են «շաղկապության անդամներ»:

Օրինակ, եթե «Այսօր շոգ է» և «Երեկ ցուրտ էր» արտահայտությունները միացվեն այսպես, ստացվում է «Այսօր շոգ էր և երեկ ցուրտ էր» շաղկապը:

Շաղկապը ճշմարիտ է միայն այն դեպքում, եթե դրանում ներառված երկու պնդումներն էլ ճշմարիտ են. եթե նրա անդամներից գոնե մեկը կեղծ է, ապա ամբողջ կապը կեղծ է:

Սովորական լեզվով երկու պնդումներ կապված են «և» շաղկապով, երբ դրանք բովանդակությամբ կամ իմաստով կապված են միմյանց հետ։ Այս կապի բնույթը լիովին պարզ չէ, բայց պարզ է, որ մենք չենք համարի «Նա վերարկուով էր քայլում, իսկ ես գնում էի համալսարան» շաղկապը որպես իմաստ, որը կարող է լինել ճիշտ կամ կեղծ արտահայտություն: Թեև «2-ը պարզ թիվ է» և «Մոսկվան մեծ քաղաք է» պնդումները ճշմարիտ են, մենք հակված չենք դրանց «2-ը պարզ թիվ է, իսկ Մոսկվան՝ մեծ քաղաք» շաղկապումը ճիշտ համարել, քանի որ բաղադրիչները. այս հայտարարությունները իմաստով փոխկապակցված չեն: Պարզեցնելով կապի և այլ տրամաբանական կապերի իմաստը և, այդ նպատակով, հրաժարվելով «հայտարարությունների կապը իմաստով» անհասկանալի հայեցակարգից, տրամաբանությունը դարձնում է այս կապերի իմաստը և՛ ավելի լայն, և՛ կոնկրետ:

«կամ» բառի օգտագործմամբ երկու պնդումների միացումը տալիս է անջատումայս հայտարարությունները. Դիջյունցիա կազմող հայտարարությունները կոչվում են «անջատման անդամներ»:

Առօրյա լեզվում «կամ» բառը երկու տարբեր նշանակություն ունի. Երբեմն դա նշանակում է «մեկը կամ մյուսը կամ երկուսը», և երբեմն «մեկը կամ մյուսը, բայց ոչ երկուսն էլ»: Օրինակ՝ «Այս սեզոնին ես ուզում եմ գնալ բահերի թագուհու կամ Աիդայի մոտ» հայտարարությունը թույլ է տալիս երկու անգամ այցելել ոներա։ «Նա սովորում է Մոսկվայի կամ Յարոսլավլի համալսարանում» արտահայտությունը ենթադրում է, որ նշված անձը սովորում է այդ բուհերից միայն մեկում։

«կամ»-ի առաջին իմաստը կոչվում է ոչ բացառիկ.Այս իմաստով երկու պնդումների բաժանումը նշանակում է, որ այս պնդումներից առնվազն մեկը ճշմարիտ է, անկախ նրանից՝ երկուսն էլ ճշմարիտ են, թե ոչ: Վերցված է երկրորդում բացառիկկամ խիստ իմաստով երկու պնդումների բաժանումը նշում է, որ պնդումներից մեկը ճշմարիտ է, իսկ երկրորդը՝ կեղծ։

Ոչ բացառիկ դիզյունցիան ճշմարիտ է, երբ դրա բաղկացուցիչ պնդումներից առնվազն մեկը ճշմարիտ է, և սխալ միայն այն դեպքում, երբ դրա երկու անդամներն էլ կեղծ են:

Բացառիկ տարանջատումը ճշմարիտ է, երբ դրա տերմիններից միայն մեկն է ճշմարիտ, և այն սխալ է, երբ երկու տերմիններն էլ ճշմարիտ են կամ երկուսն էլ սխալ են:

Տրամաբանության և մաթեմատիկայի մեջ «կամ» բառը գրեթե միշտ օգտագործվում է ոչ բացառիկ իմաստով:

Պայմանական հայտարարություն -բարդ հայտարարություն, որը սովորաբար ձևակերպվում է օգտագործելով «եթե..., ապա...» կապակցիչը և հաստատելով այդ մեկ իրադարձությունը, վիճակը և այլն: այս կամ այն ​​իմաստով հիմք կամ պայման է մյուսի համար:

Օրինակ՝ «Եթե կրակ կա, ուրեմն ծուխ է», «Եթե թիվը բաժանվում է 9-ի, այն բաժանվում է 3-ի» և այլն։

Պայմանական հայտարարությունը կազմված է երկու ավելի պարզ հայտարարություններից: Կոչվում է այն, որին նախորդում է «եթե» բառը հիմք,կամ նախորդող(նախորդ), կոչվում է «որ» բառից հետո եկող հայտարարությունը հետևանք,կամ հետևանքային(հետագա):

Պայմանական դրույթ հաստատելով՝ մենք առաջին հերթին նկատի ունենք, որ չի կարող լինել, որ դրա հիմքում ասվածը տեղի ունենա, իսկ հետևանքում ասվածը բացակայի։ Այսինքն՝ չի կարող պատահել, որ նախորդը ճշմարիտ է, իսկ հետևանքը՝ կեղծ։

Պայմանական դրույթի առումով սովորաբար սահմանվում են բավարար և անհրաժեշտ պայմաններ հասկացությունները՝ նախադրյալը (հիմքը) բավարար պայման է հետևանքի (հետևանքի) համար, իսկ հետևանքը անհրաժեշտ պայման է նախորդի համար։ Օրինակ՝ «Եթե ընտրությունը ռացիոնալ է, ապա ընտրված է առկա այլընտրանքներից լավագույնը» պայմանական պնդման ճշմարտացիությունը նշանակում է, որ ռացիոնալությունը բավարար պատճառ է առկա տարբերակներից լավագույնն ընտրելու համար, և որ նման տարբերակի ընտրությունը. անհրաժեշտ պայման նրա ռացիոնալության համար։

Պայմանական հայտարարության տիպիկ գործառույթը մեկ պնդում հիմնավորելն է՝ հղում կատարելով մեկ այլ հայտարարությանը: Օրինակ, այն փաստը, որ արծաթը էլեկտրական հաղորդիչ է, կարելի է հիմնավորել այն փաստով, որ այն մետաղ է. «Եթե արծաթը մետաղ է, ապա այն էլեկտրական հաղորդիչ է»:

Պայմանական հայտարարությամբ արտահայտված հիմնավորողի և հիմնավորի (հիմքի և հետևանքի) կապը դժվար է բնութագրել ընդհանուր ձևով, և միայն երբեմն է դրա բնույթը համեմատաբար պարզ: Այս կապը կարող է լինել, առաջին հերթին, տրամաբանական հետևանքի կապ, որը տեղի է ունենում տարածքների և ճիշտ եզրակացության եզրակացության միջև («Եթե բոլոր կենդանի բազմաբջիջ արարածները մահկանացու են, իսկ մեդուզան այդպիսի արարած է, ապա այն մահկանացու է»); երկրորդ, բնության օրենքով («Եթե մարմինը ենթարկվում է շփման, այն կսկսի տաքանալ»); երրորդ, պատճառահետևանքային կապ («Եթե Լուսինը գտնվում է նոր լուսնի ուղեծրի հանգույցում, տեղի է ունենում արևի խավարում»); չորրորդ՝ սոցիալական օրինաչափություն, կանոն, ավանդույթ և այլն։ («Եթե հասարակությունը փոխվում է, փոխվում է նաև մարդը», «Եթե խորհուրդը ողջամիտ է, ապա այն պետք է իրականացվի»):

Պայմանական դրույթով արտահայտված կապը սովորաբար ուղեկցվում է այն համոզմունքով, որ հետևանքը «հետևում է» պատճառից որոշակի անհրաժեշտությամբ, և որ կա ինչ-որ ընդհանուր օրենք, որը կարողանալով ձևակերպել, մենք կարող ենք տրամաբանորեն հետևանքը հետևել պատճառից. .

Օրինակ, «Եթե բիսմութը մետաղ է, պլաստիկ է» պայմանական պնդումը կարծես թե ենթադրում է «Ոչ մի մետաղ պլաստիկ չէ» ընդհանուր օրենքը՝ այս պնդման հետևանքը դարձնելով իր նախորդի տրամաբանական հետևանքը։

Ե՛վ սովորական լեզվով, և՛ գիտության լեզվով պայմանական հայտարարությունը, ի լրումն հիմնավորման գործառույթի, կարող է կատարել նաև մի շարք այլ խնդիրներ. ձևակերպել պայման, որը կապված չէ որևէ ենթադրյալ ընդհանուր օրենքի կամ կանոնի հետ («Եթե. Ես ուզում եմ, ես կկտրեմ իմ թիկնոցը»); ձայնագրեք ցանկացած հաջորդականություն («Եթե անցյալ ամառը չոր էր, ապա այս տարի անձրևոտ է»); անհավատություն արտահայտել յուրահատուկ ձևով («Եթե դուք լուծեք այս խնդիրը, ես կապացուցեմ Ֆերմայի վերջին թեորեմը»); ընդդիմություն («Եթե այգում ծերուկ է աճում, ապա Կիևում տղա է ապրում») և այլն։ Պայմանական հայտարարության ֆունկցիաների բազմապատկությունն ու տարասեռությունը զգալիորեն բարդացնում է դրա վերլուծությունը:

Պայմանական հայտարարությունների օգտագործումը կապված է որոշակի հոգեբանական գործոնների հետ: Այսպիսով, մենք սովորաբար ձևակերպում ենք նման հայտարարություն միայն այն դեպքում, եթե մենք հստակ չգիտենք, թե արդյոք դրա նախորդը և հետևանքը ճշմարիտ են, թե կեղծ: Հակառակ դեպքում, դրա օգտագործումը անբնական է թվում («Եթե բամբակյա բուրդը մետաղ է, ապա այն էլեկտրական հաղորդիչ է»):

Պայմանական պնդումը շատ լայն կիրառություն է գտնում պատճառաբանության բոլոր ոլորտներում։ Տրամաբանության մեջ այն սովորաբար ներկայացված է ազդեցիկ հայտարարություն,կամ հետևանքներ.Միևնույն ժամանակ, տրամաբանությունը պարզաբանում, համակարգում և պարզեցնում է «եթե..., ապա...»-ի կիրառությունը՝ այն ազատելով հոգեբանական գործոնների ազդեցությունից։

Տրամաբանությունը վերացական է, մասնավորապես, նրանից, որ պայմանական դրույթին բնորոշ պատճառի և հետևանքի կապը, կախված համատեքստից, կարող է արտահայտվել ոչ միայն «եթե..., ապա...» օգտագործելով, այլ նաև այլ լեզվական միջոցներ։ Օրինակ՝ «Քանի որ ջուրը հեղուկ է, այն հավասարաչափ ճնշում է փոխանցում բոլոր ուղղություններով», «Չնայած պլաստիլինը մետաղ չէ, այն պլաստմասսա է», «Եթե փայտը մետաղական լիներ, ապա էլեկտրական հաղորդիչ կլիներ» և այլն։ Այս և նմանատիպ հայտարարությունները տրամաբանության լեզվով ներկայացված են ենթատեքստով, թեև դրանցում «եթե..., ապա...»-ի օգտագործումը լիովին բնական չի լինի:

Ենթատեքստ պնդելով՝ մենք պնդում ենք, որ չի կարող պատահել, որ դրա հիմքն առկա է, և դրա հետևանքը բացակայում է։ Այլ կերպ ասած, ենթատեքստը կեղծ է միայն այն դեպքում, երբ դրա պատճառը ճշմարիտ է, իսկ հետևանքը կեղծ է:

Այս սահմանումը, ինչպես կապակցիչների նախորդ սահմանումները, ենթադրում է, որ յուրաքանչյուր հայտարարություն կա՛մ ճշմարիտ է, կա՛մ կեղծ, և որ բարդ հայտարարության ճշմարտացի արժեքը կախված է միայն բաղկացուցիչ հայտարարությունների ճշմարտացիության արժեքներից և դրանց միացման եղանակից:

Ենթակայությունը ճշմարիտ է, երբ և՛ դրա պատճառը, և՛ դրա հետևանքը ճշմարիտ են կամ կեղծ. ճիշտ է, եթե դրա պատճառը կեղծ է, իսկ հետևանքը՝ ճշմարիտ: Միայն չորրորդ դեպքում, երբ պատճառը ճշմարիտ է, իսկ հետևանքը՝ կեղծ, ենթատեքստը կեղծ է:

Չի ենթադրվում, որ հայտարարությունները ԱԵվ INբովանդակությամբ ինչ-որ կերպ կապված են միմյանց հետ: Եթե ​​ճիշտ է INհայտարարությունը «եթե Ա,Դա ՄՏՍ»ճշմարիտ, անկախ նրանից Աճշմարիտ կամ կեղծ, և դա իմաստով կապված է INթե ոչ։

Օրինակ՝ ճշմարիտ են համարվում հետևյալ պնդումները. «Եթե Արևի վրա կյանք կա, ապա երկուսը և երկուսը հավասար են չորսի», «Եթե Վոլգան լիճ է, ապա Տոկիոն մեծ գյուղ է» և այլն։ Պայմանական պնդումը ճիշտ է նաև, երբ Ակեղծ, և կրկին անտարբերորեն, ճշմարիտ INթե ոչ, և արդյոք դա կապված է բովանդակության հետ Աթե ոչ։ Ճշմարիտ հայտարարությունները ներառում են. «Եթե Արևը խորանարդ է, ապա Երկիրը եռանկյուն է», «Եթե երկուսը և երկուսը հավասար են հինգի, ապա Տոկիոն փոքր քաղաք է» և այլն:

Սովորական դատողություններում այս բոլոր պնդումները դժվար թե համարվեն որպես իմաստալից, և դեռ ավելի քիչ իրական:

Թեև ենթատեքստն օգտակար է բազմաթիվ նպատակների համար, այն լիովին համահունչ չէ պայմանական կապի սովորական ըմբռնմանը: Ենթատեքստը ներառում է պայմանական հայտարարության տրամաբանական վարքագծի շատ կարևոր առանձնահատկություններ, բայց միևնույն ժամանակ դա բավականաչափ համարժեք նկարագրություն չէ:

Վերջին կես դարում աշխույժ փորձեր են եղել բարեփոխելու ենթատեքստի տեսությունը: Միևնույն ժամանակ, խոսք չէր գնում նկարագրված ենթատեքստի հայեցակարգից հրաժարվելու մասին, այլ դրա հետ մեկտեղ մեկ այլ հայեցակարգի ներդրման մասին, որը հաշվի է առնում ոչ միայն հայտարարությունների ճշմարտացիության արժեքները, այլև դրանց կապը բովանդակության մեջ:

Սերտորեն կապված է ենթատեքստի հետ համարժեքություն,երբեմն կոչվում է «կրկնակի ենթատեքստ»:

Համարժեքությունը բարդ պնդում է «A, եթե և միայն եթե B», որը ձևավորվում է Li B-ի հայտարարություններից և բաժանվում է երկու հետևանքների. «եթե. Ա,ապա B», և «եթե B, ապա Ա».Օրինակ՝ «Եռանկյունը հավասարակողմ է, եթե և միայն այն դեպքում, եթե այն հավասարանկյուն է»: «Համարժեքություն» տերմինը նշանակում է նաև կապակցական «..., եթե և միայն եթե...», որի օգնությամբ երկու պնդումներից կազմվում է տվյալ բարդ պնդում։ «եթե և միայն եթե»-ի փոխարեն այս նպատակով կարող են օգտագործվել «եթե և միայն եթե», «եթե և միայն եթե» և այլն:

Եթե ​​տրամաբանական կապերը սահմանվում են ճշմարտության և կեղծիքի տերմիններով, համարժեքությունը ճշմարիտ է, եթե և միայն այն դեպքում, եթե երկու բաղադրիչ հայտարարություններն ունեն նույն ճշմարտության արժեքը, այսինքն. երբ դրանք երկուսն էլ ճշմարիտ են կամ երկուսն էլ կեղծ: Համապատասխանաբար, համարժեքությունը կեղծ է, երբ դրանում ներառված պնդումներից մեկը ճիշտ է, իսկ մյուսը՝ սխալ:

Առաջարկային տրամաբանություն , որը նաև կոչվում է առաջարկային տրամաբանություն, մաթեմատիկայի և տրամաբանության ճյուղ է, որն ուսումնասիրում է պարզ կամ տարրական հայտարարություններից կառուցված բարդ հայտարարությունների տրամաբանական ձևերը՝ օգտագործելով տրամաբանական գործողություններ։

Առաջարկային տրամաբանությունը վերացվում է հայտարարությունների բովանդակությունից և ուսումնասիրում դրանց ճշմարտացիությունը, այսինքն՝ հայտարարությունը ճշմարիտ է, թե կեղծ:

Վերևի նկարը մի երևույթի օրինակ է, որը հայտնի է որպես «Սուտասանի պարադոքս»: Միաժամանակ, նախագծի հեղինակի կարծիքով, նման պարադոքսներ հնարավոր են միայն քաղաքական խնդիրներից զերծ միջավայրերում, որտեղ ինչ-որ մեկին ապրիորի կարելի է ստախոս պիտակավորել։ Բնական բազմաշերտ աշխարհում «ճշմարտության» կամ «սուտի» առարկան գնահատվում է միայն առանձին հայտարարություններ . Իսկ ավելի ուշ այս դասի ընթացքում ձեզ կներկայացնեն այս թեմայով բազմաթիվ հայտարարություններ ինքներդ գնահատելու հնարավորություն (և հետո նայեք ճիշտ պատասխաններին): Ներառյալ բարդ հայտարարությունները, որոնցում ավելի պարզները փոխկապակցված են տրամաբանական գործողությունների նշաններով: Բայց նախ, եկեք դիտարկենք այդ գործողությունները հենց հայտարարությունների վրա:

Առաջարկային տրամաբանությունն օգտագործվում է համակարգչային գիտության և ծրագրավորման մեջ՝ տրամաբանական փոփոխականներ հայտարարելու և դրանց «կեղծ» կամ «ճշմարիտ» տրամաբանական արժեքներ նշանակելու տեսքով, որից կախված է ծրագրի հետագա կատարման ընթացքը: Փոքր ծրագրերում, որտեղ ներառված է միայն մեկ բուլյան փոփոխական, բուլյան փոփոխականին հաճախ տրվում է այնպիսի անուն, ինչպիսին է «դրոշակը» և նշանակում է «դրոշը վերև է», երբ փոփոխականի արժեքը «true» է, իսկ «դրոշը ցած է»: այս փոփոխականի արժեքը «կեղծ» է։ Խոշոր ծրագրերում, որոնցում կան մի քանի կամ նույնիսկ շատ տրամաբանական փոփոխականներ, մասնագետներից պահանջվում է տրամաբանական փոփոխականների անուններ հորինել հայտարարությունների և ձևերի տեսքով: իմաստային բեռ, դրանք տարբերելով այլ տրամաբանական փոփոխականներից և հասկանալի այլ մասնագետների համար, ովքեր կկարդան այս ծրագրի տեքստը:

Այսպիսով, «UserRegistered» (կամ դրա անգլալեզու անալոգը) անունով տրամաբանական փոփոխականը կարող է հայտարարվել հայտարարության տեսքով, որին կարող է վերագրվել «true» տրամաբանական արժեքը, եթե առկա են այն պայմանները, որ գրանցման տվյալները ուղարկվել են: օգտատիրոջ կողմից, և այս տվյալները ճանաչվում են որպես վավեր ծրագրի կողմից: Հետագա հաշվարկներում փոփոխականների արժեքները կարող են փոխվել՝ կախված UserRegistered փոփոխականի տրամաբանական արժեքից (true կամ false): Այլ դեպքերում, փոփոխականին, օրինակ՝ «Օրվանից ավելի քան երեք օր է մնացել» անունով, հաշվարկների որոշակի բլոկի առաջ կարող է վերագրվել «Ճշմարիտ» արժեքը, իսկ ծրագրի հետագա կատարման ժամանակ այդ արժեքը կարող է լինել. պահպանվել կամ փոխվել է «false»-ի, և հետագա կատարման առաջընթացը կախված է այս փոփոխական ծրագրերի արժեքից:

Եթե ​​ծրագիրն օգտագործում է մի քանի տրամաբանական փոփոխականներ, որոնց անուններն ունեն հայտարարությունների ձև, և դրանցից կառուցվում են ավելի բարդ հայտարարություններ, ապա շատ ավելի հեշտ է մշակել ծրագիրը, եթե այն մշակելուց առաջ մենք գրենք բոլոր գործողությունները հայտարարություններ բանաձևերի տեսքով, որոնք օգտագործվում են հայտարարությունների տրամաբանության մեջ, քան մենք անում ենք այս դասի ընթացքում:

Տրամաբանական գործողություններ հայտարարությունների վրա

Մաթեմատիկական պնդումների համար միշտ կարելի է ընտրություն կատարել երկու տարբեր այլընտրանքների միջև՝ «ճշմարիտ» և «կեղծ», բայց «բանավոր» լեզվով արված հայտարարությունների համար «ճշմարտություն» և «կեղծ» հասկացությունները մի փոքր ավելի անորոշ են: Այնուամենայնիվ, օրինակ, «Գնա տուն» և «Անձրև է գալիս» բառային ձևերը հայտարարություններ չեն: Ուստի պարզ է, որ հայտարարությունները բանավոր ձևեր են, որոնցում ինչ-որ բան ասվում է . Հարցաքննող կամ բացականչական նախադասությունները, բողոքարկումները, ինչպես նաև ցանկություններն ու պահանջները հայտարարություն չեն։ Դրանք չեն կարող գնահատվել «ճշմարիտ» և «կեղծ» արժեքներով։

Հայտարարությունները, ընդհակառակը, կարելի է համարել մեծություններ, որոնք կարող են ունենալ երկու իմաստ՝ «ճշմարիտ» և «կեղծ»:

Օրինակ՝ տրված են հետևյալ դատողությունները՝ «շունը կենդանի է», «Փարիզը Իտալիայի մայրաքաղաքն է», «3.

Այս պնդումներից առաջինը կարելի է գնահատել «ճշմարիտ», երկրորդը՝ «սխալ», երրորդը՝ «ճիշտ», չորրորդը՝ «սխալ» նշանով։ Հայտարարությունների այս մեկնաբանությունը դրույթային հանրահաշվի առարկա է: Մենք մեծ տառերով կնշենք հայտարարությունները լատինական տառերով Ա, Բ, ..., և դրանց իմաստները, այսինքն՝ համապատասխանաբար ճշմարիտ և կեղծ ԵՎԵվ Լ. Սովորական խոսքում օգտագործվում են կապեր «և», «կամ» և այլ արտահայտությունների միջև:

Այս կապերը թույլ են տալիս, միմյանց հետ կապելով տարբեր հայտարարություններ, ձևավորել նոր հայտարարություններ. բարդ հայտարարություններ . Օրինակ՝ միացնող «եւ»-ը։ Թող հայտարարությունները տրվեն. π 3-ից ավելի» և հայտարարությունը « π 4-ից պակաս»: Դուք կարող եք կազմակերպել նոր բարդ հայտարարություն. π ավելի քան 3 և π 4-ից պակաս». Հայտարարություն «եթե π ապա իռացիոնալ π ²-ը նույնպես իռացիոնալ է» ստացվում է երկու պնդումները կապակցելով «եթե - ապա» կապակցողին: Վերջապես, մենք կարող ենք ցանկացած հայտարարությունից ստանալ նորը` բարդ պնդումը` հերքելով սկզբնական պնդումը:

Համարելով հայտարարությունները որպես մեծություններ, որոնք իմաստ են ստանում ԵՎԵվ Լ, մենք կսահմանենք հետագա տրամաբանական գործողություններ հայտարարությունների վրա , որոնք թույլ են տալիս այս հայտարարություններից ստանալ նոր բարդ հայտարարություններ։

Թող երկու կամայական հայտարարություն տրվի ԱԵվ Բ.

1 . Այս հայտարարությունների վերաբերյալ առաջին տրամաբանական գործողությունը` կապը, ներկայացնում է նոր հայտարարության ձևավորում, որը մենք կնշենք. Ա ∧ Բև որը ճիշտ է, եթե և միայն, եթե ԱԵվ Բճշմարիտ են. Սովորական խոսքում այս գործողությունը համապատասխանում է հայտարարությունների միացմանը միացնող «և»-ի հետ:

Ճշմարտության աղյուսակ կապի համար.

2 . Երկրորդ տրամաբանական գործողությունը հայտարարությունների վրա ԱԵվ Բ- անջատում արտահայտված որպես Ա ∨ Բ, սահմանվում է հետևյալ կերպ. ճշմարիտ է, եթե և միայն այն դեպքում, եթե սկզբնական պնդումներից գոնե մեկը ճշմարիտ է։ Սովորական խոսքում այս գործողությունը համապատասխանում է միացնող «կամ» արտահայտությունների հետ կապելուն: Այնուամենայնիվ, այստեղ մենք ունենք չբաժանվող «կամ», որը հասկացվում է «կամ կամ» իմաստով, երբ. ԱԵվ Բերկուսն էլ չեն կարող ճշմարիտ լինել: Առաջարկային տրամաբանությունը սահմանելիս Ա ∨ Բճիշտ է և՛ եթե պնդումներից միայն մեկն է ճշմարիտ, և՛ եթե երկու պնդումներն էլ ճշմարիտ են ԱԵվ Բ.

Ճշմարտության աղյուսակ տարանջատման համար.

3 . Երրորդ տրամաբանական գործողությունը հայտարարությունների վրա ԱԵվ Բ, արտահայտված որպես Ա → Բ; այսպիսով ստացված հայտարարությունը կեղծ է, եթե և միայն այն դեպքում, եթե Աճիշտ է, բայց Բկեղծ. Ականչեց ծանրոցով , Բ - հետևանք , և հայտարարությունը Ա → Բ - հետեւելով , որը նաև կոչվում է ենթատեքստ։ Սովորական խոսքում այս գործողությունը համապատասխանում է «եթե-ապա» կապակցականին. «եթե Ա, Դա ԲԲայց առաջարկային տրամաբանության սահմանման մեջ այս պնդումը միշտ ճշմարիտ է, անկախ նրանից՝ հայտարարությունը ճշմարիտ է, թե կեղծ։ Բ. Այս հանգամանքը կարելի է հակիրճ ձևակերպել հետևյալ կերպ. «կեղծից բխում է որևէ բան»։ Իր հերթին, եթե Աճիշտ է, բայց Բսուտ է, ապա ամբողջ հայտարարությունը Ա → Բկեղծ. Ճիշտ կլինի, եթե և միայն, եթե Ա, Եվ Բճշմարիտ են. Հակիրճ, սա կարելի է ձևակերպել հետևյալ կերպ. «Սուտը չի կարող բխել ճշմարիտից»:

Ճշմարտության աղյուսակը, որը պետք է հետևել (ենթադրություն).

4 . Չորրորդ տրամաբանական գործողությունը հայտարարությունների, ավելի ճիշտ՝ մեկ հայտարարության վրա, կոչվում է հայտարարության ժխտում Աև նշանակվում է ~-ով Ա(կարող եք նաև գտնել ոչ թե ~, այլ ¬ խորհրդանիշի օգտագործումը, ինչպես նաև վերևում գտնվող ցուցիչ Ա). ~ Ակա հայտարարություն, որը կեղծ է, երբ Աճշմարիտ, և ճշմարիտ, երբ Ակեղծ.

Ճշմարտության աղյուսակ ժխտման համար.

5 . Եվ վերջապես, հինգերորդ տրամաբանական գործողությունը պնդումների վրա կոչվում է համարժեքություն և նշվում Ա ↔ Բ. Ստացված հայտարարությունը Ա ↔ Բհայտարարությունը ճշմարիտ է, եթե և միայն այն դեպքում, եթե ԱԵվ Բերկուսն էլ ճշմարիտ են, կամ երկուսն էլ կեղծ են:

Ճշմարտության աղյուսակ համարժեքության համար.

Ծրագրավորման լեզուներից շատերն ունեն հայտարարությունների տրամաբանական իմաստները նշելու հատուկ նշաններ, դրանք գրված են գրեթե բոլոր լեզուներով՝ որպես ճշմարիտ և կեղծ:

Ամփոփենք վերը նշվածը. Առաջարկային տրամաբանություն ուսումնասիրում է կապերը, որոնք ամբողջությամբ որոշվում են այն ձևով, որով որոշ հայտարարություններ են կառուցվում մյուսներից, որոնք կոչվում են տարրական: Այս դեպքում տարրական հայտարարությունները համարվում են ամբողջություն և չեն կարող բաժանվել մասերի:

Եկեք համակարգենք ստորև բերված աղյուսակում հայտարարությունների վերաբերյալ տրամաբանական գործողությունների անունները, նշումները և իմաստը (մեզ շուտով դրանք նորից պետք կգան օրինակներ լուծելու համար):

Ճիշտ է տրամաբանական գործողությունների համար հանրահաշվի տրամաբանության օրենքները, որը կարող է օգտագործվել բուլյան արտահայտությունները պարզեցնելու համար։ Հարկ է նշել, որ դրույթային տրամաբանության մեջ վերացվում է հայտարարության իմաստային բովանդակությունը և սահմանափակվում է այն դիտարկելով այն ճիշտ կամ սխալ լինելու դիրքից:

Օրինակ 1.

1) (2 = 2) ԵՎ (7 = 7) ;

2) Ոչ (15;

3) («Pine» = «Oak») ԿԱՄ («Cherry» = «Maple»);

4) Not ("Pine" = "Oak") ;

5) (Not(15 20) ;

6) («Աչքերը տրվում են տեսնելու») Եվ («Երրորդ հարկի տակ երկրորդ հարկն է»);

7) (6/2 = 3) ԿԱՄ (7*5 = 20) .

1) Առաջին փակագծերում դրված պնդման իմաստը «ճշմարիտ է», երկրորդ փակագծերի արտահայտության իմաստը նույնպես ճիշտ է: Երկու հայտարարություններն էլ կապված են «ԵՎ» տրամաբանական գործողությամբ (տես վերևում այս գործողության կանոնները), հետևաբար այս ամբողջ հայտարարության տրամաբանական արժեքը «ճշմարիտ է»:

2) փակագծերում դրված հայտարարության իմաստը «սուտ» է: Մինչ այս պնդումը կա ժխտման տրամաբանական գործողություն, հետևաբար այս ամբողջ հայտարարության տրամաբանական իմաստը «ճշմարիտ» է:

3) Առաջին փակագծերում դրված պնդման իմաստը «կեղծ» է, երկրորդ փակագծերում՝ «սուտ»: Հայտարարությունները միացված են «OR» տրամաբանական գործողությամբ և հայտարարություններից և ոչ մեկը չունի «ճշմարիտ» արժեքը: Հետևաբար, այս ամբողջ հայտարարության տրամաբանական իմաստը «կեղծ» է։

4) փակագծերում դրված հայտարարության իմաստը «սուտ» է: Այս հայտարարությանը նախորդում է ժխտման տրամաբանական գործողությունը։ Հետևաբար, այս ամբողջ հայտարարության տրամաբանական իմաստը «ճշմարիտ է»:

5) Ներքին փակագծերում տրված հայտարարությունը ժխտվում է առաջին փակագծերում: Ներքին փակագծերում դրված այս պնդումն ունի «կեղծ» նշանակությունը, հետևաբար դրա ժխտումը կունենա «ճշմարիտ» տրամաբանական նշանակությունը։ Երկրորդ փակագծերում նշված արտահայտությունը նշանակում է «սուտ»: Այս երկու պնդումները կապված են «ԵՎ» տրամաբանական գործողությամբ, այսինքն՝ ստացվում է «ճշմարիտ ԵՎ կեղծ»: Հետևաբար, այս ամբողջ հայտարարության տրամաբանական իմաստը «կեղծ» է։

6) Առաջին փակագծերում տրված պնդման իմաստը «ճշմարիտ է», երկրորդ փակագծերում՝ «ճշմարիտ»: Այս երկու պնդումները կապված են «ԵՎ» տրամաբանական գործողությամբ, այսինքն՝ ստացվում է «ճշմարիտ ԵՎ ճշմարտություն»։ Հետևաբար, այս ամբողջ հայտարարության տրամաբանական իմաստը «ճշմարիտ է»։

7) Առաջին փակագծերում դրված հայտարարության իմաստը «ճշմարիտ է»: Երկրորդ փակագծերում դրված հայտարարության իմաստը «կեղծ» է։ Այս երկու պնդումները կապված են «OR» տրամաբանական գործողությամբ, այսինքն՝ «ճշմարիտ ԿԱՄ կեղծ»: Հետևաբար, այս ամբողջ հայտարարության տրամաբանական իմաստը «ճշմարիտ է»։

Օրինակ 2.Տրամաբանական գործողություններով գրի՛ր հետևյալ բարդ հայտարարությունները.

1) «Օգտագործողը գրանցված չէ»;

2) «Այսօր կիրակի է, և որոշ աշխատակիցներ աշխատանքի են».

3) «Օգտագործողը գրանցվում է, եթե և միայն այն դեպքում, եթե օգտագործողի կողմից ներկայացված տվյալները վավեր են համարվում»:

1) էջ- «Օգտագործողը գրանցված է» մեկ հայտարարություն, տրամաբանական գործողություն.

2) էջ- մեկ հայտարարություն «Այսօր կիրակի է», ք- «Որոշ աշխատակիցներ աշխատանքի են», տրամաբանական գործողություն.

3) էջ- մեկ հայտարարություն «Օգտագործողը գրանցված է», ք- «Օգտագործողի ուղարկած տվյալները վավեր են գտնվել», տրամաբանական գործողություն.

Ինքներդ լուծեք առաջարկային տրամաբանության օրինակներ, այնուհետև նայեք լուծումներին

Օրինակ 3.Հաշվեք հետևյալ հայտարարությունների տրամաբանական արժեքները.

1) («Մեկ րոպեում կա 70 վայրկյան») ԿԱՄ («Աշխատող ժամացույցը ցույց է տալիս ժամանակը»);

2) (28 > 7) ԵՎ (300/5 = 60) ;

3) («Հեռուստացույց - էլեկտրական սարք«) Եվ («Ապակի - փայտ»);

4) Not ((300 > 100) ԿԱՄ («Դուք կարող եք հագեցնել ձեր ծարավը ջրով»));

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

Օրինակ 4.Գրե՛ք հետևյալ բարդ հայտարարությունները՝ օգտագործելով տրամաբանական գործողություններ և հաշվարկե՛ք դրանց տրամաբանական արժեքները.

1) «Եթե ժամացույցը սխալ է ցույց տալիս ժամը, ապա դուք կարող եք դասի գալ սխալ ժամին»;

2) «Հայելու մեջ դուք կարող եք տեսնել ձեր արտացոլանքը և ԱՄՆ-ի մայրաքաղաք Փարիզը».

Օրինակ 5.Որոշեք արտահայտության բուլյան արժեքը

(էջ → ք) ↔ (r → ս) ,

էջ = "278 > 5" ,

ք= "Apple = Orange",

էջ = "0 = 9" ,

ս= «Գլխարկը ծածկում է գլուխը».

Առաջարկային տրամաբանական բանաձևեր

Բարդ հայտարարության տրամաբանական ձևի հասկացությունը պարզաբանվում է հայեցակարգի միջոցով Առաջարկային տրամաբանական բանաձևեր .

Օրինակներ 1-ում և 2-ում մենք սովորեցինք գրել բարդ հայտարարություններ՝ օգտագործելով տրամաբանական գործողություններ: Իրականում դրանք կոչվում են առաջարկային տրամաբանական բանաձևեր։

Հայտարարություններ նշելու համար, ինչպես նշված օրինակում, մենք կշարունակենք օգտագործել տառերը

էջ, ք, r, ..., էջ 1 , ք 1 , r 1 , ...

Այս տառերը կխաղան փոփոխականների դերը, որոնք ընդունում են ճշմարտության «ճշմարիտ» և «կեղծ» արժեքները որպես արժեքներ: Այս փոփոխականները կոչվում են նաև առաջարկային փոփոխականներ։ Մենք նրանց հետագայում կկանչենք տարրական բանաձևեր կամ ատոմներ .

Առաջարկային տրամաբանական բանաձևեր կառուցելու համար, բացի վերը նշված տառերից, օգտագործվում են տրամաբանական գործողությունների նշաններ.

~, ∧, ∨, →, ↔,

ինչպես նաև սիմվոլներ, որոնք ապահովում են բանաձևերի միանշանակ ընթերցման հնարավորություն՝ ձախ և աջ փակագծեր։

Հայեցակարգ Առաջարկային տրամաբանական բանաձևեր սահմանենք այն հետևյալ կերպ.

1) տարրական բանաձևերը (ատոմները) առաջարկային տրամաբանության բանաձևեր են.

2) եթե ԱԵվ Բ- առաջարկական տրամաբանական բանաձեւեր, ապա ~ Ա , (Ա ∧ Բ) , (Ա ∨ Բ) , (Ա → Բ) , (Ա ↔ Բ) նաև առաջարկային տրամաբանության բանաձևեր են.

3) միայն այն արտահայտություններն են առաջարկային տրամաբանության բանաձևեր, որոնց համար սա բխում է 1) և 2-ից):

Առաջարկվող տրամաբանական բանաձևի սահմանումը պարունակում է այս բանաձևերի ձևավորման կանոնների ցանկը: Ըստ սահմանման՝ յուրաքանչյուր առաջարկային տրամաբանական բանաձև կա՛մ ատոմ է, կա՛մ ձևավորվում է ատոմներից՝ կանոն 2-ի հետևողական կիրառման արդյունքում։

Օրինակ 6.Թող էջ- մեկ պնդում (ատոմ) «Բոլոր ռացիոնալ թվերն իրական են», ք- «Որոշ իրական թվեր ռացիոնալ թվեր են» r- «Որոշ ռացիոնալ թվեր իրական են»: Թարգմանեք առաջարկային տրամաբանության հետևյալ բանաձևերը բանավոր հայտարարությունների ձևով.

6) .

1) «չկան իրական թվեր, որոնք ռացիոնալ են».

2) «եթե ոչ բոլոր ռացիոնալ թվերն են իրական, ապա ոչ ռացիոնալ թվեր, որոնք վավեր են»;

3) «եթե բոլոր ռացիոնալ թվերն իրական են, ապա որոշ իրական թվեր ռացիոնալ թվեր են, իսկ որոշ ռացիոնալ թվեր իրական են».

4) «բոլոր իրական թվերը ռացիոնալ թվեր են, իսկ որոշ իրական թվեր՝ ռացիոնալ թվեր, իսկ որոշ ռացիոնալ թվեր՝ իրական թվեր».

5) «բոլոր ռացիոնալ թվերն իրական են, եթե և միայն այն դեպքում, երբ ոչ բոլոր ռացիոնալ թվերն են իրական».

6) «Այնպես չէ, որ ոչ բոլոր ռացիոնալ թվերն են իրական, և չկան իրական թվեր, որոնք ռացիոնալ են կամ չկան ռացիոնալ թվեր, որոնք իրական են»:

Օրինակ 7.Ստեղծեք ճշմարտության աղյուսակ առաջարկային տրամաբանական բանաձևի համար , որը աղյուսակում կարող է նշանակվել զ .

Լուծում. Մենք սկսում ենք ճշմարտության աղյուսակ կազմել՝ գրանցելով արժեքներ («ճշմարիտ» կամ «կեղծ») առանձին հայտարարությունների (ատոմների) համար: էջ , քԵվ r. Բոլոր հնարավոր արժեքները գրված են աղյուսակի ութ տողերում: Այնուհետև, իմպլիկացիոն գործողության արժեքները որոշելիս և աղյուսակում աջ շարժվելիս մենք հիշում ենք, որ արժեքը հավասար է «կեղծի», երբ «կեղծ»-ը բխում է «ճշմարիտ»-ից:

Նկատի ունեցեք, որ ոչ մի ատոմ չունի ~ ձև Ա , (Ա ∧ Բ) , (Ա ∨ Բ) , (Ա → Բ) , (Ա ↔ Բ) . Բարդ բանաձեւերն ունեն այս տեսակը.

Առաջարկային տրամաբանական բանաձևերում փակագծերի թիվը կարող է կրճատվել, եթե ընդունենք դա

1) մեջ բարդ բանաձևմենք բաց կթողնենք արտաքին զույգ փակագծերը.

2) եկեք դասավորենք տրամաբանական գործողությունների նշանները «առաջնահերթության կարգով».

↔, →, ∨, ∧, ~ .

Այս ցանկում ↔ նշանն ունի ամենամեծ ծավալը, իսկ ~ նշանը՝ ամենափոքրը։ Գործողության նշանի գործողության շրջանակը վերաբերում է առաջարկային տրամաբանության բանաձևի այն մասերին, որոնց վրա կիրառվում է տվյալ նշանի առաջացումը (որի վրա այն գործում է): Այսպիսով, ցանկացած բանաձևում հնարավոր է բաց թողնել փակագծերի այն զույգերը, որոնք հնարավոր է վերականգնել՝ հաշվի առնելով «առաջնահերթության կարգը»։ Իսկ փակագծերը վերականգնելիս նախ դրվում են ~ նշանի բոլոր երևույթներին առնչվող բոլոր փակագծերը (շարժվում ենք ձախից աջ), հետո ∧ նշանի բոլոր երևույթներին և այլն։

Օրինակ 8.Վերականգնել փակագծերը առաջարկային տրամաբանական բանաձևում Բ ↔ ~ Գ ∨ Դ ∧ Ա .

Լուծում. Փակագծերը քայլ առ քայլ վերականգնվում են հետևյալ կերպ.

Բ ↔ (~ Գ) ∨ Դ ∧ Ա

Բ ↔ (~ Գ) ∨ (Դ ∧ Ա)

Բ ↔ ((~ Գ) ∨ (Դ ∧ Ա))

(Բ ↔ ((~ Գ) ∨ (Դ ∧ Ա)))

Ամեն առաջարկական տրամաբանական բանաձև չէ, որ կարելի է գրել առանց փակագծերի։ Օրինակ, բանաձեւերում Ա → (Բ → Գ) և ~( Ա → Բ) փակագծերի հետագա բացառումը հնարավոր չէ։

Տավտոլոգիաներ և հակասություններ

Տրամաբանական տավտոլոգիաները (կամ պարզապես տավտոլոգիաները) դրույթային տրամաբանության այնպիսի բանաձևեր են, որ եթե տառերը կամայականորեն փոխարինվեն հայտարարություններով (ճշմարիտ կամ սխալ), արդյունքը միշտ կլինի ճշմարիտ հայտարարություն:

Քանի որ բարդ պնդումների ճշմարտացիությունը կամ կեղծը կախված է միայն իմաստներից, և ոչ թե պնդումների բովանդակությունից, որոնցից յուրաքանչյուրը համապատասխանում է որոշակի տառի, ապա ստուգել, ​​թե արդյոք տվյալ պնդումը տավտոլոգիա է, կարելի է անել հետևյալ կերպ. Ուսումնասիրվող արտահայտության մեջ 1 և 0 արժեքները (համապատասխանաբար «ճշմարիտ» և «կեղծ») տառերին փոխարինում են բոլոր հնարավոր ձևերով, իսկ արտահայտությունների տրամաբանական արժեքները հաշվարկվում են տրամաբանական գործողությունների միջոցով: Եթե ​​այս բոլոր արժեքները հավասար են 1-ի, ապա ուսումնասիրվող արտահայտությունը տավտոլոգիա է, իսկ եթե գոնե մեկ փոխարինումը տալիս է 0, ապա դա տավտոլոգիա չէ:

Այսպիսով, առաջարկային տրամաբանական բանաձևը, որն ընդունում է «ճշմարիտ» արժեքը այս բանաձևում ներառված ատոմների արժեքների ցանկացած բաշխման համար, կոչվում է. նույնական է իրական բանաձևին կամ տավտոլոգիա .

Հակառակ իմաստը տրամաբանական հակասություն է։ Եթե ​​հայտարարությունների բոլոր արժեքները հավասար են 0-ի, ապա արտահայտությունը տրամաբանական հակասություն է:

Այսպիսով, առաջարկային տրամաբանական բանաձևը, որն ընդունում է «false» արժեքը այս բանաձևում ներառված ատոմների արժեքների ցանկացած բաշխման համար, կոչվում է. նույնական կեղծ բանաձեւ կամ հակասություն .

Բացի տավտոլոգիաներից և տրամաբանական հակասություններից, կան դրույթային տրամաբանության բանաձևեր, որոնք ոչ տավտոլոգիա են, ոչ էլ հակասություններ։

Օրինակ 9.Կառուցեք ճշմարտության աղյուսակ առաջարկային տրամաբանական բանաձևի համար և որոշեք՝ դա տավտոլոգիա է, հակասություն, թե ոչ մեկը:

Լուծում. Եկեք ստեղծենք ճշմարտության աղյուսակ.

Ենթատեքստի իմաստներում մենք չենք գտնում մի տող, որտեղ «կեղծ»-ը բխում է «ճշմարիտ»-ից: Բնօրինակ հայտարարության բոլոր արժեքները հավասար են «ճշմարիտ»: Հետևաբար, դրույթային տրամաբանության այս բանաձևը տավտոլոգիա է։