FormalaşmaElm

Propositional məntiq

termini "propositional məntiq" müəyyən etmək üçün, bir "bəyanat" nə aydın başa düşmək lazımdır.

Belə ki, bəyanat bir cümlə, dilbilgisi doğru sıralanır və yalan və ya doğru deyil. Bu anlayış müəyyən məna ifadə etməlidir. "Kanarya" və "quş" Məsələn, söz aşağıdakı komponentlər daxildir "sarı quş var".

və məntiq əsas ilkin anlayışlar bir söyləyərək niyə ki. Bu anlayışlar bəyanat bir şey və ya inkar ya olan xüsusi vəziyyət təsvir etməlidir.

Bu vəziyyətin görmək line reallıq bu circumscribing zaman əgər gerçək bir bəyanat hesab edilir. Özləri, "yalan" və "true" ifadələri həqiqəti müəyyən edir.

Propositional məntiq sadə və mürəkkəb ifadələr ibarətdir. Belə ki, yalnız onun tərkibi digər ifadələr daxil deyil bəyanat edirəm. Və kompleks sadə, məntiqi bağlı hesabatları əsasında müəyyən edilir ifadələr daxildir.

Klassik propositional məntiq tutmanın yönəldilməsi ümumi nəzəriyyəsi ilə təmsil oluna bilər. Bu sadə ifadələrin məntiqi əlaqədar şərhlərdə asılı deyil təsvir məntiq, bir hissəsi deyil.

sözü "və" istifadə edərək iki sadə ifadələr birləşən əldə çətin proposition - conjunctions qeyd etmək deyil. birlikdə həqiqət bütün bəyanatları onun strukturuna daxil olduğunu təsdiq edir. halda saxta üzvlərinin ən azı bir bütün birlikdə əlaməti olduğu "yalan".

Özü bu ehtimallara əsaslanır kompleks hesabatları, yaratmaq üçün bir birlikdə edir:

- (və sadə və mürəkkəb) hər hansı bir ifadə doğru və ya yalan ola bilər;

- Kompleks sözləri həqiqəti ona olan hesabatları və bu məntiqi links həqiqət asılıdır.

söz istifadə edərək iki hesabatları birləşdirən zaman "və ya" artıq disjunction əldə edilir. Gündəlik həyatda, bu anlayış iki müxtəlif mənaları baxımından baxıla bilər. Birincisi, bu, asılı olmayaraq iki biri doğru ifadə ifadə həqiqəti deməkdir və ya iki onlar həmin qeyri-eksklüziv mənada edir. İkincisi, hissi aradan qaldırılması ifadələr biri doğru olduğunu iddia və digər - yalan.

Propositional düsturlar xüsusi simvol ehtiva edir. Belə ki, disjunction simvolu V ifadə doğru olduğunu göstərir əgər hesabatlarının ən azı bir, həm də onun yalan penis əgər yalan həqiqət.

dolayısı müəyyən baza hesabatları yanlış araşdırma doğru ola bilməz iddia var. Başqa sözlə, bu anlayış asılılıq həqiqəti və ya onun komponentlərinin və onların münasibətlərinin üsulları dəyər ifadə yalançılıq nəzərdə tutur.

dolayısı bəzi məqsədlər üçün olduqca faydalı olmasına baxmayaraq, ümumilikdə rabitə şərti anlayışı ilə çox uyğun deyil. Belə ki, zaman onun adekvat təsviri ola bilər anlayışı verilmiş ifadələri məntiqi davranışı mühüm xüsusiyyətləri çox cihaz əhatə edir.

ilk doğru və yanlış sxemlərin əsaslandırıcı və sistemləşdirilməsi ayrılması kimi bir mərkəzi məsələ həll yönəlmiş propositional məntiq. sağ nəticə əldə etmək üçün, siz bir və ya başqa formada təmsil edə bilər xüsusi simvol diqqət etmək lazımdır. Beləliklə s "və" kimi "və ya" belə zahirən əhəmiyyətsiz sözlə maraq göstərilən

Logic hesabatları hətta aşağıdakı elementlərdən ibarət öz dili var:

- Orijinal simvol - dəyişənlər, məntiqi sabitləri və texniki rəmzləri;

- düsturlar.

deyib edilmişdir nə daha yaxşı anlaşılması üçün xüsusi nümunələri getmək lazımdır. \ / Və ya \ º / - Məsələn, birlikdə simvolu & disjunction istifadə edin.

Similar articles

 

 

 

 

Trending Now

 

 

 

 

Newest

Copyright © 2018 az.delachieve.com. Theme powered by WordPress.