Представяне - логика като наука - 9 клас безплатно изтегляне

Предишен ◈ Следващото

Надписи на слайдове:

Логика като наука

Logic (от гръцки Логос -. Думата, концепцията, разсъждение ум) - науката за формите и законите на рационалното мислене.

Демокрит

Евклид

Декарт

Концепцията - форма на мислене, което означава всеки обект или атрибут на обекта, което го отличава от други обекти.
Например, "куче", "завод", "планета", "химичен елемент", "смелост", "индустрия", и т.н. ...

Между сериите (обеми сравнима концепция) може да има различен vidyotnosheny който е удобен за представяне на Ойлер кръгове:

Еквивалентността ( "идентичност"). когато обхвата на концепциите са идентични;
кръстовище. когато обемите понятия се припокриват;
подаване. когато обемът на едно понятие напълно в обхвата на друга и т.н.

А =

Най-

Най-

Изявление (предложение, отчет) - форма на мислене, в който нещо е одобрен или отрече за обекти, техните свойства и отношенията между тях. В изказване може да бъде вярно или невярно. Отчети не могат да бъдат изразени в въпросителни или повелителни изречения, тъй като оценката на истината или неистинността на тези предложения не е възможно.
Например: "Слънцето не е планета"; "Някои вещества - метал"; "Всички цифрите - знак"; " 2 2 = 4" и т. П.

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

Например: "Всички риби могат да плуват"; "Някои мечки - кафяв"; "В писмо A-гласната"

Отчети са общи,
лично или изолирани.

Извод - форма на мислене, в която две или повече декларации източници, наречени помещения, получават ново изявление или заключение.
Пример разсъждения: "Всички електропроводимостта на метали. Желязо - метална. Желязото е електропроводим. "

Основната цел на логика - проучване на това как някои от тези твърдения може да показва друго. Предполага се, че изходът зависи само от начина на комуникация на съставните си отчети и тяхната структура, а не тяхното специфично съдържание. Следователно друга логика дефиниция.
Logic - науката, която изучава методите за определяне на истинността или неистинността на някои твърдения (извлечения) на базата на истината или неистинността на други предложения.

С течение на времето, логиката е преместил от формалната към математически (от вербална разсъждение нотация да пише мотиви, използвайки символи) в нейното развитие. Тя се появи на математически методи за научни изследвания, специфични закони. Основателят на математическата логика и математика се смята за един философ Лайбниц (1646-1716).

През ХIХ век е имало раздел математика кал логика - алгебра на логиката, която работи на бинарни променливи, които вземат само две стойности - "вярно" или "невярно". Алгебра на логиката в чест на своя създател, английски математик Джордж. Бул, наречена Булева алгебра. С формална логика не е загубила своето значение и в момента се използва в областта на философията, право, криминология, психология и така нататък. Г.

Булева алгебра е намерил широко практическо приложение в техническата област - icpolzyetcya за решаване на сложни математически проблеми, когато пишете алгоритми и софтуер, разработване на електронни устройства, компютри, автомат-радикално системи, роботика и др ...

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

От снимачната площадка на твърдения можем да изградим нови постановки. Той използва думи и фрази "и", "или", "не", "един от двамата. или "," ако и само ако "и др. Тези думи и изрази, се наричат логически connectives или quantifiers.

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

В изявление алгебра логика да се формализира работи циклично определят SYM имена, например: A, B, C.
След това, ако ние означаваме просто изявление "Денис направи уроци" Името ", Денис заминава за филма" В името на, отчета за съединение "Денис направи уроците и да отиде на кино" може да се запише като "А и Б". Тук "и" покриване на логика куп. A, B - булеви променливи, които могат да се логически стойности "вярно" или "невярно".

Надписи на слайдове:

Свързани статии