Propositional տրամաբանությունը

Է սահմանել »տերմինը propositional տրամաբանական», դա անհրաժեշտ է հասկանալ, թե հստակ ինչ է «հայտարարություն»:

Այնպես որ, այդ հայտարարությունը մի նախադասություն, զբաղեցնում քերականորեն ճիշտ, եւ կեղծ կամ իրական: Այս հասկացությունը պետք է արտահայտի որոշակի իմաստ: Օրինակ, արտահայտությունը »դեղձանիկի ունի« ներառում է հետեւյալ բաղադրիչները `" դեղձանիկ »եւ« թռչնի »:

Դա է պատճառը, մեկն առանցքային նախնական հասկացությունների տրամաբանության եւ ասում են. Այս հասկացությունները պետք է նկարագրելու մի կոնկրետ իրավիճակը, որի հայտարարությունը կամ ինչ-որ բան կամ մերժումը:

Այն համարվում է իսկական հայտարարություն, եթե նկատելի գիծը իրականությունը իրավիճակում, երբ այն սահմանափակի այդ: Ըստ իրենց, «կեղծ» եւ «ճշմարիտ» որոշելու ճշմարտությունը հայտարարություններին:

Propositional տրամաբանությունը բաղկացած է պարզ եւ բարդ արտահայտություններ: Այնպես որ, պարզապես կարծում եմ, որ եկել հայտարարությամբ, որ չի ընդգրկել իր կազմում, այլ արտահայտություններ: Եւ որ համալիրի ներառել արտահայտությունները, որոնք ստացվում են մի պարզ, տրամաբանորեն կապված հայտարարություններով:

Դասական propositional տրամաբանությունը կարող է ներկայացված է ընդհանուր տեսության նվազեցման. Այն է, որ մասն է տրամաբանության, որը նկարագրում է կախված չէ այն հայտարարություններին տրամաբանական կապի պարզ արտահայտություններ:

Էլ չենք խոսում համակցումների - մի դժվարին առաջարկություն, ստացվել համատեղելով երկու պարզ արտահայտությունները օգտագործելով բառը "եւ". Ճշմարտությունն այն է, համատեղ հաստատում են, որ բոլոր հայտարարությունները նրա կազմում ընդգրկված. Այն դեպքում, երբ գոնե մեկ իր անդամների մի կեղծ, ամբողջ շաղկապ նշան է «սուտ»:

Ինքնին տրամաբանական է ձեւավորել համալիր հայտարարությունները, որոնք հիմնված են այդ ենթադրությունների:

- ցանկացած արտահայտություն (եւ պարզ ու բարդ է), կարող է լինել կամ ճշմարիտ կամ կեղծ.

- ճշմարտությունը բարդ ասույթների կախված է ճշմարտության հայտարարությունների մեջ պարունակվող այն եւ տրամաբանական հղումներ դրան:

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

Propositional բանաձեւերը պարունակում են հատուկ նիշ: Այսպիսով, տրամաբանական գումարում խորհրդանիշ V ցույց է տալիս, որ այդ արտահայտությունը ճշմարիտ է, եթե ճշմարտությունն է առնվազն մեկի հայտարարություններից, եւ սուտ է, եթե երկուսն էլ իր կեղծ է պենիս.

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

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

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

Տրամաբանություն հայտարարությունները նույնիսկ ունի իր սեփական լեզուն, որը բաղկացած է հետեւյալ տարրերից.

- օրիգինալ հերոսները, փոփոխականների, տրամաբանական են, իսկ տեխնիկական խորհրդանիշերը,

- բանաձեւեր.

Համար ավելի լավ հասկանալու, թե ինչ է եղել, որ դուք պետք է գնալ կոնկրետ օրինակներով: Օրինակ, շաղկապ օգտագործել խորհրդանիշ եւ, խզում - \ / կամ \ º /: