КАТЕГОРИИ:

основен
Случайна страница
контакти


Астрономия- (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. (Законът за изключени средата);