КАТЕГОРИИ:


Астрономия- (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)

Формула F1 и F2 се казва, че е еквивалентен ако тяхната еквивалентност - тавтология




Равностойността на двете формули се изписва така: (Четене: Формула 1 е еквивалентна на формула F F 2).

Проверете дали формули са еквивалентни по два начина: 1) създават свои съответствия и използване на таблицата с истината, за да се провери дали това не е тавтология; 2) за всяка формула маса пишат истината и да сравнявате крайните резултати; , Формулите са еквивалентни ако в крайните колони с идентични комплекта променливи стойности истина стойности на двете формули са равни.

Пример. Определете дали еквипотенциална формула:

Еквивалентност формула на Пропозиционални логика често се споменава като законите на логиката. Ние списък на най-важните от тях са:

I. - правото на идентичност (твърди, че идеята се съдържа в изявление, е (разглежда) непроменено през мотивите, в които се появява това твърдение).

II. - правото на противоречие (няма предложение не може да бъде вярно в същото време със своето отрицание).

III. - правото на изключени средата (законът на алтернативи).

IV. - правото на двойно отрицание.

V. ; - самоличността на законите (или idempotency ( "принцип пак там" латински в означава "една и съща" и "потенциал" - "сила")).

VI. ; - законите на commutativity (комутативен).

VI. ; - законите на асоциативност (асоциативен).

VII. ; - дистрибуцията право (разпределение).

VIII ; - законите на Де Морган (английски логик, 1806-1871).

Закони логика се използва за да се опрости сложните формули за доказване на самоличност и истината или лъжата на формулите.

Контролни въпроси:

1. Дайте определение на Пропозиционални декларации и формуляри.

2. Списък на основните логически connectives.

3. Определяне на логическа операция.

4. Дайте определението на отрицание, връзка, дизюнкция, отражение и равностойност.

5. Какво променливи се наричат ​​Пропозиционални?

6. Формулиране определение на формула Пропозиционални логика.

7. Опишете процедурата за формализиране на отчети.

8. Какво е масата за истина?

9. Опишете алгоритъм за съставяне на таблица истина.

10. Какво формули се наричат ​​тавтологии, противоречия, постижими (оборими)?

11. Какво формули се наричат ​​еднакво силен?

12. Определяне на няколко основни закони на логиката.

13. Какви са законите на логиката?