Ընդհանուր գիտելիքների թեստ․ իսկ դուք գերազա՞նց եք սովորել դպրոցում

Ընդհանուր գիտելիքների թեստ․ իսկ դուք գերազա՞նց եք սովորել դպրոցում

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

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

Ապացույցի տրամաբանական կառուցվածքի ցուցադրումը նախ և առաջ պահանջում է բոլոր տրամաբանությանը չվերաբերող քերականական նկարագիրների անտեսումը (սեռ, հոլով, կամ եթե ապացույցը լատիներեն է), տրամաբանությանը չվերաբերող շաղկապների փախարինումը տրամաբանակ շաղկապների, ինչպիսին է օրինակ և-ը և երկիմաստ կամ փոխընտրանքային տրամաբանական արտահայտություների (յուրաքանչյուր, ամեն և այլն) փոխարինումը ստանդարտ ընդունվածներով (բոլոր կամ ընդհանուր չափանիշ ∀-ն)։

Այնուհետև նախադասությունների որոշ մասեր պետք է փոխարինվեն սխեմատիկ գրերով։ Ուստի օրինակ «բոլոր P-երը և Q-երը» արտահայտությունտ համարժեք է «բոլոր մարդիկ մահկանացուներ են», «բոլոր կատուները մսակերներ են», «բոլոր հույները փիլիսոփաներ են» արտահայտություններին։ Կառուցվածքը հետագայում կարող է դառնալ բանաձև, որտեղ A(P,Q) տառը ունի «բոլոր» իմաստը։