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

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

Производные отношения - комбинация фундаментальных отношений.

Производные отношения - комбинация фундаментальных отношений. - раздел Философия, Логика. Конспекты по учебнику Бочарова-Маркина, а также Ивлева + лекции Маркина   1. Противоречие (Контрадикторность) - Несовместимость Оп Исти...

 

1. Противоречие (контрадикторность) - несовместимость оп истинности и по ложности.

2. Противоположность (контрарность) - несовместимость по истинности и совмеситмость по ложности.

3. Подпротивоположность (субконтрарность) - совместимость по истинности и несовместимость по ложности.

4. Отношение логического подчинения - А|=В, но не наоборот!!!

5. Логическая эквивалентность - А|=В и B|=A

6. Логическая независимость - совместимость по истинности, совместимость по ложности, но не А|=В и не B|=A

 

15. Классическая логика высказываний: язык, табличные определения связок, тождественно-истинные, тождественно-ложные, выполнимые и опровержимые формулы.

 

I Язык классической логики высказываний.(в нем игнорируется внутренняя структура простых высказываний)

1. Алфавит:

а) нелогические символы - пропозициональные переменные - их количество бесконечно: p, q, r, s...

б) логические символы - знаки функций истинности - пропозициональные связки: *отрицание*, &, V, *импликация*, *эквиваленция*

в) технические символы - (,) (скобки)

2. Правила образований языковых выражений. Формулы.

а) всякая пропозициональная переменная является формулой.

б) если А - формула, то *неверно*А - тоже формула.

в) если А и В формулы, то

А&В, АVВ, А*импликация*В, А*эквиваленция*В - тоже формулы.

г) ничто другое формулой не является.

 

II Правила интерпретации пропозициональных переменных – нелогических символов

 

Y1 y1 y2

и и и

л и л

л и

л л

 

 

III Интерпретация логических символов (строятся таблички истинности для каждой пропозициональной связки)

 

IV Методы установления логических отношений. (совместимость по истинности/ложности и др)

А1, А2...А n -совместимы по истинности тогда и только тогда, когда (A1&А2...&An) - выполнима

А1, А2...А n -совместимы по ложности тогда и только тогда, когда (A1VА2...VAn) - опровержима

А1, А2...А n - |= тогда и только тогда, когда (A1&А2&...&An) *импликация* В тождественно-истинная формула.

 

 

16. Табличный метод проверки умозаключений. Основные способы правильных рассуждений в логике высказываний.

 

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

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

Логика. Конспекты по учебнику Бочарова-Маркина, а также Ивлева + лекции Маркина

Предмет логики Основные формы и приемы рационального познания Принципы... Логика одна из древнейший наук Основы логики Аристотель в до н э Главное произведение quot Органон quot...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Производные отношения - комбинация фундаментальных отношений.

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

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

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

Приемы рационального мышления.
1. Определения - процедура придания точного смысла термину (языковому выражению). 2. Классификация - процедура ступенчатого распределения предметов из класса (в подклассы).

Виды знаков.
  1. Знаки-индексы связаны с репрезентируемым объектом причинно-следственной связью. Пр, дым и огонь, дым - это знак огня. 2. Знаки-копии (знаки-образы) находят

Язык-объект и метаязык.
Язык, который изучается, - язык-объект. Язык, с помощью которого изучается другой язык - метаязык.Естественный язык может выступать в роли метаязыка по отношнию к

Принципы употребления языковых выражений.
1. Принцип однозначности. Всякое языковое выражение в определенном языковом контексте должно иметь ровно одно значение. 2. Принцип предметности. Для того, чтобы нечто сказать об объекте, н

Построение формализованного языка.
1. Задается алфавит, т. е. исходные символы: а) нелогические символы б) логические символы в) вспомогательные, технические символы 2. Задаются правила образовани

Алфавит
а) нелогические символы - имена - a, b, c, d, a1... - параметры для предикатов P, Q, R, S...(с верхними и нижними индексами: верхний индекс - местность, нижний индекс - чтоб буквы

Правила построения языковых выражений
а) Термы - аналоги имен или именных форм. - всякая предметная константа является термой (пр. Аристотель) - всякая предметная переменная является термой (пр, x)

Построение логической теории.
  1. Построение формализованного языка. 2. Указать возможные интерпретации для нелогических символов. 3. Задать точное знач

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