Home > Terms > Armenian (HY) > Ասույթների տրամաբանություն

Ասույթների տրամաբանություն

Նաև կոչվում է դատողությունների կամ կարծիքների տրամաբանություն: Այդ տրամաբանությունը վերաբերում է տարրական ասույթներին` p, q, r, s և այլն: -նրանք պետք է անհատապես կամ ճիշտ կամ կեղծ լինեն և համապատասխան թվով տարրական ասույթների օպերատորները, որոնք կազմում են բարդ ասույթները, միացնելիս ստացվի միակ ճիշտ ենթադրությունը: Օպերատորները ներառում են միացյալ (&)` հետևաբար «p և q»; բաժանարար` (v), հետևաբար «p կամ q»; ժխտում (-), հետևաբար «-p»; պայմանական (-->), հետևաբար «Եթե p, ապա q»; և համարժեքություն (=), հետեւաբար «p համարժեք է q»: Այս տրամաբանությունը որոշում է բարդ ասույթների տրամաբանական ճշմարտությունը կամ նույնաբանությունը. այն արդյունավետ որոշում է, թե որոնք են վավեր փաստարկները, որոնք կարող են դրվել բարդ ասույթների հիմքում, քանի որ դրանք փաստարկի նախադրյալ են դառնում եզրակացության համար: Այս պրեդիկատների տրամաբանությունն ի տարբերություն առաջինի, կամ ավելի բարձր կարգի տրամաբանություն է, քան նախորդը և ամբողջական ու լրիվ է:

0
Collect to Blossary

Member comments

You have to log in to post to discussions.

Terms in the News

Featured Terms

Mel
  • 0

    Terms

  • 0

    Blossaries

  • 2

    Followers

Industry/Domain: Banking Category:

Բանկոմատ

համակարգված հեռահաղորդակցության հարք,որը ապահովում է ֆինանսական հաստատության հաճախորդների մուտքը ֆինանսական գործարքներ հասարակական վայրում,առաց ...

Contributor

Featured blossaries

Superstition

Category: Entertainment   1 22 Terms

The World's Most Valuable Brands

Category: Other   1 10 Terms