рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Тема 5. ЛОГИКА ВЫСКАЗЫВАНИЙ

Тема 5. ЛОГИКА ВЫСКАЗЫВАНИЙ - раздел Философия, Тема 1. ЛОГИКА: ПРЕДМЕТ И ОСНОВНЫЕ РАЗДЕЛЫ 1. Логика Высказываний В Структуре Современной Формальной Логики. Язык Логики...

1. Логика высказываний в структуре современной формальной логики. Язык логики высказываний. Основные задачи и методы построения логики высказываний. Табличный метод. Правильно построенные формулы (ППФ). Таблицы истинности. Тождественно истинные, тождественно ложные и выполнимые формулы.

2. Понятие разрешимости логической системы. Равносильные формулы. Метод приведения к нормальным формам. Конъюнктивная нормальная форма (КНФ). Выявление законов логики при помощи приведения формул к КНФ. Дизъюнктивная нормальная форма (ДНФ). Тождественно ложные формулы. Совершенные нормальные формы. Сокращенные нормальные формы. Исчисление высказываний.

 

Упражнения

 

1. Установите с помощью табличного метода, являются ли следующие формулы законами логики:

______

а) p & p¯

б) (( p ⊃ q) & q) ⊃ q

в) (( p ⊃ q) & r) ⊃ (( p v r) ⊃ q)

г) ((p& q‾) ⊃ r) ≡ (p ⊃ (q ⊃ r))

д) ((p ⊃ q) & q) ⊃ ‾p

2. Запишите в символическом виде и проверьте с помощью таблиц наличие следования:

а) если бы Петров знал решение задачи, он рассказал бы его Смирнову и Николаеву. Если Смирнов не знает решения, то Петров его знает, а если Смирнов знает, то Николаев не знает. Значит, только Смирнов знает решение задачи;

б) если число делится на 2 и на 3, то оно делится и на 6. Значит, если число делится на 2, а на 6 не делится, то оно не делится и на 3;

в) если в какой-то точке пространства возникло переменное магнитное поле, то оно не стоит на месте, а со скоростью света распространяется во все стороны;

3. Следующие формулы привести к нормальным формам:

____

а) (p v q) ⊃ ((p &q) ⊃ p)

б) ((p ⊃ q) ⊃ (q ⊃ p)) ⊃ (p v q)

в) (p ≡ q) ⊃ (p &q)

г) ((p ⊃ q) & (q ⊃ r)) ⊃ (p &q)

д) ((p ⊃ q) ⊃ r) ⊃ p

е) (p v (q ⊃ r)) ⊃ p

ж) ((p ⊃ q) & (q ⊃ r)) ⊃ (p ⊃ r)

з) (p& q) ⊃ ((p ⊃ q) ⊃ q)

и) ((q ⊃ r) ⊃ q) ⊃ (r ⊃ p)

к) ((p & q) v (p ⊃ r)) ⊃ (q & r)

л) (p ≡ q) ⊃ p

4. Приведите к КНФ формулы:

а) (p& q) ⊃ ((p ⊃ q) ⊃ q)

б) (p ⊃ q) ⊃ ((p v r) ⊃ (q v r))

в) (p & (q v r)) ⊃ (‾p ⊃ ‾r)

_____

г) (‾p & ‾q) ⊃ (p v q)

д) (‾p v (q ⊃ r)) v ((p ⊃ ‾r) ⊃ (p ⊃ ‾q ))

е) (p ⊃ q) ⊃ (q v (‾p ⊃ r))

 

5. Приведите к ДНФ формулы:

 

а) (p ⊃ r) & (q v r)

_____ _________

б) (p v r) & ((q & r) v p)

в) (p ⊃ q) & (‾p v q)

_____

г) (p v r) & (p ⊃ q)

д) (p & q) & ((q ⊃ p) & p)

6. При помощи таблицы истинности установить являются ли равносильными формулы:

а) (p ⊃ q) и (‾q ⊃ ‾p)

б) (p ⊃ q) и (‾p v q)

в) (p ⊃ (q ⊃ r)) и ((p & q) ⊃ r)

г) (p & (q v r)) и ((p & q) v (p & r))

д) (p v (q & r)) и ((p v q) & (p v r))

 

7. Используя в качестве разрешающей процедуры процесс приведения к КНФ, решите задачу.

 

Три цеха договорились, что при утверждении проектов должны соблюдаться следующие условия:

· Если второй цех не участвует в утверждении проекта, то в нем не участвует и первый цех.

· Если второй цех принимает участие в утверждении проекта, то в нем принимают участие первый и третий цеха.

· Обязан ли при этих условиях третий цех принимать участие в утверждение проекта, когда в нем принимает участие первый цех?

 

 

– Конец работы –

Эта тема принадлежит разделу:

Тема 1. ЛОГИКА: ПРЕДМЕТ И ОСНОВНЫЕ РАЗДЕЛЫ

Тема ЛОГИКА ПРЕДМЕТ И ОСНОВНЫЕ РАЗДЕЛЫ... Основные этапы развития логики Предмет и значение логики Логическая семантика Взаимосвязь мышления и языка Гипотеза Сепира Уорфа Имена...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Тема 5. ЛОГИКА ВЫСКАЗЫВАНИЙ

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

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

Тема 2. ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ
  1. Понятие как форма мышления. Способы образования понятий. Объем и содержание понятий. Закон обратного отношения между объемом и содержанием понятий. Ограничение и обобщение поняти

Тема 3. СУЖДЕНИЕ КАК ФОРМА МЫШЛЕНИЯ
1. Суждение как форма мышления. Структура суждения. Виды простых суждений. Атрибутивные суждения, суждения об отношениях, суждения существования (экзистенциальные). Классификация простых категориче

Дедуктивные умозаключения
1. Дедуктивные умозаключения. Непосредственные дедуктивные умозаключения. Превращение, обращение, противопоставление предикату, умозаключение по логическому квадрату. 2.

Тема 6. ИНДУКТИВНЫЕ И ТРАДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ
  1. Общая характеристика индуктивных умозаключений. Виды индуктивных умозаключений. Полная индукция. Неполная индукция. Способы повышения достоверности выводов по индукции. Популярна

Тема 7. АРГУМЕНТАЦИЯ И ДОКАЗАТЕЛЬСТВО
1. Аргументация и доказательство. Виды аргументации. Полемика, дискуссия, логомахия. Общие принципы диалога. Вопрос как форма мышления. Уточняющие вопросы. Восполняющие вопросы. Ответы на вопросы.

Тема 8. ОСНОВНЫЕ ФОРМЫ РАЗВИТИЯ ЗНАНИЯ
1. Проблема. Структура и основные виды. Формулировка проблемы и этапы становления. 2. Гипотеза как форма развития человеческих знаний. Структура гипотезы. Виды гипотез. Понятие версии. Пос

ВОПРОСЫ К ЭКЗАМЕНУ
1. Предмет и значение логики. 2. Основные этапы развития логики. 3. Логика в юриспруденции 4. Понятие как форма мышления 5. Основные виды понятий. 6. Об

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги