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

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

Докажите, что если в формуле логики предикатов поменять местами два рядом стоящих одноименных квантора, то полученная формула будет равносильна исходной.

Читайте также:
  1. www.profile.ru / РЕФЕРЕНДУМ О ПЕНСИИ: Что будет с пенсионной системой страны?, 21.01.2013
  2. Алгебра логики (логические операции, таблицы истинности, основные соотношения алгебры логики)
  3. Аллах знает обо всем, что происходило, происходит и будет происходить в подробностях.
  4. Аналитико-табличный метод в логике предикатов
  5. Аналитико-табличный метод в логике предикатов.
  6. Важное примечание: бумага, карандаши, угольники и линейка должны быть обязательно на каждом занятии! А без чертежной доски и рейсшины обойтись будет очень трудно!
  7. Власть узкой группы лиц в государстве, полученная на основе происхождения, богатство: Олигархия
  8. Внутреннее трение. Формула Ньютона. Коэффициент внутреннего трения.
  9. Вопрос 2: Сущность начисления процентов по простым процентным ставкам. Формула простых процентов. Понятие наращенной суммы и коэффициента наращения.
  10. Вопрос 5: Сущность дисконтирования. Понятие современной (текущей стоимости). Формула дисконтирования по простым процентным ставкам.

Задача №6.

Решение:

Пусть мы имеем предикат P(x1, x2…, xn). Он может быть: тождественно ложным, тождественно ложным, выполнимым или опровержимым. Рассмотрим 2 случая по 2 варианта в каждом:

1) P(x1, x2…, xn) – тождественно истинный или опровержимый.

а) если P(x1, x2…, xn) – тождественно истинный, то λ[( xi)(P(x1, x2…, xn))]=1, λ[( xj)(P(x1, x2…, xn))]=1=>

=>λ[( xj)( xi)(P(x1, x2…, xn))]=1, λ[( xj)( xi)(P(x1, x2…, xn))]=1 =>

=> ( xi)( xj)(P(x1, x2…, xn)) 1 ( xj)( xi)(P(x1, x2…, xn))

б)если P(x1, x2…, xn) – опровержимый, то λ[( xi)(P(x1, x2…, xn))]=0, λ[( xj)(P(x1, x2…, xn))]=0 =>

=>λ[( xj)( xi)(P(x1, x2…, xn))]=0, λ[( xj)( xi)(P(x1, x2…, xn))]=0 =>

=> ( xi)( xj)(P(x1, x2…, xn)) 1 ( xj)( xi)(P(x1, x2…, xn))

2) P(x1, x2…, xn) – тождественно ложный или выполнимый.

а) если P(x1, x2…, xn) – тождественно ложный, то λ[( xi)(P(x1, x2…, xn))]=0, λ[( xj)(P(x1, x2…, xn))]=0=>

=>λ[( xj)( xi)(P(x1, x2…, xn))]=0, λ[( xj)( xi)(P(x1, x2…, xn))]=0 =>

=> ( xi)( xj)(P(x1, x2…, xn)) 1 ( xj)( xi)(P(x1, x2…, xn))

б)если P(x1, x2…, xn) – выполнимый, то λ[( xi)(P(x1, x2…, xn))]=1, λ[( xj)(P(x1, x2…, xn))]=1 =>

=>λ[( xj)( xi)(P(x1, x2…, xn))]=1, λ[( xj)( xi)(P(x1, x2…, xn))]=1 =>

=> ( xi)( xj)(P(x1, x2…, xn)) 1 ( xj)( xi)(P(x1, x2…, xn))

Мы рассмотрели все возможные случаи и для каждого из них доказали, что если в формуле логики предикатов поменять местами два рядом стоящих одноименных квантора, то полученная формула будет равносильна исходной. А т.к. это справедливо для всех возможных случаев, правило можно обобщить на все случаи, т.е. на любой предикат и любые два одноимённых квантора:

( xi)( xj)(P(x1, x2…, xn)) 1 ( xj)( xi)(P(x1, x2…, xn))

( xi)( xj)(P(x1, x2…, xn)) 1 ( xj)( xi)(P(x1, x2…, xn))

(Хотя вообще-то это законы коммутативности)

Задача №7.

Постройте релейно-контактную схему с заданной функцией проводимости: x' (yz' vx(tyvz(xvy')))

Решение:

Как мы знаем, выражение типа x v y означает, что в схеме x и y соединены параллельно, а выражение типа xy означает, что x и y соединены последовательно. Исходя из этого по функции проводимости видно, что:

1) xиy' соединены параллельно

2) z и (xvy') соединены последовательно

3) t и y соединены последовательно

4) ty и z(xvy') соединены параллельно

5)x и tyvz(xvy') соединены последовательно

6)y и z' соединены последовательно

7)yz' и x(tyvz(xvy')) соединены параллельно

8)x' и yz' vx(tyvz(xvy')) соединены последовательно

Исходя из всего вышесказанного, построим контактно-релейную схему с заданной проводимостью:

 

y
x
y’
x’
z’
y
x
z
t


 

Задача №8.

Доказать, что следующие функции примитивно рекурсивны:

a) f(x)=x+n;

б) f(х, у)=х+у;

в) f(х, у)=х! (здесь 0! = 1).

Функция примитивно рекурсивна, если она может быть получена из простейших функций: O(x)=0;S(x)=x+1; (x1,…,xn)=xm; с помощью конечного числа применений суперпозиции и примитивной рекурсии.

Функция, полученная суперпозицией примитивно рекурсивных функций, сама примитивно рекурсивна.

Решение:

а) f(x)=x+n;n (1, );

x+1=S(x),

x+2=S(S(x)), обозначим S2(x),

x+3=S(S(S(x))), обозначим S3(x)

Тогда:

f(x) = x+n = S(S(…S(S(x))…)) = Sn(x), т.е.исходная функция получена с помощью n-кратной суперпозиции S(x). А функция, полученная суперпозицией примитивно рекурсивных функций, сама примитивно рекурсивна.

 

б) f(x,y)=x+y;

К ней можно применить операцию примитивной рекурсии, т.е функцию f(x,y), которая здесь двухместна, можно получить из одноместной F и трехместной G, где F и G – либо простейшие, либо примитивно рекурсивные, чтобы выполнялось:

f(x,y=0) = F(x);

f(x,y+1)=G(x,y,f(x,y));

Отсюда:

f(x,0)=x+0=x= (x);

f(x,y+1)=x+(y+1)=(x+y)+1=f(x,y)+1=S(f(x,y));

Т.е исходная функция может быть получена из и S; где и S – простейшие, следовательно – исходная функция примитивно рекурсивна.

 

в) f(x)=x! где 0!=1;

Данную функцию можно получить из простейших операцией примитивной рекурсии:

f(x=0) = F(0) (нульместная) = 0!=1=S(O(x)) – примитивно рекурсивна;

f(x+1) = G(x, f(x)) = x!(x+1) = f(x)*S(x);

Здесь функция G(u,v)=u*v, покажем, что она является примитивно рекурсивной, применив к ней операцию примитивной рекурсии:

G(u,v=0)=u*0=0=O(u);

G(u,v+1)=u*(v+1)=u*v+u=G(u,v)+ (u)=H(G, ) – примитивно рекурсивна (из предыдущего примера + суперпозиция), следовательно, G – примитивно рекурсивна,а следовательно и исходная функция также примитивно рекурсивна.

 


 

Задача №9.




Дата добавления: 2015-04-11; просмотров: 117 | Поможем написать вашу работу | Нарушение авторских прав

<== 1 ==> |


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