Logic - един от най-старите науки. Като самостоятелна наука на логиката разработен в IV. пр.н.е. Той се смята за основател на древногръцкия философ Аристотел. Помислете логично - е да се мисли, точно и последователно, за да се избегнат противоречия в аргументите си, за да може да се отвори логическите грешки. Предметът на изследвания логиката на науката е човешкият ум.
форми на мисълта
Концепцията - форма на мислене, който отразява характерните основните характеристики на обектите.
Значително са тези признаци, всяка от които, взети поотделно, се изисква, но достатъчно заедно, за да ги използва за разграничаване на обекта или явлението от всички останали.
Езикова изразяване на мнения е декларативно изречение
Езикова изразяване на мнения е декларативно изречение. Решения са прости и сложни (съставени от един или повече полиетер (или комплекс) на логически изрази, свързани с логически операции).
Решението (изречение, отчет) - форма на мислене, в който нещо е одобрен или отрече за обекти, техните свойства и отношенията между тях.
Извод - форма на мислене
Извод - форма на мислене, при които едно или повече предложения, наречени помещения, ние сме на някои правила за извод получаваме съдийския заключението (сключване на извод). Изпращане заключения могат да бъдат само истинските решения
Древна логика, създадена от Аристотел, се нарича формална логика
Това име произлиза от основния принцип на логиката като наука, която гласи, че точността на мотивите (извод) се определя само от своята форма или структура, и не зависи от конкретното съдържание, включени в решението си.
алгебра на логиката (Пропозиционални алгебра) - раздел по математическа логика
изучаване на структурата (форма, структура) на сложни логически твърдения и техните методи за установяване на истината с помощта на алгебрични методи.
Като казвам (решение) се разбира, декларативно изречение, за което може да се каже дали това е вярно или невярно.
Изказванията са обозначени с главни букви (A), ако е вярно твърдение, а след това пишем A = 1 и А се казва - вярно. Ако твърдението е погрешно, тогава пишем A = 0, и да кажа A - е лъжа.
В Булева алгебра изказвания по-горе може да изпълнява различни операции.
логически операции
Логическата операция - метод на конструиране на сложни изразяване на тези отчети, където изказване сложно стойност истина е напълно определени от първоначалните стойности истина изказвания на.
Логически отрицание (инверсия) логическата размножаването (връзка) логично допълнение (дизюнкция) на логично следствие (косвено) Логически равенство (еквивалентност)
Логически отрицание (инверсия)
Свързани статии