Разработка на урок по информатика - Логиката като наука

Предмет:Логиката като наука. Концепцията за алгебрата на предложенията.
въведе дефиницията на логиката като наука, алгебрата на логиката, понятието твърдение, обозначаването на вярно и невярно твърдение;
разгледайте примери за твърдения и изречения, които не са твърдения.
Учене на нов материал.
Изпълнение на задачи за затвърдяване.
Учене на нов материал.
Логика-науката за формите и начините на мислене; учението за методите на разсъждението и доказателствата. Законите на логиката отразяват в човешкото съзнание свойствата, връзките и отношенията на обектите от заобикалящия свят. Логиката ви позволява да изграждате формални модели на света около вас, абстрахирайки се от съдържателната страна.
Мисленето винаги се осъществява под някаква форма. Основните форми на мислене саконцепция, твърдение и заключение.
Понятието–е форма на мислене, която улавя основните, съществени характеристики на даден обект.Например понятието „компютър“ обединява различни електронни устройства, които са предназначени да обработват информация и имат монитор и клавиатура.
Изявление (съждение)е форма на мислене, в която нещо се потвърждава или отрича относно свойствата на реални обекти и връзките между тях. Твърдението може да бъдевярноилиневярно.Под твърдение имаме предвид декларативно изречение, по отношение на което може да се каже дали е вярно или не.Човек формулира своето разбиране за околния свят под формата на твърдения (съждения, твърдения). Изявлението е изградено на базата на понятия и по форма е декларативно изречение.Например твърдението „Две по две е равно на четири“.
Обектите могат да бъдат оценявани като истински или неверни, тоест твърдението може да бъдевярноилиневярно.
Вярно ще бъде твърдение, в което връзката на понятията правилно отразява свойствата и отношенията на реалните неща. Например "Процесорът е устройство за обработка на информация."
Твърдението ще бъде невярно, когато не отговаря на действителността, например: "Процесорът е печатащо устройство."
Думите и изразите „не“, „и“, „или“, „ако ..., тогава“ и други, използвани в обикновената реч, ни позволяват да изграждаме нови твърдения от вече дадени твърдения. Такива думи се наричатлогически връзки.Изреченията, образувани от други изречения с помощта на логически връзки, се наричатсъставни.Например твърдението „Процесорът е устройство за обработка на информация, а принтерът е печатащо устройство“ е съставно изявление, състоящо се от два прости съюза „и“.
Ако истинността или неверността на прости твърдения е установена в резултат на съгласие на здравия разум, тогава истинността или неистинността на съставните твърдения се изчислява с помощта напропозиционалната алгебра.Горното съставно твърдение е вярно, тъй като простите твърдения, включени в него, са верни.
Изводът-е форма на мислене, с помощта на която може да се получи ново съждение (заключение) от едно или повече съждения (предпоставки).
Изводите позволяват въз основа на известни факти, изразени под формата на преценки (изявления), да се получи заключение, тоест нови знания. Пример за извод могат да бъдат геометрични доказателства.
Например, ако имаме твърдението „Всички ъгли на триъгълник са равни“, тогава можем да докажем чрез извод, че в този случай твърдението „Този триъгълник е равностранен“ е вярно.
В алгебрата на твърденията, на съжденията (прости предложения) се приписватлогически променливи,обозначени с главни букви на латинската азбука. Помислете за две прости твърдения:
A = "Две по две е равно на четири."
B = "Две по две е равно на пет."
Твърденията могат да бъдат верни или неверни. Вярното твърдение съответства на стойността на логическата променлива 1, а невярното твърдение съответства на стойността 0. В нашия случай първото твърдение е вярно (A=1), а второто е невярно (B=0).
В пропозиционалната алгебра предложенията се обозначават с имената на логическите променливи, които могат да приемат само две стойности: "вярно" (1) и "невярно" (0).
Изпълнение на задачи за затвърдяване.
Определете кои от следните фрази са твърдения от гледна точка на логическата логика. Определете значението на твърдението (вярно или невярно).
Без усилия не можете да хванете риба от езерце. (вярно)
Хубаво е да си генерал! (не казвам)
Една революция може да бъде мирна и немирна. (вярно)
Талантът винаги ще намери своя път. (невярно)
Компютърните науки, по-специално, изучават алгоритъма. (вярно)