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

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

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

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

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

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

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

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

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

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

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