Студопедия — Основы логики
Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Основы логики






Основы логики

1. Основные понятия:

Логика – это наука о формах и способах мышления.

Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта, например, понятие «ПЕРСОНАЛЬНЫЙ КОМПЬЮТЕР» можно раскрыть следующим образом: ПК это универсальное электронное устройство для автоматической обработки информации. ПК это универсальное электронное устройство, предназначенное для одного пользователя

Высказывание –это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношений между ними. Например, 2*2=4.

Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение). Например, если мы имеем суждение «Все углы треугольника равны», то мы можем путем умозаключений доказать, что справедливо суждение «Этот треугольник равносторонний».

Упражнения:

Какие из приведенных ниже предложений являются высказываниями?


1) Белые медведи живут в Африке.

2) 2 х 2 =4

3) 2< 3

4) 3> =5

5) Площадь отрезка больше длины куба

6) Маслины вкуснее ананасов

7) Стой! Куда идешь?

8) Х – четное число

9) Слава Российским школьникам!

10) Х< 2, xÎ R

11) Солнце вращается вокруг Земли

12) В романе Толстого «Война и мир» 14563970 слов

13) Да здравствует Солнце! Да скроется тьма!

14) Студент первого курса

15) Число 3 удовлетворяет неравенству 3х+25< =0


Логические константы: true, false, переменные(A, B, C…принимают значение true, false), выражения(A операция B), принимают значение true, false.

2. Логические операции.

Отрицание.

Обозначение:

Ø в естественном языке соответствует частице не;

Ø в алгебре высказываний обозначение , Ø А;

Ø в языках программирования обозначение Not.

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

Таблица истинности

X
   
   
Свойства операции:

Примеры:

1. А= «Лев Толстой – автор романа «Война и мир»».

2. В= «Треугольник АВС прямоугольный».

3. Среди следующих пар высказываний выберите те, которые являются отрицанием друг друга:

a) 5< 2 и 5> 2

b) 5< =3 и 5> =3

c) 5< 4 и 5> =4

d) Число 3 положительное и число 3 отрицательное

e) Число 4 четно и Число 4 нечетно

f) Вечером я пойду в кино и Вечером я пойду в театр.


 

Конъюнкция (логическое умножение).

Обозначение:

Ø в естественном языке соответствует союзу и;

Ø в алгебре высказываний обозначение &, Ù;

Ø в языках программирования обозначение And.

Конъюнкция - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны.

Таблица истинности

X Y X & Y
     
     
     
     
Свойства операции:

A & B=B & A

A & 1 = A

A & 0 = 0

A & A = A

Примеры:

4. Запись 2 < 4 < 7 является конъюнкцией двух высказываний: (2 < 4) & (4 < 7)

5. Студенты готовятся к экзаменам по конспектам и учебникам

6. Определить истинность:

(23 > 7) & (2> 7) (2*3> =6) & (3*3> 7)

7. Определить значение А, если следующие высказывания истинны:

A & (2*2< =5) A & (2*2< =4)

 

Дизъюнкция (логическое сложение).

Обозначение:

Ø в естественном языке соответствует союзу или;

Ø в алгебре высказываний обозначение Ú; +;

Ø в языках программирования обозначение Or.

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

Таблица истинности

X Y X Ú Y
     
     
     
     
Свойства операции:

A Ú B=B Ú A

A Ú 1 = 1

A Ú 0 =А

A Ú A = A

Примеры:

8. Запись 5> =2 является дизъюнкцией двух высказываний: (5> 2) Ú (5=2)

9. 2*1=4 или «Белые медведи живут в Африке»

10. Сегодня в 19.00 я пойду в кино или в театр.

11. Определить истинность: (23 > 7) Ú (2 > 7)

12. (2*3> =6) Ú (3*3> 7)

13. Определить значение А, если следующие высказывания: A Ú (3*3> 5)=1

14. A Ú (2*2> =5)=0

15.

Упражнения. Логические операции выполняются над целыми двоичными числами:

а) 1000111 & 11101
               
&              
               
Ответ: 101

b) 1000111 Ú 11101

               
+              
               
Ответ: 1011111

c) Not 10010101

                                 
Not 10010101                                
Ответ: 11010

d) 7 & 16

7= 111

16= 10000

           
&          
           
Ответ: 0

e) 7 Ú 16

7= 111

16= 10000

           
+          
           
Ответ: 10111=23

f) Not 16

16= 10000

                                 
Not 10010101                                
Это дополнительный код числа, преобразуем его:
                                 
                              +  
                                 
10001=17

Ответ: -17

     
 

2. Диаграммы

Выражения, зависящие от небольшого количества переменных (обычно не более четырех), удобно изображать в виде диаграмм, которые называют диаграммами Венна, или кругами Эйлера.

На такой диаграмме каждой переменной соответствует круг, внутри которого она равна единице, а вне его — нулю. Круги пересекаются, каждый с каждым. Области, в которых рассматриваемое логическое выражение истинно, закрашиваются каким-либо цветом. Ниже приведены диаграммы для простейших операций с одной и двумя переменными. Серым цветом залиты области, где рассматриваемое выражение равно единице.

Такие диаграммы часто используются при работе с множествами: операция “И” соответствует пересечению двух множеств, а “ИЛИ” — объединению.

Для трех переменных диаграмма будет немного сложнее. Для каждой из областей, показанной ниже диаграммы, запишем логические выражения:

Для того чтобы найти выражение для объединения двух или нескольких областей, надо сложить (используя логическое сложение — операцию “ИЛИ”) выражения для всех составляющих. Например, выражение для объединения областей 3 и 4 имеет вид

3 + 4: + .

С другой стороны, можно заметить, что справедлива формула

3 + 4: .

Это означает, что логические выражения в некоторых случаях можно упростить.

Диаграммы удобно применять для решения задач, в которых используются множества, например, множества ссылок, полученных от поисковой системы в ответ на какой-то запрос. Рассмотрим такую задачу:

16. Известно количество ссылок, которые находит поисковый сервер по следующим запросам (здесь символ “ & ” обозначает операцию “И”, а “|” — операцию “ИЛИ”):







Дата добавления: 2014-10-22; просмотров: 1318. Нарушение авторских прав; Мы поможем в написании вашей работы!



Кардиналистский и ординалистский подходы Кардиналистский (количественный подход) к анализу полезности основан на представлении о возможности измерения различных благ в условных единицах полезности...

Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...

Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...

Важнейшие способы обработки и анализа рядов динамики Не во всех случаях эмпирические данные рядов динамики позволяют определить тенденцию изменения явления во времени...

Стресс-лимитирующие факторы Поскольку в каждом реализующем факторе общего адаптацион­ного синдрома при бесконтрольном его развитии заложена потенци­альная опасность появления патогенных преобразований...

ТЕОРИЯ ЗАЩИТНЫХ МЕХАНИЗМОВ ЛИЧНОСТИ В современной психологической литературе встречаются различные термины, касающиеся феноменов защиты...

Этические проблемы проведения экспериментов на человеке и животных В настоящее время четко определены новые подходы и требования к биомедицинским исследованиям...

Решение Постоянные издержки (FC) не зависят от изменения объёма производства, существуют постоянно...

ТРАНСПОРТНАЯ ИММОБИЛИЗАЦИЯ   Под транспортной иммобилизацией понимают мероприятия, направленные на обеспечение покоя в поврежденном участке тела и близлежащих к нему суставах на период перевозки пострадавшего в лечебное учреждение...

Кишечный шов (Ламбера, Альберта, Шмидена, Матешука) Кишечный шов– это способ соединения кишечной стенки. В основе кишечного шва лежит принцип футлярного строения кишечной стенки...

Studopedia.info - Студопедия - 2014-2024 год . (0.03 сек.) русская версия | украинская версия