ԹԵՍՏ. Կարո՞ղ եք գտնել այս տրամաբանական հարցերի պատասխանը

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

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

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

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

Մի մոռացեք կիսվել Ձեր ընկերների հետ
  •   
  •