ԹԵՍՏ. Միայն ինտելեկտուալ մարդկանց է հաջողվում անցնել այս տրամաբանական թեստը

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

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

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

 

Spread the love
  •   
  •   
  •   
  •  
error: Content is protected !!