7595

Класична логіка висловлювань

Лекция

Логика и философия

Класична логіка висловлювань. Характерні ознаки класичної логіки висловлювань (=пропозиційної логіки) такі: 1) В межах пропозиційної логіки розглядаються лише такі міркування, засновки і висновки яких складаються із дескриптивних висловлювань....

Украинкский

2013-01-26

56.5 KB

27 чел.

Класична логіка висловлювань.

Характерні ознаки класичної логіки  висловлювань (=пропозиційної логіки) такі:

1) В межах пропозиційної логіки розглядаються лише такі міркування, засновки і висновки яких складаються із дескриптивних висловлювань.

Основна мета дескриптивних висловлювань полягає в описі дійсності. В таких висловлюваннях стверджується або заперечується наявність певних фактичних ситуацій. У природній мові це, як правило, розповідні речення: "Логіка – це наука".

2) Пропозиційна логіка є двозначною логікою: будь яке висловлювання може бути або істинним або хибним, але не тим і іншим зразу. Якщо факт, який описується у висловлюванні має місце в дійсності, то таке висловлювання є істинне, якщо немає – то хибне. Слід мати на увазі, що в логіці немає засобів щоб встановити істинність чи хибність висловлювання. Якщо істинність і хибність не можна встановити взагалі (тобто за допомогою інших наук), то таке висловлювання не розглядається (наприклад: імперативні, наказові висловлювання, нісенітні твердження).

Істинність та хибність – це логічне значення висловлювання, або значення істинності. Принцип, у відповідності з яким висловлюванню приписують істинність або хибність, називається принципом двозначності.

3) В класичній логіці висловлювання повністю абстрагуються від смислового значення висловлювання, а розглядаються лише предметні значення. Кожне дескриптивне висловлювання, як і будь-який знак, маж предметне і смислове значення.

Предметним значенням або денотатом висловлювання є два логічні об'єкти (значення висловлювання): істина або хиба. Тобто вважається, що всі істинні висловлювання позначають такий абстрактний об'єкт, як істина, а всі хибні – такий абстрактний об'єкт, як хиба.

Смислове значення висловлювання – це те, що засвоюється людиною в процесі його розуміння, тобто певна думка, судження, яке міститься у висловлюванні. Інше визначення: смислове значення висловлювання – це те спільне значення двох висловлювань на різних мовах, яке існує при їх правильному перекладі на якусь мову.

4) В логіці висловлювань абстрагуються від внутрішньої структури простих висловлювань. Розглядається лише структура складних висловлювань. Тобто логіку висловлювань цікавить, як із простих висловлювань утворюються складні і як залежить значення істинності складного висловлювання від значень істинності його складників.

Мова пропозиційної логіки.

Для того, щоб аналізувати логічну структуру складних висловлювань створюється спеціальна мова – мова логіки висловлювань. Для того, щоб задати таку мову необхідно визначитись, по-перше, з алфавітом і з правилами творення.

Алфавіт мови логіки висловлювань складається із таких знакових засобів:

1) знаки пропозиційних змінних (позначаються маленькими літерами другої половини латинського алфавіту: p, q, r, s,…) – позначають прості висловлювання природної мови.

2) знаки логічних сполучників:

заперечення

~

кон'юнкція (читається "і")

 або  &

диз'юнкція (читається "або")

нестрога диз'юнкція (перше або друге або разом, "або")

 – строга диз'юнкція (або перше або друге але не разом, "або або")

імплікація (читається "якщо, тоді")

еквіваленція (тоді і тільки тоді, якщо і тільки якщо)

3) технічні знаки "("; ","; ")".

Правила творення:

1) Будь-яка пропозиційна змінна є формулою.

2) Якщо А – формула, то заперечення А – також формула

А – формула  А – формула

3) Якщо А і B – формули, тоді АB, AB, AB, AB, AB – також формула.

В формулі завжди можна визначити головний логічний сполучник або головний знак формули (те, що з'єднує всі складові в одну формулу). Крім того в структурі формули завжди можна визначити її підформули.

Наприклад: (pq)r

 Головний знак формули:

 Підформули:

 1) (pq)r

 2) pq

 3) r

 4) p

 5) q

Для перекладу висловлювання із природної мови на мову логіки необхідно виконати такі кроки:

1) проаналізувати складне висловлювання і виділити всі прості, які входять до його складу, а потім позначити кожне із простих висловлювань пропозиційною змінною;

2) виділити логічні сполучники і позначити їх відповідними символами;

3) записати формулу.

Наприклад: "Якщо на вулиці холодно, то ми підемо до бібліотеки, а якщо тепло, то ми підемо до парку або до театру".

В даній формулі 5 простих висловлювань:

 p "якщо на вулиці холодно"

 q "підемо до бібліотеки"

 r "якщо тепло"

 s "підемо до парку"

 t "підемо до театру".

Формула: (pq)  r(st)

Самостійно:

1. Хто мудрий – той добрий.

 p – є мудрий, q – є добрий. p  q

2. Хто вмер, але не забутий – той безсмертний.

 p – хто вмер, q – є незабутий, r – є безсмертний.   ( p & q )  r

3. Той розуміє юність, хто розуміє старість.

p – розуміє юність, q – розуміє старість.   p  q

4. Щире слово, добре діло душу і серце обігріло.

 p – щире слово душу обігріло, q – щире слово серце обігріло, r – добре діло душу обігріло, s – добре діло серце обігріло.

 p & q & r & s

5. Рис розсипав – ще збереш, а сказав слово – не вернеш.

Cемантика класичної логіки висловлювань.

Логічна семантика вивчає відношення між знаком і його значенням.

Для того, щоб побудувати семантику класичної логіки висловлювання, треба визначити із правилами інтерпретації, які будуть приписувати значення всім правильно побудованим виразам даної теорії (всім формулам).

Будь-яка змінна логіки висловлювань може мати значення "істина" або "хиба". Для визначення значень формул з логічними сполучниками використовуються спеціальні матриці, які називаються таблицями істинності; або можна використовувати аналітичні правила. Для того, щоб сформулювати аналітичні правила вводяться два індекси: T-істина, а F-хиба.

Аналітичні правила:

1) Якщо істинне заперечення висловлювання, то саме висловлювання хибне:

 TA = FA

2) Якщо хибне заперечення висловлювання, то саме висловлювання істинне:

 FA = TA

3) Формула з кон'юнкцією буде істинним, якщо його обидві підформули істинні:

 TAB TA, TB

4) Кон'юнкція хибна, якщо хоча б одна або обидві його підформули хибні:

 FAB FAFB

5) Диз'юнкція істинна, якщо хоча б одна або обидві його підформули істинні:

 TAB TATB

6) Диз'юнкція хибна, якщо обидві його підформули хибні:

 FAB FA, FB

7) Строга диз'юнкція істинна, якщо істинна підформула А і хибна підформула В або хибна підформула А і істинна підформула В:

 TAB TA,FBFA,TB

8) Строга диз'юнкція хибна, якщо обидві її підформули істинні або хибні:

 FAB TA,TBFA, FB

9) Імплікація істинна якщо підформула А хибна, а підформула В істинна:

 TAB FA,TB

10) Імплікація хибна, якщо підформула А істинна, і підформула В – хибна:

 FAB TA,FB

11) Еквіваленція істинна, якщо підформули А і В одночасно хибні або істинні (співпадає зі строгою диз'юнкцією, правило №8, тільки навпаки):

 TAB якщо TA,TBFA,FB

12) Еквіваленція істинна, якщо підформула А істинна і підформула В хибна, або хибна підформула А і підформула В істинна (співпадає зі строгою диз'юнкцією, правило №7, тільки навпаки):

 FAB якщо TA,FBFA,TB

Правила 1,2,3,6,10 називаються правилами без розподілу (стоїть кома). Інші є правилами з розподілом, і риска в них означає, що в подальшому необхідно враховувати якусь одну із можливостей.

Основні закони пропозиційної логіки.

Основне поняття логіки – це поняття логічного закону.

Логічний закон в класичній логіці висловлювань – це завжди істинна формула, тобто така формула, яка набуває значення істинності незалежно від значення змінних, які входять до її складу.

Крім логічних законів розрізняють ще логічне протиріччя і виконувані формули.

Логічне протиріччя – це завжди хибна формула, тобто ця формула набуває значення "хиба" не залежно від значення змінних, які входять до її складу.

Виконувані формули – можуть змінювати своє логічне значення в залежності від значень змінних, які входять до її складу.


 

А также другие работы, которые могут Вас заинтересовать

83866. Хирургическая анатомия пищевода. Операции на пищеводе 66.98 KB
  Хирургическая анатомия пищевода Отделы: шейный грудной и брюшной. Синтопия: Спереди пищевода лежат перстневидный хрящ и трахея; сзади позвоночник и длинные мышцы шеи: по бокам нижние полюсы боковых долей щитовидной железы и общие сонные артерии. Правый возвратный нерв проходит позади трахеи по боковой поверхности пищевода.
83867. Строение брюшной стенки – классификация мышц живота, кровоснабжение, иннервация. Формирование влагалища прямой мышцы живота. Лапаротомия 53.51 KB
  Мышечные пучки идут в поперечном направлении. Линия перехода мышечной части поперечной мышцы живота в сухожильное растяжение называется полулунной линией (linea semilunaris) или спигелиевой линией. Самые нижние мышечные пучки внутренней косой мышцы живота и поперечной мышцы живота, сопровождая семенной канатик, образуют мышцу, поднимающую яичко...
83868. Грыжа: определение, составные части грыжи, классификация грыж. Принципы операций при грыжах передней брюшной стенки, основные этапы операции 45.85 KB
  Принципы операций при грыжах передней брюшной стенки основные этапы операции. Наружные грыжи: 1 паховая грыжа косая и прямая; 2 бедренная грыжа; 3 грыжа белой линии живота; 4 пупочная грыжа; 5 грыжа спигелиевой полулунной линии; 6 поясничная грыжа; 7 запирательная грыжа; 8 послеоперационная грыжа. Внутренние грыжи: 1 грыжа двенадцатиперстнотощего кармана; 2 грыжа сальниковой сумки; 3 ретроцекальная грыжа; 4 различные виды диафрагмальных грыж. По клиническим признакам: 1 вправимые; 2 невправимые; 3 ущемленные: ущемление...
83869. Строение пахового канала. Складки и ямки задней поверхности передней брюшной стенки. Треугольники паховой области. Косая и прямая паховая грыжа 98.4 KB
  Стенки: 1 верхняя нижние пучки внутренней косой мышцы живота и поперечной мышцы живота; 2 передняя апоневроз наружной косой мышцы живота; 3 нижняя паховая связка утолщенный и загнутый в виде желобка нижний край апоневроза наружной косой мышцы живота; 4 задняя поперечная фасция. Поверхностное паховое кольцо образовано расходящимися медиальными и латеральными ножками апоневроза наружной косой мышцы живота скрепленными межножковыми волокнами закругляющими щель между ножками в кольцо; Глубокое паховое кольцо образовано поперечной...
83870. Способы пластики пахового канала при прямых и косых паховых грыжах 50.78 KB
  Способы укрепления передней стенки пахового каналапри косых грыжах Способ Мартынова Впереди семенного канатика подшивается к паховой связке медиальный лоскут наружной косой мышцы живота а латеральный поверх медиального. Способ Жирара Впереди семенного канатика узловыми капроновыми швами подшивают свободные края внутренней косой и поперечной мышц живота к паховой связке. Затем к связке подшивают медиальный лоскут апоневроза наружной косой мышцы живота и латеральный лоскут укладывают поверх медиального и подшивают рядом узловых швов....
83871. Строение бедренного канала. Бедренная грыжа. Операции при бедренной грыже. «Corona mortis» - формирование, тактика при ранении аномального анастомоза 134.64 KB
  Отверстия бедренного канала: внутреннее отверстие соответствует бедренному кольцу. Стенки бедренного канала: передняя поверхностный листок собственной фасцнн бедра в этом месте он носит название верхнего рога серповидного края и паховая связка задняя глубокий листок собственной фасции бедра в этом месте он носит название гребенчатой фасции: латеральная бедренная вена. Операции при бедренной грыже Способы пластики бедренных грыж можно разделить на две группы: 1способы закрытия грыжевых ворот со стороны бедра; 2способы закрытия...
83872. Хирургическое лечение пупочной грыжи, грыжи белой линии, послеоперационной вентральной грыжи 49.13 KB
  Способ Лексера Применяется чаще у детей при небольших пупочных грыжах: полулунный разрез кожи окаймляющий грыжевое выпячивание снизу; выделение грыжевого мешка вскрытие и вправление содержимого если дно грыжевого мешка интимно спаяно с пупком то выделяют шейку грыжевого мешка вскрывают ее и грыжевое содержимое вправляют в брюшную полость; прошивание шейки мешка нитью перевязка и отсечение мешка: закрытие грыжевых ворот под контролем указательного пальца введенного в пупочное кольцо на апоневроз вокруг кольца накладывают...
83873. Ущемлённая грыжа. Классификация грыж по клиническим признакам, виды ущемления. Хирургическое лечение 48.76 KB
  Классификация по клиническим признакам: 1 вправимые; 2 невправимые; 3 ущемленные: ущемление стенки кишки грыжа Рихтера встречается при узких грыжевых воротах например при пупочной грыже; ретроградное ущемление Wобразное при ущемлении двух и более кишечных петель кровообращение нарушается не только в петлях находящихся в грыжевом мешке но и в петлях находящихся в брюшной полости имеющих с выпавшими петлями общую брыжейку; 4скользящие грыжи грыжевой мешок представлен частично стенкой полого органа не покрытой...
83874. Развитие брюшины и органов пищеварительной системы. Дивертикул Меккеля. Подпечёночное расположение купола слепой кишки и червеобразного отростка 51.45 KB
  Подпечёночное расположение купола слепой кишки и червеобразного отростка. Поджелудочная железа закладывается на уровне двенадцатиперстной кишки и врастает между двумя листками дорсальной брыжейки. На 5й неделе внутриутробного развития начинаются ускоренный рост кишки и ее удлинение. В кишечной петле можно выделить два колена: верхнее нисходящее колено из которого в дальнейшем формируется двенадцатиперстная кишка тощая и большая часть подвздошной кишки; и нижнее восходящее колено из которого развивается конечный отдел подвздошной и вся...