Ლოგიკური კანონები

თანამედროვე კომპიუტერების საფუძველზე "უძველესი" ელექტრონული კომპიუტერი, უნდა დაეყრდნოს გარკვეული პოსტულატები, როგორც ძირითადი პრინციპები ოპერაცია. ისინი მოუწოდა კანონების ალგებრა ლოგიკა. პირველი ასეთი დისციპლინის უკვე აღწერილი (რა თქმა უნდა, არ არის შეძლებისდაგვარად დეტალური მისი დღევანდელი ფორმით) ძველი ბერძენი მეცნიერი არისტოტელეს.

წარმოადგენს ცალკე ფილიალის მათემატიკის რომელიც სწავლობს მოსაზრებების სტატიის, ალგებრა ლოგიკა აქვს მთელი რიგი კარგად შეესაბამება და დასკვნებს.

იმისათვის, რომ უკეთ თემაზე, ანალიზი ცნებები, რომელიც დაეხმარება მომავალში იცოდეს კანონები ალგებრა ლოგიკა.

ალბათ მთავარი ვადით სასწავლო დისციპლინის - განცხადებაში. ეს განცხადება, რომ არ შეიძლება იყოს, როგორც ჭეშმარიტი და ყალბი. ის ყოველთვის თან ახლავს მხოლოდ ერთი ასეთი თვისებები. ამდენად გავრცელების პირობით მიღებული სიმართლე ღირებულება 1 სიყალბის - 0, ზარი განაცხადი თავად ზოგიერთი ლათინური წერილი: A, B, C. სხვა სიტყვებით, ფორმულა A = 1 ნიშნავს, რომ წინადადება A არის ჭეშმარიტი. განცხადებები შეიძლება დადგეს სხვადასხვა გზები. მოკლე შევხედოთ ქმედებები, რომ თქვენ შეუძლია შეასრულოს ისინი. აღსანიშნავია ასევე, რომ კანონები ალგებრა ლოგიკა შეუძლებელია ვისწავლოთ გარეშე იცის წესები.

1. გათიშვის ორი განცხადებებს - შედეგად ოპერაცია "ან". ეს შეიძლება იყოს ყალბი ან ნამდვილი. იგი იყენებს სიმბოლო «V».

2. კავშირში. შედეგი ასეთი ქმედების ჩადენის ორი განცხადებით, იქნება ახალი განცხადება ჭეშმარიტი მხოლოდ თუ ორივე განცხადებები ასეა ორიგინალური. გამოიყენეთ "და" ოპერაცია, სიმბოლო "*".

3. გავლენა. ოპერაცია "თუ A, მაშინ B". შედეგი არის განაცხადი, ცრუ, თუ მხოლოდ სიმართლე და სიცრუე B. Applicable სიმბოლო "->".

4. ექვივალენტობის. ოპერაცია «გამოიყენება, თუ და მხოლოდ იმ შემთხვევაში, V, როდესაც". ეს განცხადება არის ნამდვილი, როდესაც ორივე ცვლადი აქვს იგივე შეფასებას. გამოიყენოს სიმბოლო "<->".

ასევე არსებობს მთელი რიგი ოპერაციების, მსგავსი გავლენა, მაგრამ ამ სტატიაში, ისინი არ განიხილება.

ახლა განვიხილოთ დეტალურად ძირითადი კანონები ალგებრა ლოგიკა:

1. შემცვლელი და კომუტაციური აცხადებს, რომ ცვლილება თვალსაზრისით ლოგიკური ოპერაციების ერთად ან გათიშვის შედეგად არ ახდენს.

2. ასოციაციური ან ასოციაციურ. ამ კანონის თანახმად, ცვლადები ოპერაციების ერთობლიობაში და გათიშვის შეიძლება გამოვყოთ.

3. განაწილების ან გავრცელება. არსი კანონის არის, რომ იგივე ცვლადები განტოლებები შეიძლება იქნას ფრჩხილები, არ იცვლება ლოგიკა.

4. კანონი de Morgan (inversion ან უარყოფა). უარყოფა ოპერაცია უდრის გათიშვის of conjunction უარყოფა ცვლადი. უარყოფისკენ გათიშვის, თავის მხრივ, არის ტოლი ერთობლიობაში უარყოფა იგივე ცვლადი.

5. ორმაგი უარყოფითი. უარყოფა განცხადების ორჯერ შედეგები ორიგინალური განცხადებით, სამჯერ - მისი უარყოფა.

6. საქართველოს კანონი idempotency ასეთია ლოგიკური დამატებით: xvxvxvx = x; გამრავლება: x ^ x ^ x ^ = x.

7. საქართველოს კანონი არასამთავრობო ეწინააღმდეგება აღნიშნულია: ორი განცხადებებს, თუ ისინი წინააღმდეგობრივი, ამავე დროს იყოს ჭეშმარიტი არ შეუძლია.

8. კანონი გამორიცხული შუა. მათ შორის ორი ურთიერთგამომრიცხავი განცხადებები ერთი - ყოველთვის მართალია, და მეორე - ყალბი, არ არსებობს მესამე.

9. შთანთქმის კანონი იწერება ისე ლოგიკური დამატებით: xv (x ^ y) = x, გამრავლება: x ^ (xvy) = x.

10. კანონის შემაკავშირებელ. ორი მიმდებარე conjunctions შეუძლიათ გამყარებაში ერთად, ფორმირება ერთად ქვედა წოდება. როდესაც ეს არის ცვლადი, რომელიც ორიგინალური კავშირები გაერთიანებულია ქრება. მაგალითი ლოგიკური გარდა ამისა:

(X ^ y) v (-x ^ y) = y.

ჩვენ შევეხეთ მხოლოდ ყველაზე გავრცელებული კანონები ალგებრა ლოგიკა, რომელიც, ფაქტობრივად, შეიძლება მრავალი სხვა, როგორც ხშირად ლოგიკური განტოლებების გახდა ხანგრძლივი და ornate გამოჩენა, რომელიც შეიძლება გაჭრა გამოყენებით რიგი მსგავსი კანონები.

როგორც წესი, ფონდის იმედი და საიდენტიფიკაციო შედეგების გამოყენებით სპეციალური მაგიდები. ყველა არსებული კანონების ალგებრა ლოგიკა, მაგიდა, რომელსაც აქვს ზოგადი სტრუქტურა ქსელის მართკუთხედი მხატვარ გავრცელებისათვის ყოველი ცვლადი ცალკე საკანში. უფრო მეტი განტოლება, ადვილი გაუმკლავდეს ის გამოყენებით მაგიდასთან.