13:58 

Мат. логика, секвенциальное исчисление высказываний.

ackisha
I have diary now. Diaries are cool!
Добрый день. Есть следующее задание:
Если известно, что секвенции `\Gamma \rightarrow\Delta_{1} A\Delta_{2}` и `\Sigma_{1} A\Sigma_{2}\rightarrow\Pi` — аксиомы, доказать, что выводима секвенция
`\Gamma\Sigma_{1}\Sigma_{2}\rightarrow\Delta_{1}\Delta_{2}\Pi`. (`\Gamma, \Delta_{1}, \Delta_{2}, \Sigma_{1}, \Sigma_{2}, \Pi` — списки формул, A — пропозициональная переменная)

Что у меня уже получилось сделать:
1 случай: Пусть B — формула, входящая в `\Gamma` и секвенция `\Gamma\rightarrow\Delta_{1} A\Delta_{2}` является аксиомой "из-за" B. Тогда если B входит в `\Gamma`, то B входит либо в `\Delta_{1}`, либо в `\Delta_{2}`, тогда интересующая нас секвенция `\Gamma\Sigma_{1}\Sigma_{2}\rightarrow\Delta_{1}\Delta_{2}\Pi` выводима. При этом секвенция `\Sigma_{1} A\Sigma{2}\rightarrow\Pi` может являться аксиомой как "из-за" A, так и "из-за" другой переменной, входящей либо в `\Sigma_{1}`, либо в `\Sigma_{2}`
2 случай: Аналогично 1-му случаю, только теперь известно, что вторая секвенция является аксиомой не "из-за" A.

Что у меня сделать не получается: Доказать выводимость `\Gamma\Sigma_{1}\Sigma_{2}\rightarrow\Delta_{1}\Delta_{2}\Pi`, если обе исходные секвенции являются аксиомами "из-за" A. Не знаю даже, с какой стороны подойти.
Заранее спасибо за помощь!

@темы: Математическая логика

05:29 

Yay! Yay! Mushroom.
Доброго времени суток)

Подскажите, пожалуйста, если по номеру отслеживания посылки со вторички из США, отправленной местной версией ускоренной почты, американский сайт пишет " Status Not Available. The tracking number may be incorrect or the status update is not yet available. Please verify your tracking number and try again later", а Почта России - "Неправильный трек-номер", значит ли это, что нужно связаться с продавцом? Насколько я понимаю, сегодня второй день с момента отправки посылки.

Заранее спасибо за ответ.

upd: ответ получен

@темы: Вопросы

23:28 

Кошка лижет под хвостом

Августа Злобина
Здравствуйте.
Сегодня вечером появилась проблема: кошка постоянно вылизывает под хвостом. Около анального отверстия покраснение и припухлость, а только что я заметила там немного желтоватого гноя (или это не гной? Какая-то желтоватая жидкость). В целом кошка, похоже, плохо себя чувствует, не игривая, всё время лежит, иногда начинает дрожать. Аппетит есть, воду пьет как обычно.
Кошке примерно 8 лет (точный возраст не знаю). Не стерилизована. Были запоры, сейчас уже нет, но кал до сих пор бывает твердым.
Завтра повезу к ветеринару, но хочется сейчас узнать, с чем это может быть связано.

@темы: Здоровье: Прочее

08:47 

Minimee Severus Snape

AugustMoon
It can't rain all the time...
Доброго времени суток, уважаемые сохоббитцы!
Приглашаем принять участие в коллективке на миними молодого Северуса Снейпа. Тема набора на BJDClub - Молодой Severus Snape, организатор - Lunatik, размер - SD, msd.
Набор от 10 шт. и более, ориентировочная цена 9 000 руб.

На данный момент готово превью головы:

читать дальше

Будем рады всем желающим!

@темы: Объявление, Мужчины, Коллективка, Йорик, SD, Minimee, MSD

02:04 

Майский день

LoverOfRoses
Сказки - наше всё


+ 1 фото

Вся история в дневнике

@темы: Фото, Мужчины, Женщины, Iplehouse

17:26 

Фоны - "Ревущие" 20-е (The Roaring Twenties)

*JT*
One dream is more powerful than a thousand realities


+ 25

Разные размеры! Без исходников!

Вопрос: And all that jazz!
1. *** 
35  (100%)
Всего: 35

@темы: Черный, Синий, Серый, Сделал сам, Розовый, Оранжевый, Красный, Коричневый, Зеленый, Желтый, Голубой, Белый

17:13 

Luthigern
Ник читается как Луигерн || If you're allergic to RENT then a part of you is a little dead inside (c) Rapp
Мои заолл - реальная и придуманная девочки - и их кот.


@темы: Фото, Женщины, SD, Dollmore

15:07 

Части кругов

wpoms.
Step by step ...


На прямой выбраны точки P, Q, R и S так, что PQ = RS (см. рис.). Отрезки PQ, RS, PS, QR - диаметры кругов. Прямая MN --- ось симметрии закрашенной области. Докажите, что площадь закрашенной области равна площади круга с диаметром MN.





@темы: Планиметрия

11:07 

Парковые макетики.

maha00
wow! skinheads — perfect! (c)
Миниатюрная Черри (от Солерс)
в миниатюрном городке



+1

больше фото в дневе http://maha00.diary.ru/p215501067.htm

@темы: Женщины, Авторская кукла

08:37 

Oliver Lynch
Профессор фэйлософии
Всем привет. В составе корма, который едят мои пираньи-коты входит свекла, один единственный из всей стаи (жертва местной селекции, где то рядом пробежал кто-то с окрасом, который любят вискасом называть) начал рыжеть. Никаких обнаруженных проблем со здоровьем нет, есть старая внутриутробная или родовая травма, но вот эта вот штука свидетельствует о чём то, о проблеме в организме, или просто нужно поменять корм (или вообще ничего менять не нужно)?

@темы: Содержание: Готовые корма, Здоровье: Шерсть и кожа

23:02 

Инацея Анацаци
Шел Шива по шоссе, сокрушая сущее©
Уважаемые сообщники! Я тут опять с вопросом.
Подскажите, пожалуйста, с чем матчатся нынешний нормал и pinky white skin Бимонга?
Хочется приобрести голову нарина, но не могу решить какой выбрать цвет, чтобы потом было проще подобрать тело.
А времени все меньше >_<

@темы: Вопросы

himera-chan

главная