Studopediya

КАТЕГОРИЯ:


Астрономия- (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) Полиграфия- (1312) Политика- (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) Arhitektura- (3434) Astronomiya- (809) Biologiya- (7483) Biotehnologii- (1457) Военни бизнесмен (14632) Висока technologies- (1363) Geografiya- (913) Geologiya- (1438) на държавата (451) Demografiya- ( 1065) Къща- (47672) журналистика и смирен (912) Izobretatelstvo- (14524) външен >(4268) Informatika- (17799) Iskusstvo- (1338) историята е (13644) Компютри- (11,121) Kosmetika- (55) Kulinariya- (373) културата е (8427) Lingvistika- (374) Literatura- (1642) маркетинг-(23702) математиците на (16968) Механична инженерно (1700) медицина-(12668) Management- (24684) Mehanika- (15423) Naukovedenie- (506) образователна (11852) truda- сигурност (3308) Pedagogika- (5571) Poligrafiya- (1312) Politika- (7869) Лево- (5454) Priborostroenie- (1369) Programmirovanie- (2801) производствено (97 182 ) индустрия- (8706) Psihologiya- (18388) Religiya- (3217) Svyaz (10668) Agriculture- (299) Sotsiologiya- (6455) на (42831) спортист строително (4793) Torgovlya- (5050) транспорт ( 2929) Turizm- (1568) физик (3942) Filosofiya- (17015) Finansy- (26596) химия (22929) Ekologiya- (12095) Ekonomika- (9961) Electronics- (8441) Elektrotehnika- (4623) Мощност инженерно ( 12629) Yurisprudentsiya- (1492) ядрена technics- (1748)

Logic формула




Всяко твърдение или аргумент може да бъде подложен на формализация. Това означава да се отхвърли неговото съдържание и да остави само на логическата форма, то изразяване чрез вече познат ни от символите на връзка, не толкова строг и стриктен дизюнкция, отражение, еквивалентност и отрицание.

Например, за да се формализира следното изявление: "Той се занимава с живопис, или музика, или литература" - това е необходимо първо да изберете просто твърдение, принадлежащ към него и да се създаде един вид логическа връзка между тях. В горното твърдение съдържа три прости твърдения: "Той се занимава с живопис", "Той се занимава с музика", "Той се занимава с литература."

Тези решения са комбинирани комуникация раздяла, но те са един от друг не изключват (можете да практикувате и живопис, и музика, и литература), следователно, пред нас - небрежното дизюнкция, която форма може да бъде представена чрез следната условна вписване: а ∨ б ∨ C, където А, B, C - просто решение е описано по-горе. Форма: а ∨ б ∨ C, може да бъде запълнена с това, което искате съдържанието, например: "Цицерон е политик, или говорител или писател", "Той е изучаване на английски или немски, или френски", "Хората се движеха по суша, по въздух или вода транспорт. "

Формализират разсъждение: "Той е ученик в 9 клас или 10 клас, или 11 клас. Въпреки това, е известно, че не е обучение или 10 или 11 класове. Следователно, той се изучава в 9-ти клас. " Различават се прости твърдения, включени в тази дискусия и нека техните малки латински букви: "Той е ученик в 9 клас (а)», «Той е ученик в 10 клас (б)», «Той е ученик в 11 клас (в)». В първата част на аргумента, е строго дизюнкция на тези три твърдения: а ∨ б ∨ гр. Във втората част на втория аргумент е отрицание: ¬ б, а третият: ¬ в, отчети, и тези две негативи са свързани, т.е. свързан conjunctively: .. ¬ б ∧ ¬ в . Връзка негативи, свързани с посочената по-горе строг дизюнкцията три прости твърдения: (а ∨ б ∨ в) ∧ (¬ б ∧ ¬ в), и дори от тази нова съюзи като следствие от твърдението на първия просто твърдение: ". Той е ученик в 9 клас" Logical отражение, както вече знаем, е влиянието. По този начин, в резултат на формализирането на нашите разсъждения изразена чрез формулата: ((а ∨ б ∨ C ) ∧ (¬ б ∧¬ в)) → а. Това логично форма може да бъде запълнена с всяко съдържание. Например: "Първият човек летял в космоса през 1957 г., или през 1959 г. или през 1961 г. Въпреки това, известно е, че първият човек, летял в космоса не през 1957 г., а не през 1959 г. .. Следователно, първият човек летял в космоса през 1961 г. "Друг вариант:" философски трактат "Критика на чистия разум" дали Кант пише, че, независимо дали Георг Хегел, или Маркс. Въпреки това, нито Хегел, нито Маркс не са авторите на този трактат. Ето защо, Кант го е написал. "



Резултатът от формализирането на всяко разсъждение, както видяхме, е някаква формула, състояща се от малки букви на латинската азбука, изразяващи прости твърдения, включени в аргумента, както и символите на логически връзки между тях (съвпад, дизюнкция, и др.). Всички формули са разделени логика на три типа:

1. идентично истинските формули са верни за всички набори от истината стойности на техните съставни променливи (прости твърдения). Всеки идентично истинската формула е логично закон.

2. фалшива идентично формула е невярна за всички набори от истината стойности на своите член-променливи.

Идентично невярна формула е отричане на идентично истинските формули и са в нарушение на законите на логиката.

3. работеща (неутрални) формули за различни набори от истината стойности на техните съставни променливи са истинското, фалшивото.

Ако резултатът от формализирането на аргумент се получава по същия начин-вярно формула, след това този аргумент е логично безупречно. Ако резултатът от формализация ще бъде идентично невярна формула, аргументът следва да бъде признат логично погрешно (погрешно). Работещ (неутрален), формулата показва логическата правилността на мотивите, формализирането на което тя е.

За да се определи какъв вид или че се прилага формула, а оттам и на логиката да се направи оценка на достоверността на аргументите са обикновено специален истина маса за тази формула. Да разгледаме следния аргумент: "Владимир Владимирович Маяковски е роден през 1891 г. или през 1893 г. Въпреки това, известно е, че той не е роден през 1891 г. По този начин, той е роден през 1893 г.". Това да се формализира разсъждения, ние различаваме прости твърдения, включени в него: "Владимир Владимирович Маяковски е роден през 1891 г.". "Владимир Владимирович Маяковски е роден през 1893 г.". В първата част на нашата дискусия, без съмнение, е строго дизюнкция на тези две прости изречения: а ∨ б. В непосредствена близост до отричане на първия дизюнкцията присъединява прости изказвания и превръща една връзка: (а ∨ б) ∧¬ един . И най-накрая, се получава тази връзка на твърдението на втората просто твърдение, а Изводът: ((а ∨ б) ∧¬ а) → б, което е резултат от формализирането на разсъждение. Сега ние трябва да направи таблица. 7 истината за получаване на формулата:

Броят на редовете в таблицата, се определя в съответствие с правилото: 2 п, където п - броят на променливите (прости изречения) във формулата. Тъй като нашата формула, само две променливи, на масата трябва да е от четирите линии. Броят колони в таблицата е сумата на броя на променливите и броя на логическите съюзи включени във формулата. Формулата под внимание две променливи и четири логически съюз (∨, ∧, ¬, →), след това vtablitsedolzhnobytshestkolonok. Pervyedvekolonkipredstavlyayutsoboyvsevozmozhnyenaboryistinnostnyhznacheniyperemennyh (takihnaborovvsegochetyre: obeperemennyeistinny; pervayaperemennaya вярно, а другият е невярна; първата променлива е фалшива, а второто е вярно; и двете променливи са фалшиви). В третата колона - това е стойностите истината за стриктното дизюнкция, че са необходими в зависимост от всички (четири) наборите на истината стойности на променливите. В четвъртата колона - това е първият отказ на стойностите истината на прости твърдения: ¬ а. Петата колона - една връзка на истината стойности, състоящи се от по-горе строг дизюнкцията и отрицанието, и най-накрая, шестата колона - това е стойностите истината за всички формули, или косвено. Ние разпъна цялата формула на съставните си части, всяка от които е с два мандата трудно предложение, т.е., състояща се от два елемента (споменати в предходния параграф, че отказът е и два мандата комплекс изявление) ..:

Последните четири колони от таблицата представя стойностите истината за всеки от димерни сложни съдебни решения, формиране на формула. Моля, попълнете в третата колона на таблицата. За да направите това, ние трябва да се върнем към предишния параграф, където таблицата на истинност на сложни решения (вж. Таблица. 6) е представен, което в този случай е основно (като таблицата за умножение по математика) за нас. В тази таблица можем да видим, че стриктно дизюнкция е фалшива, когато двете части от него са верни или и двете са неверни; и когато една част от него е вярно, а другата невярна, след строга дизюнкция е вярно. Следователно, стойността на строг дизюнкция попълнено в таблицата (отгоре надолу) са: "фалшива", "вярно", "вярно", "фалшива". След това попълнете в четвъртата колона на таблицата: ¬ и когато декларацията е вярна и половина фалшива два пъти, а след това на отрицанието ¬ а напротив, два пъти и два пъти лъжливо вярно. Петата колона - една връзка. Знаейки стойностите истината за стриктното дизюнкция и отрицание, ние можем да се установи стойността на истината на съюза, което е вярно, само когато всички истински елементи, включени в него. Стриктно дизюнкция и отрицание на формиране на тази връзка, както са верни само в един случай, като по този начин съюзът на един път е настроен на "истинска", а в други случаи - ". Фалшива" На последно място, е необходимо да се попълни в последната колона: за отражение, което ще представлява стойностите истината на цялата формула. Връщайки се към основната истина масата на комплексни решения, ние си спомняме, че влиянието е фалшива само в един случай: когато си база е вярно, но последствието е фалшива. В основата на нашия отражение е съюзът представени в петата колона на таблицата, но в резултат на една проста задача (б), представени във втората колона. Някои неудобства в този случай се крие във факта, че разследването върви от ляво на дясно преди основата, но винаги можем да мислено ги разменят. В първия случай (на първия ред на таблицата, без да броим "шапка") на базата на Изводът е фалшива, но резултатът е вярно, тогава Изводът е вярно. Във втория случай и базата, и следователно са фалшиви, а след това на Изводът е вярно. В третия случай и базата, и следователно са верни, тогава Изводът е вярно. В четвъртия случай, като във втория, и на основата, и следователно са фалшиви, а след това на Изводът е вярно.

Счита формула се дава стойността на "истинска" за всички набори на истината стойности на своите член-променливи, така че е идентично вярно, и разсъждения формализация която заемат, перфектно логично.

Помислете още един пример. Задължително да се формализира следния аргумент и определи какви видове принадлежи изразява неговата формула: "Ако някоя сграда е стара, тя се нуждае от цялостен ремонт. Тази сграда се нуждае от основен ремонт. Поради това е една стара сграда. " Различават се прости твърдения, включени в този аргумент:. "Какво друго е стара сграда", "Какво сграда, нуждаещи се от основен ремонт" В първата част на аргумента е Изводът: една → б, тези прости изявления (първата е неговата основа, а втората - в резултат). Освен това, с одобрението на втория извод се присъединява прости изказвания и превръща една връзка: (а → б) ∧ б . И накрая, от тази връзка на твърдението на първия просто изказване, и получава ново отражение: ((а → б) ∧ б) → а, което е резултат от формализирането на аргументите, които се разглеждат. За да се определи вида на получената формула, образуват масата. 8 от своята истина.

Във формулата две променливи, а след това на масата ще бъде четири линии; във формула три съюз (→, ∧, →), след това vtablitsebudetpyatkolonok. Pervyedvekolonki-etoistinnostnyeznacheniyaperemennyh. Tretyakolonka-istinnostnyeznacheniyaimplikatsii.

В четвъртата колона - стойността на истината на съюза. Петият и последната колона - стойностите истинността на цялата формула - окончателен извод. По този начин, ние сме разбити формулата на три части, които представляват две дългосрочни комплексни решения:

Напълнете три поредни последната колона на таблицата по същия начин, както в предишния пример, т. Е. Въз основа на основната истина масата на комплексни решения (вж. Таблица. 6).

Счита формула приема стойност "истина", а стойността "фалшиво" за различни набори на истината стойности на своите член-променливи, така че е възможно (неутрален), и разсъждения формализация който стои, е логично правилно, но дефектен: ако друга съдържанието на тази форма на разсъждение на изграждането му може да доведе до грешка, например: "Ако думата е в началото на изречението, то се изписва с главна буква. Думата "Москва" е винаги писмено с главна буква. Ето защо, думата "Москва" е винаги в началото на изречението. "

Тествайте себе си:

1. Какво е формализирането на изявленията или аргументите? Излезе с някои аргументи и да заеме своето формализация.

2. официализират следните аргументи:

1) Ако даден материал е метал, то е електропроводим. Медта е метал. Следователно, електропроводим мед.

2) Добре известен английски философ Франсис Бейкън живее в XVII век., Или в XV цент на., Или в XIII век. Франсис Бейкън е живял през XVII век. Следователно, той не живее в някоя XV., Във всеки XIII.

3) Ако не сте упорити, можете да промените мнението си. Ако, обаче, можете да промените мнението си, вие сте в състояние да приеме това твърдение е невярно. Ето защо, ако не сте упорити, вие сте в състояние да приеме това твърдение е невярно.

4) Ако сумата на вътрешните ъгли на геометрична фигура е 180 °, а след това такава фигура е триъгълник. Сума от вътрешните ъгли на геометричната форма не е на 180 °. Следователно, тази геометрична фигура не е триъгълник.

5) Горите са иглолистни или широколистни или смесени. Тази гора не е широколистна и иглолистна. Ето защо, на смесена гора.

3. Какви са идентично вярно идентично невярна формула и е възможно? Какво ще кажеш за аргумент, ако резултатът е формализация на идентично-истинската му формула? Каква е логиката, ако нейното формализиране изрази идентично невярна формула? Какво, по отношение на логическа прецизност, с аргумента, че докато формализиране да доведе до възможни формули?

4. Как мога да се определи вида на формула изразяване на резултата от формализирането на някои аргументи?

В какво алгоритъм построен и изпълнен с таблицата на истината за логическите формули? Мислете за всяко разсъждение, формализира това и с помощта на таблицата на истината, за да се определи вида на получената формула.





; Дата: 04.01.2014; ; Прегледи: 553; Нарушаването на авторските права? ;


Ние ценим Вашето мнение! Беше ли полезна публикуван материал? Да | не



ТЪРСЕНЕ:


Вижте също:



zdes-stroika.ru - Studopediya (2013 - 2017) на година. Тя не е автор на материали, и дава на студентите с безплатно образование и използва!
Page генерирана за: 0.019 сек.