Студопедия  
Главная страница | Контакты | Случайная страница

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

Алгебра высказываний

Читайте также:
  1. Алгебра высказываний.
  2. Алгебра және анализ бастамалары» пәнінен оқу бағдарламасы
  3. Алгебра және анализ бастамалары» пәнінен оқу бағдарламасы
  4. алгебра логики.ОСНОВНЫЕ ЛОГИЧЕСКИЕ ОПЕРАЦИИ И ИХ РЕАЛИЗАЦИЯ
  5. Алгебра событий
  6. Алгебра событий
  7. Алгебра событий
  8. Алгебра событий.
  9. Алгебраическая структура циклических кодов

 

 

Элементы математической логики

 

1. Логика как наука. 2

2. Алгебра высказываний. 3

3. Основные законы логики. 5

4. Упрощение сложных высказываний. 6

5. Решение логических задач. 7


Логика как наука

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

· Логика – …

· Формы мышления:

- понятие …

- суждение …

- умозаключение …

& приведите примеры понятий, суждений, умозаключений из курсов математики, истории, информатики.

& Выведите, если это возможно, заключение из пары посылок:

a) Тем, кто лыс, расческа не нужна.
Ни одна ящерица не имеет волос.

b) Ни один добрый поступок не является незаконным.
все, что законно, можно делать без страха.

c) Некоторые уроки трудны.
все, что трудно, требует внимания.

H

Алгебра высказываний

 

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

· Алгебра логики – …

· Высказывание (суждение)

· Простое, сложное высказывание …

· Логическая операция …

· Логическое выражение...

· Логическая функция...

· Тождественно истинные (тождественно ложные) высказывания.

· Равносильные (тождественные, эквивалентные) высказывания.

 

& Заполнить таблицу «Свойства логических операций»

 

Инверсия истинна тогда и только тогда, когда высказывание …
Дизъюнкция ложна оба высказывания
Конъюнкция истинна
Дизъюнкция истинна хотя бы одно высказывание
Конъюнкция ложна
Импликация ложна из … высказывания следует …
Эквивалентность истинна оба высказывания … или оба высказывания …

 

 

& расставить логические операции по приоритету выполнения.

 

 

& Для каждой логической операции построить диаграммы Эйлера – Венна:

 

ИнверсияДизъюнкцияКонъюнкция

 
 

 

 


Импликация (выбираем те строки таблицы истинности, в которых импликация =1)

 

 

Эквивалентность (выбираем те строки таблицы истинности, в которых эквивалентность=1)

 

 

 

 

H





Дата добавления: 2014-12-20; просмотров: 36 | Поможем написать вашу работу | Нарушение авторских прав




lektsii.net - Лекции.Нет - 2014-2024 год. (0.007 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав