04 классическая логика предикатов
Upcoming SlideShare
Loading in...5
×
 

04 классическая логика предикатов

on

  • 1,818 views

 

Statistics

Views

Total Views
1,818
Views on SlideShare
1,818
Embed Views
0

Actions

Likes
1
Downloads
49
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

04 классическая логика предикатов 04 классическая логика предикатов Presentation Transcript

  • ГОРБАТОВА Ю.В. ГОРБАТОВ В.В. Классическая логика предикатов
  • Содержание Язык КЛП Синтаксис КЛП Семантика КЛП Основные законы КЛП
  • Что такое логика предикатов? КЛП – это теория, изучающая логическую форму не только сложных, но и простых суждений В КЛП значение простого суждения есть функция от значений входящих в него имен Б.Рассел (1872- 1970)
  • I. Язык КЛП Нелогические символы: a, b, c … – предметные константы x, y, z … – предметные переменные f, g, h ... – функторы P, Q, R, S ... – (нелогические) предикаторы
  • I. Язык КЛП Логические символы: = – предикатор равенства ∀, ∃ – кванторы ¬, &, V, V, ⊃, ≡ – пропозициональные связки ( , ) – скобки
  • Кванторы Логику предикатов вообще часто называют «теорией квантификации» Кванторы позволяют формализовать количественную характеристику высказываний Квантор общности («все», «каждый») Квантор существования («существует», «некоторый») A Ell xist A E
  • Определение правильно построенного терма (1) Всякая предметная константа является ппт; (2) Всякая предметная переменная является ппт; (3) если t – ппт, а Ф – предметный функтор, то Ф(t) также является ппт; (4) ничто другое не является ппт.
  • Определение правильно построенной формулы (1) Если t – терм, а П – предикатор, то П(t) является ппф; (2) Если А – ппф, а α – предметная переменная, то ∀αА и ∃αА являются ппф; (3) Если А и В – ппф, то ¬А, А&В, АVВ, АVВ, А⊃В и А≡В являются ппф; (4) ничто другое не является ппф.
  • Какие из этих выражений являются правильно построенными формулами? 1. P(∀x ⊃ ¬f(x)) 2. ∀¬x(P(x) & Q(y)) ∃y 3. ∀x∃y(Q(x) & P(y)) 4. ∀∃x(Q(x) ⊃) 5. ∃x(P(x) ⊃ ∀y Q(x))
  • Пример формализации Примем обозначения: a – Ромео b – Джульетта f( ) – отец (кого-то) P( ) – храбрец (кто-то) R( , ) – любит (кто-то кого-то)
  • Пример формализации Запишите на языке КЛП: Ромео храбр и любит Джульетту P(a) & R(a,b) Отец Джульетты не любит Ромео ¬R(f(b),a) Не все любят своего отца ¬∀xR(x,f(x))
  • Пример формализации Некоторые храбрецы любят Джульетту ∃x (P(x) & R(x,b)) Джульетта любит только храбрецов ∀x (R(b,x) ⊃ P(x)) Ромео не любит всех тех, кого любит Джульетта ∀x (R(b,x) ⊃ ¬R(a,x))
  • КЛАССИЧЕСКОЙ ЛОГИКИ ПРЕДИКАТОВ II.Основные синтаксические понятия
  • Область В формулах вида ∀αА и ∃αА формула А называется областью действия квантора ( или )∃ ∀ по переменной α.
  • Переменные Вхождение предметной переменной в некоторую формулу называется связанным, если оно следует непосредственно за квантором или же находится в области действия квантора по данной переменной. В противном случае вхождение переменной называется свободным. Предметная переменная называется свободной в некоторой формуле, если существует по крайней мере одно ее свободное вхождение в эту формулу. Переменная называется связанной в формуле, если существует по крайней мере одно ее связанное вхождение в эту формулу.
  • Термы Местность терма есть число входящих в него различных предметных переменных. Терм, не содержащий в своем составе предметных переменных, называется замкнутым.
  • Формулы Местность формулы есть число входящих в нее различных свободных предметных переменных. Формула, не содержащая свободных переменных, называется замкнутой. Замкнутые формулы есть предложения.
  • ∀x(P(x,y)) yQ(y,z,x)⊃∃ ∃x( yQ(y) R(x,y)) ( zQ(z) R(z,x))∀ ⊃ ∨ ∀ ∨ Определите, какие переменные являются свободными и какие связанными в формуле:
  • III. Семантика КЛП Символы Значение Предм. константы и переменные Отдельные предметы Функторы Предметно-предметные функции Предикаты Предметно-истинностные функции Связки Истинностно-истинностные функции
  • «Ромео», «Джульетта» и др. a b х
  • «Отец» a b c d Кто отец а? – d Кто отец b? – c
  • «Храбрец» a b 0 1 Храбрец ли b? – Нет Храбрец ли a? – Да
  • «Любит» 1 a b c d 0 b любит c? – Да а любит d? – Нет
  • III. Основные законы КЛП Закон подчинения ∀αA ⊃ ∃αA Закон непротиворечия ¬(∀αA & ∀α¬A) Закон непустоты предметной области ∃αA ∨ ∃α¬A
  • III. Основные законы КЛП Законы отрицания кванторов ¬∀αA ≡ ∃α¬A Если не все вороны черные, то некоторые вороны – не черные ¬∃αA ≡ ∀α¬A Если не существует крылатых лошадей, то все лошади являются бескрылыми
  • III. Основные законы КЛП Законы перестановки кванторов ∀α∀βA ≡ ∀β∀αA Если каждый знает всё, то всё известно каждому ∃α∃βA ≡ ∃β∃αA Если кто-то кому-то завидует, то кому-то завидует кто-то
  • III. Основные законы КЛП Законы перестановки кванторов ∃α∀βA ⊃ ∀β∃αA Если кто-то любит всех, то каждого любит кто-то ∀β∃αA ⊃ ∃α∀βA
  • III. Основные законы КЛП Законы дистрибутивности кванторов ∀α(A&B) ≡ (∀αA & ∀αB) ∃α(A&B) ⊃ (∃αA & ∃αB) (∀αA ∨ ∀αB) ⊃ ∀α(A∨B) ∃α(A∨B) ≡ (∃αA ∨ ∃αB) ∀α(A⊃B) ⊃ (∀αA ⊃ ∀αB) (∃αA ⊃ ∃αB) ⊃ ∃α(A⊃B)