SlideShare a Scribd company logo
Логика – это наука о формах и

способах мышления.
Алгебра логики – это
математический аппарат, с помощью
которого записывают, вычисляют,
упрощают и преобразовывают
логические высказывания.
Объект алгебры логики –
высказывание.
Высказывание – это повествовательное
предложение, в котором что-либо утверждается
или отрицается.
 Высказывание может быть либо истинным, либо
ложным.
 Истинному высказыванию соответствует значение
логической переменной 1, а ложному – значение 0.
 Высказывание не может быть выражено
повелительным или вопросительным
предложением, так как оценка их истинности или
ложности невозможна.
Составные высказывания на
естественном языке
образуются с помощью связок
«и», «или», «не», которые в
алгебре логики заменяются
на логические операции.
 Число 6 – четное.

 Здравствуйте!
 А – первая буква в алфавите.

 Париж – столица Китая.
 Треугольник – геометрическая

фигура.
 Простые высказывания в алгебре

логики обозначаются
заглавными латинскими буквами
- именами логических
переменных (A, B, X, Y).
 В русском языке : союз «И».

 В математической логике: &, ^.
 Конъюнкция операция двухместная;

записывается в виде: A^B.
 Значение выражение будет ЛОЖЬ, если
значение хотя бы одного и операндов ложно.
А

В

А^В

0

0

0

0

1

0

1

0

0

1

1

1
 В русском языке: ИЛИ.
 В математической логике: v.
 Дизъюнкция – двухместная операция;

записывается в виде: АvB.
 Значение выражения будет ИСТИНА, если
значение хотя бы одного из операндов истинно.
A

B

AvB

0

0

0

0

1

1

1

0

1

1

1

1
 В русском языке: НЕ.
 В математической логике:

¬ , ⁻.

 Отрицание – унарная(одноместная) операция;

записывается в виде: ¬ А или А.
А

¬А

0

1

1

0
 Порядок выполнения операций в

логических формулах определяется
старшинством операций:
1. отрицание
2.конъюнкция
3. дизъюнкция
 Что изучает наука логика?
 Что такое высказывание?
 Какие значения принимают логические

переменные?
 Какие логические операции вы знаете?
 Как обозначаются логические операции в
высказываниях на естественном языке?

More Related Content

What's hot

4 алгебра логики
4 алгебра логики4 алгебра логики
4 алгебра логикиzarechneva
 
расчетная работа яруллина г.с.афбнк
расчетная работа яруллина г.с.афбнкрасчетная работа яруллина г.с.афбнк
расчетная работа яруллина г.с.афбнк
Александр Мельников
 
иррациональные уравнения
иррациональные уравненияиррациональные уравнения
иррациональные уравненияludmilka88888
 
основы логики
основы логикиосновы логики
основы логикиhudooognik
 
Логика высказываний
Логика высказыванийЛогика высказываний
Логика высказываний
Khayot Mirzaev
 
Основы логики
Основы логикиОсновы логики
Основы логики
Yuri Samplin
 
Универсалистская парадигма в логике и композициональность
Универсалистская парадигма в логике и композициональностьУниверсалистская парадигма в логике и композициональность
Универсалистская парадигма в логике и композициональность
Victor Gorbatov
 
Буквы е и и в окончаниях глаголов 1
Буквы е и и в окончаниях глаголов 1Буквы е и и в окончаниях глаголов 1
Буквы е и и в окончаниях глаголов 1
Ольга Логачева
 
Логика как наука
Логика как наукаЛогика как наука
Логика как наукаNatalitutor
 

What's hot (10)

4 алгебра логики
4 алгебра логики4 алгебра логики
4 алгебра логики
 
расчетная работа яруллина г.с.афбнк
расчетная работа яруллина г.с.афбнкрасчетная работа яруллина г.с.афбнк
расчетная работа яруллина г.с.афбнк
 
иррациональные уравнения
иррациональные уравненияиррациональные уравнения
иррациональные уравнения
 
основы логики
основы логикиосновы логики
основы логики
 
Логика высказываний
Логика высказыванийЛогика высказываний
Логика высказываний
 
Основы логики
Основы логикиОсновы логики
Основы логики
 
Универсалистская парадигма в логике и композициональность
Универсалистская парадигма в логике и композициональностьУниверсалистская парадигма в логике и композициональность
Универсалистская парадигма в логике и композициональность
 
Буквы е и и в окончаниях глаголов 1
Буквы е и и в окончаниях глаголов 1Буквы е и и в окончаниях глаголов 1
Буквы е и и в окончаниях глаголов 1
 
рациональные выражения
рациональные выражениярациональные выражения
рациональные выражения
 
Логика как наука
Логика как наукаЛогика как наука
Логика как наука
 

More from AnnaErmakova2013

метапредметный подход в обучении
метапредметный подход в обученииметапредметный подход в обучении
метапредметный подход в обучении
AnnaErmakova2013
 
варианты использования эу
варианты использования эуварианты использования эу
варианты использования эу
AnnaErmakova2013
 
организация дистанционного обучения
организация дистанционного обученияорганизация дистанционного обучения
организация дистанционного обучения
AnnaErmakova2013
 
задания для исполнителя «робот»
задания для исполнителя «робот»задания для исполнителя «робот»
задания для исполнителя «робот»AnnaErmakova2013
 
системы счисления
системы счислениясистемы счисления
системы счисленияAnnaErmakova2013
 
системы счисления
системы счислениясистемы счисления
системы счисленияAnnaErmakova2013
 
системы счисления(CC)
системы счисления(CC)системы счисления(CC)
системы счисления(CC)AnnaErmakova2013
 
системы счисления
системы счислениясистемы счисления
системы счисленияAnnaErmakova2013
 
системы счисления
системы счислениясистемы счисления
системы счисленияAnnaErmakova2013
 
системы счисления абрамова а.
системы счисления абрамова а.системы счисления абрамова а.
системы счисления абрамова а.AnnaErmakova2013
 
модульное обучение
модульное обучениемодульное обучение
модульное обучениеAnnaErmakova2013
 

More from AnnaErmakova2013 (11)

метапредметный подход в обучении
метапредметный подход в обученииметапредметный подход в обучении
метапредметный подход в обучении
 
варианты использования эу
варианты использования эуварианты использования эу
варианты использования эу
 
организация дистанционного обучения
организация дистанционного обученияорганизация дистанционного обучения
организация дистанционного обучения
 
задания для исполнителя «робот»
задания для исполнителя «робот»задания для исполнителя «робот»
задания для исполнителя «робот»
 
системы счисления
системы счислениясистемы счисления
системы счисления
 
системы счисления
системы счислениясистемы счисления
системы счисления
 
системы счисления(CC)
системы счисления(CC)системы счисления(CC)
системы счисления(CC)
 
системы счисления
системы счислениясистемы счисления
системы счисления
 
системы счисления
системы счислениясистемы счисления
системы счисления
 
системы счисления абрамова а.
системы счисления абрамова а.системы счисления абрамова а.
системы счисления абрамова а.
 
модульное обучение
модульное обучениемодульное обучение
модульное обучение
 

алгебра логики

  • 1.
  • 2. Логика – это наука о формах и способах мышления. Алгебра логики – это математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразовывают логические высказывания. Объект алгебры логики – высказывание.
  • 3. Высказывание – это повествовательное предложение, в котором что-либо утверждается или отрицается.  Высказывание может быть либо истинным, либо ложным.  Истинному высказыванию соответствует значение логической переменной 1, а ложному – значение 0.  Высказывание не может быть выражено повелительным или вопросительным предложением, так как оценка их истинности или ложности невозможна.
  • 4. Составные высказывания на естественном языке образуются с помощью связок «и», «или», «не», которые в алгебре логики заменяются на логические операции.
  • 5.  Число 6 – четное.  Здравствуйте!  А – первая буква в алфавите.  Париж – столица Китая.  Треугольник – геометрическая фигура.
  • 6.  Простые высказывания в алгебре логики обозначаются заглавными латинскими буквами - именами логических переменных (A, B, X, Y).
  • 7.
  • 8.  В русском языке : союз «И».  В математической логике: &, ^.  Конъюнкция операция двухместная; записывается в виде: A^B.  Значение выражение будет ЛОЖЬ, если значение хотя бы одного и операндов ложно. А В А^В 0 0 0 0 1 0 1 0 0 1 1 1
  • 9.  В русском языке: ИЛИ.  В математической логике: v.  Дизъюнкция – двухместная операция; записывается в виде: АvB.  Значение выражения будет ИСТИНА, если значение хотя бы одного из операндов истинно. A B AvB 0 0 0 0 1 1 1 0 1 1 1 1
  • 10.  В русском языке: НЕ.  В математической логике: ¬ , ⁻.  Отрицание – унарная(одноместная) операция; записывается в виде: ¬ А или А. А ¬А 0 1 1 0
  • 11.  Порядок выполнения операций в логических формулах определяется старшинством операций: 1. отрицание 2.конъюнкция 3. дизъюнкция
  • 12.  Что изучает наука логика?  Что такое высказывание?  Какие значения принимают логические переменные?  Какие логические операции вы знаете?  Как обозначаются логические операции в высказываниях на естественном языке?