Основоположником логики считают древнегреческого мыслителя Аристотеля, жившего в 384-322 г.г. до н.э. Основоположником логики считают древнегреческого. - презентация

1

2 Основоположником логики считают древнегреческого мыслителя Аристотеля, жившего в г.г. до н.э. Основоположником логики считают древнегреческого мыслителя Аристотеля, жившего в г.г. до н.э. Он считается основателем формальной логики – науки, которая пытается найти ответ на вопрос, как мы рассуждаем, изучающей логические операции и правила мышления. Он считается основателем формальной логики – науки, которая пытается найти ответ на вопрос, как мы рассуждаем, изучающей логические операции и правила мышления.

3 Основоположником математической логики считают великого немецкого математика и философа Вильгельма Лейбница. Основоположником математической логики считают великого немецкого математика и философа Вильгельма Лейбница. В XVII веке он пытался построить первые логические исчисления: арифметические и буквенно- алгебраические. Он впервые высказал мысль о возможности применения двоичной системы счисления в вычислительной математике. В XVII веке он пытался построить первые логические исчисления: арифметические и буквенно- алгебраические. Он впервые высказал мысль о возможности применения двоичной системы счисления в вычислительной математике.

4 Лейбница Джорджа Буля. Идеи Лейбница получили дальнейшее развитие лишь в середине XIX века в трудах великого математика Джорджа Буля. Он вывел для логических построений особую алгебру (алгебру логики, булеву алгебру). В отличие от обычной, в ней символами обозначают не числа, а высказывания.

5 ПОНЯТИЕ ПОНЯТИЕ - мысль, в которой обобщаются и выделяются предметы некоторого класса по определенным общим и в совокупности специфическим для них при­ знакам. СУЖДЕНИЕМ (ВЫСКАЗЫВАНИЕМ) СУЖДЕНИЕМ (ВЫСКАЗЫВАНИЕМ) называется всякое утверждение (или всякое предложение), о котором можно судить, истинно оно или ложно. УМОЗАКЛЮЧЕНИЕМ Если из двух суждений выводится третье, то этот процесс называется УМОЗАКЛЮЧЕНИЕМ.

6 АBA&B Составное высказывание, образованное в результате операции логического умножения, истинно тогда и только тогда, когда истинны все входящие в него простые высказывания.

7 АBA\/B Составное высказывание, образованное в результате операции логического сложения, истинно тогда и только тогда, когда истинно хотя бы одно из входящих в него простые высказывания.

8 АB Строгой дизъюнкции (двойному или) в естественном языке соответствует связка либо …, либо …. Например, С={Любые 2 прямые плоскости или пересекаются, или параллельны, или совпадают}

9 А A01 10 Логическое отрицание получает из истинного высказывания ложное и, наоборот, из ложного – истинное.

10 АB Импликация – это логическая операция, ставящая в соответствие каждым двум простым высказываниям новое высказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание) истинно, а следствие (второе высказывание ) ложно. Импликация в естественном языке соответствует обороту если …, то …..

11 АB Эквиваленция – это логическая операция, ставящая в соответствие каждым двум простым высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны. Эквиваленция в естественном языке соответствует оборотам речи: тогда и только тогда, в том и только в том случае. тогда и только тогда, в том и только в том случае.

12 1 Действия в скобках ( ) 2Отрицание,, 3Конъюнкция 4Дизъюнкция,,,,,, 5Импликация, 6Эквиваленция,