КАТЕГОРИИ:


Астрономия- (809) Биология- (7483) Биотехнологии- (1457) Военное дело- (14632) Высокие технологии- (1363) География- (913) Геология- (1438) Государство- (451) Демография- (1065) Дом- (47672) Журналистика и СМИ- (912) Изобретательство- (14524) Иностранные языки- (4268) Информатика- (17799) Искусство- (1338) История- (13644) Компьютеры- (11121) Косметика- (55) Кулинария- (373) Культура- (8427) Лингвистика- (374) Литература- (1642) Маркетинг- (23702) Математика- (16968) Машиностроение- (1700) Медицина- (12668) Менеджмент- (24684) Механика- (15423) Науковедение- (506) Образование- (11852) Охрана труда- (3308) Педагогика- (5571) П Arhitektura- (3434) Astronomiya- (809) Biologiya- (7483) Biotehnologii- (1457) Военно дело (14632) Висока технологиите (1363) Geografiya- (913) Geologiya- (1438) на държавата (451) Demografiya- ( 1065) Къщи- (47672) журналистика и SMI- (912) Izobretatelstvo- (14524) на външните >(4268) Informatika- (17799) Iskusstvo- (1338) История- (13644) Компютри- (11121) Kosmetika- (55) Kulinariya- (373) култура (8427) Lingvistika- (374) Literatura- (1642) маркетинг-(23,702) Matematika- (16,968) инженерно (1700) медицина-(12,668) Management- (24,684) Mehanika- (15423) Naukovedenie- (506) образование-(11,852) защита truda- (3308) Pedagogika- (5571) п Политика- (7869) Право- (5454) Приборостроение- (1369) Программирование- (2801) Производство- (97182) Промышленность- (8706) Психология- (18388) Религия- (3217) Связь- (10668) Сельское хозяйство- (299) Социология- (6455) Спорт- (42831) Строительство- (4793) Торговля- (5050) Транспорт- (2929) Туризм- (1568) Физика- (3942) Философия- (17015) Финансы- (26596) Химия- (22929) Экология- (12095) Экономика- (9961) Электроника- (8441) Электротехника- (4623) Энергетика- (12629) Юриспруденция- (1492) Ядерная техника- (1748) oligrafiya- (1312) Politika- (7869) Лево- (5454) Priborostroenie- (1369) Programmirovanie- (2801) производствено (97182) от промишлеността (8706) Psihologiya- (18,388) Religiya- (3217) с комуникацията (10668) Agriculture- (299) Sotsiologiya- (6455) спортно-(42,831) Изграждане, (4793) Torgovlya- (5050) превозът (2929) Turizm- (1568) физик (3942) Filosofiya- (17015) Finansy- (26596 ) химия (22929) Ekologiya- (12095) Ekonomika- (9961) Telephones- (8441) Elektrotehnika- (4623) Мощност инженерно (12629) Yurisprudentsiya- (1492) ядрена technics- (1748)

Формули на Пропозиционални логика. Формулата за еквивалентност




Логически формула - запис комплекс изказване под формата на прости изречения свързани отрицание операции за съгласуване, дизюнкция, ВЪРХУ и еквивалентност скоби.

Ако в логическа формула, има няколко операции, които не са разделени от скоби, редът на операциите е както следва:

1) отрицание;

2) съюзът;

3) дизюнкция;

4) отражение;

5) еквивалентност.

Формулата се нарича тавтология, ако това е вярно за всички стойности на истината, съставните й отчети.

Помислете например за възможните стойности на валидността на формулата , Ние се изгради истина маса за формулата.

А Най-

Формулата винаги е вярно, тогава е тавтология.

Формулата се нарича противоречие, ако тя е невярна за всички стойности на истината, съставните й отчети.

Помислете например за възможните стойности на валидността на формулата , Ние се изгради истина маса за формулата.

А Най-

Формулата е винаги само една фалшива, а след това противоречие.

Формули се наричат равнопотенциални ако за всички стойности на Пропозиционални истина, те са включени, стойността на формулите са една и съща истина.

За отбелязване на еквивалентността на формули, използващи знак , За да се определи формулите за еквивалентност за изграждане на тяхната истина таблици.

Например, за да се покаже еквивалентността на формулите и ,

Тя е отражение на истината маса на истината стойности на всяка формула.

А Най-

Истина стойности на формулите в същото истина стойност предложения А и В са същите (избрани колони), което дава право да се твърди, еквивалентност формули средство ,

По същия начин, можем да покажем, че имаме следната равностойността, които се наричат законите на логиката:

1. (Double отрицателен закон);

2. (Съвпадът е комутативен право);

3. (Прекъсване на връзки е комутативен закон);

4. (право съюзи Асоциативните);

5. (Асоциативен закон разединяване);

6. (Разпределителни право на връзка по отношение на дизюнкция);

7. (Разпределителни право на дизюнкция относителните съюзи);

8. (Законът на де Морган);

9. (Законът на де Морган);

10. (Противопоставяне);

11. (Абсорбцията закон);

12. (Абсорбцията закон);

13. ;

14. ;

15. ;

16. (Законът за противоречие);

17. ;

18. ;



19. ;

20. (Законът за изключени средата);