Главная | Обратная связь

Принцип резолюции для логики предикатов.

Если матрица формулы в результате приведения к виду ПНФ не будет содержать свободных переменных и сколемовских функций, то для вывода заключения полностью пpuменим алгоритм принципа резолюции, рассмотренный в исчислении высказываний. Этот алгоритм основывается на том, что если две формулы состоящие из дизъюнкции атомов (в дальнейшем такие формулы будем называть дизъюнктами ) связаны конъюнкцией, и в них имеются два одинаковых или приводимых к одинаковым (унифицируемых ) атома с разными знаками, то из них можно получить третий дизъюнкт , который будет логическим следствием первых двух, и в нем будут исключены эти два атома. Однако, если в результате приведения к виду ССФ аргументы атомов содержат сколемовские функции, то для поиска контрарных атомов необходимо выполнить подстановки термов вместо предметных переменных и получить новые формулы дизъюнктов, которые допускают их унификацию при формировании контрарных пар. Множество подстановок нужно формировать последовательно, просматривая каждый раз только одну предметную переменную.

Например, если даны два дизъюнкта (P₁(x)ÚùP₂(x)) и (ùP₁(f(x))ÚP₃(y)), то для получения контрарной пары атомов возможна подстановка

_xò^f(х)(P₁(x)ÚùP₂(x))=(P₁(f(x))ÚùP₂(f(x))) и

_xò^f(х)(ùP₁(f(x))ÚP₃(y))= (ùP₁(f(x))ÚP₃(y)).

В результате склеивания этих дизъюнктов может быть получена резольвента: (P₁(f(x))ÚùP₂(f(x)))Ú(ùP₁(f(x))ÚP₃(y))= (ùP₂(f(x))Ú P₃(y)).

Если пара дизъюнктов имеет вид (P₁(f₁(x))ÚùP₂(x)) и (ùP₁(f₂(x))ÚP₃(y)), то никакая подстановка не позволит сформировать резольвенту.

 

Пример: Даны две формулы P³(a;x;f(q(y))) и ùP³(z;f(z);f(u)).

Выполнить унификацию контрарных атомов.

1) _zò^a ùP³(z;f(z);f(u))=ùP³(a;f(a);f(u));

2) _xò^f(a) P3(a;x;f(q(y)))=P³(a;f(a);f(q(y)));

3) _uò^q(y) ùP³(a;f(a);f(u))=ùP³(a;f(a);f(q(y))).

В результате получены два контрарных атома: P³(a;f(a);f(q(y))) и ùP³(a;f(a);f(q(y))). Если в эти формулы атомов вместо предметной переменной y сделать подстановку предметной постояннойb, т.е.

_yò^bP³(a;f(a);f(q(y)))=P³(a;f(a);f(q(b))) и

_yò^bùP3(a;f(a);f(q(y)))= P³(a;f(a);f(q(b))),

то получим два контрарных высказывания.

Пример. Даны две формулы P³(x;a;f(q(a))) и ùP³(z;y;f(u)).

Выполнить унификацию контрарных формул.

1) _xò^bP³(x;a;f(q(a)))=P³(b;a;f(q(a)));

2) _yò^aù P³(z;y;f(u))=ùP³(z;a;f(u));

3) _yò^aùP³(z;a;f(u))=ùP³(b;a;f(u));

_{4) u}ò^q(a)ùP³(b;a;f(u))=ùP³(b;a;f(q(a))).

В результате получены две контрарных формулы: P³(b;a;f(q(a))) и ùP³(b;a;f(q(a))).

Пример: Существуют студенты, которые любят всех преподавателей. Ни один из студентов не любит невежд. Следовательно, ни один из преподавателей не является невеждой. [1]

Пусть P₁(x):=” x – студент”, P₂(y):=”y – преподаватель”, P²₃(x, y):=”x любит y”, P₄(y):=”y - невежда”.

Формулы этого суждение имеют вид:

$_x(P₁(x)&"_y(P₂ (y)®P²₃(x; y)));

"_x(P₁(x) ®"_y(P₄ (y)®ùP²₃(x; y)));

"_y(P₂ (y)®ùP₄(y));

· Преобразовать посылки и отрицание заключения в ССФ:

1) F₁=$_x(P₁(x)&"_y(P₂ (y)®P²₃(x; y)))= $_x"_y(P₁(x)& (P₂ (y)®P²₃(x; y)))= "_y(P₁(a)& (P₂ (y)®P²₃(a; y)))= "_y(P₁(a)& (ùP₂ (y)ÚP²₃(a; y)));

M₁= P₁(a)&(ùP₂ (y)ÚP²₃(a; y));

2) F₂="_x(P₁(x) ®"_y(P₄ (y)®ùP²₃(x; y)))=

"_x"_y (P₁(x) ® (P₄ (y)®ùP²₃(x; y)))= "_x"_y (ùP₁(x)ÚùP₄ (y)ÚùP²₃(x; y)));

M₂=(ùP₁(x)ÚùP₄ (y)ÚùP²₃(x; y));

3) F3=ù"_y(P₂ (y)®ùP₄(y))= $_y(ù(ùP₂(y)ÚùP₄(y))= $_y(P₂(y) &P₄(y))=

P₂(b)&P₄(b);

M₃=P₂(b)&P₄(b).

· Выписать множество дизъюнктов:

K={P₁(a); (ùP₂ (y)ÚP²₃(a; y)); (ùP₁(x)ÚùP₄ (y)ÚùP²₃(x; y)); P₂(b); P₄(b)};

· Выполнить унификацию и формирование резольвент:

 

1) P₂(b) Ú _xò^b(ùP₂ (y)ÚP²₃(a; y))= P²₃(a; b);

2) P²₃(a; b)Ú_yò^b (ùP₁(x)ÚùP₄ (y)ÚùP²₃(x; y))= (ùP₁(x)ÚùP₄ (b));

3) (ùP₁(x)ÚùP₄ (b)) Ú P₁(a)= ùP₄ (b)

4) ùP₄ (b) ÚP₄ (b)= .

Пример 1.(Чень, Ли) Некоторые пациенты любят своих докторов. Ни один пациент не любит знахаря. Значит, ни один доктор — не знахарь.

Решение (этих же авторов). Переведем посылки и заключения на формальный язык:

F1 , $x(P(x) & "y(D(y) ) L(x, y))),

F2 , "x(P(x) ) "y(Q(y) ) L(x, y))),

G , "x(D(x) ) Q(x)).

Поскольку проверяемое утверждение имеет вид F1 & F2 ) G, после отрицания оно переходит в F1 & F2 & G. При приведении к предваренной форме ни один квантор $ не попадает после ", так что ни одной сколемовской функции не появляется. В итоге мы получаем следующие дизъюнкты:

(1) P(a)

(2) D(y) ∨ L(a, y) из F1,

(3) P(x) ∨ Q(y) ∨ L(x, y) из F2,

(4) D(b)

(5) Q(b) G.

Методом резолюций получается следующий вывод пустого дизъюнкта:

(6) L(a, b) резольвента (4) и (2)

(7) Q(y) ∨ L(a, y) резольвента (3) и (1)

(8) L(a, b) резольвента (7) и (5)

(9)  резольвента (6) и (8).

Пример 2. Пусть дан текст:

"Полиция разыскала и установила личности всех въехавших в страну, за исключением дипломатов. Шпион въехал в страну, однако распознать личность шпиона может только шпион. Шпион не является дипломатом. Следовательно, среди полицейских имеется шпион."

Введем следующие предикаты:

ВЪЕХАЛ(x) : x въехал в страну.

ДИПЛОМАТ(x) : x является дипломатом.

ПОИСК(x,y) : x разыскал y.

ПОЛИЦИЯ(x) : x является полицейским.

ШПИОН(x) : x является шпионом.

Напишем теперь ППФ, которые соответствуют данному тексту.

______________ 1)("x)[ВЪЕХАЛ(x)ÙДИПЛОМАТ(x)®($y)(ПОИСК(y,x)ÙПОЛИЦИЯ(y))] (19)

(для всех x справедливо, что если не являющийся дипломатомx въехал в страну, то некоторый полицейскийy разыскал такого x).

2) ($x){ШПИОН(x)ÙВЪЕХАЛ(x)Ù[("y)ПОИСК(y,x)® ШПИОН(y)]}

(если существует шпион x, который въехал в страну, и некоторый y разыскал этого шпиона, то он сам является шпионом).

_______________

3) ("x)[ШПИОН(x)®ДИПЛОМАТ(x)]

(для всех x справедливо, что если x является шпионом, то он не является дипломатом.

ППФ описывающая проверяемое заключение выглядит следующим образом

4) ($x)[ШПИОН(x)ÙПОЛИЦИЯ(x)].

Преобразуем теперь эти формулы в клаузальную форму. Формула 1):

___________

("x)[ВЪЕХАЛ(x)ÚДИПЛОМАТ(x)Ú($y)(ПОИСК(y,x)ÙПОЛИЦИЯ(y))]

(убрали импликацию и применили закон де Моргана),

_________

[ВЪЕХАЛ(x)ÚДИПЛОМАТ(x)Ú(ПОИСК(f(x),x)ÙПОЛИЦИЯ(f(x)))]

(ввели сколемовскую функцию f(x) вместо связанной квантором существования переменнойy.

В результате первая ППФ даст два клауза

_________

(1) ВЪЕХАЛ(x)ÚДИПЛОМАТ(x)ÚПОИСК(_f(x),x),

___________

(2) ВЪЕХАЛ(x)ÚДИПЛОМАТ(x)ÚПОЛИЦИЯ(f(x)).

Рассмотрим формулу 2). Для начала избавимся от связки®.

___________

($x){(ШПИОН(x)ÙВЪЕХАЛ(x)Ù[($y)ПОИСК(y,x)Ú ШПИОН(y)]}

Квантор существования, который связывает переменную x, свидетельствует о том, что имеется конкретный объект (назовем его константой a), для которого истинны предикаты ВЪЕХАЛ(a) и ШПИОН(a). Чтобы избавиться от второго квантора существования, который связывает переменную y введем сколемовскую функцию. Тогда формула(2) даст три клауза:

(3) ШПИОН(a),

(4) ВЪЕХАЛ(a),

_____

(5) ПОИСК(f(x),x))Ú ШПИОН(f(x)).

Формула 3) преобразуется в следующий клауз:

__________ ______________

(6) ШПИОН(x) Ú ДИПЛОМАТ(x)

Отрицание формулы 4) даст клауз:

___________ _______________

(7) ШПИОН(x)Ú ПОЛИЦИЯ(f(x))

Выведем из этих 7 предложений ложное методом резолюции:

______________

(8) ДИПЛОМАТ(a) - резольвента (3) и (6) при подстановке {a/x},

(9) ДИПЛОМАТ(a)ÚПОЛИЦИЯ(f(a)) - резольвента (2) и (4) при {a/x},

(10) ПОЛИЦИЯ(f(a)) - резольвента (8) и (9),

(11) ДИПЛОМАТ(a)ÚПОИСК(f(a),a) - резольвента (1) и (4) при {a/x},

(12) ПОИСК(f(a),a) - резольвента (8) и (11),

(13)ШПИОН(f(a)) - резольвента (12) и (5) при {a/x},

(14) ПОЛИЦИЯ(f(a)) - резольвента (13) и (7) при {a/x},

(15) 0 - резольвента (14) и (10).

Таким образом, мы доказали, что из данного текста следует, вывод о наличии шпиона среди полицейских.

Пример 3. Известно, что отцом титанов, богов второго поколения, был Уран. Один из титанов Кронос был отцом олимпийского бога Зевса, который в свою очередь (по одному из вариантов мифа) был отцом Афродиты. Сдедовательно у Афродиты есть дед и он является богом.

Введем предикаты:

ТИТАН(x) - x является титаном.

БОГ(x) - x является богом.

ДЕД(x,y) - x является дедом y.

ОТЕЦ(x,y) - x является отцом y.

Запишем перечисленную выше информацию в форме ППФ:

("x)[ТИТАН(x)® ОТЕЦ(Уран,x)] (отцом титанов является Уран).

("x)[ТИТАН(x)® БОГ(x)] (титаны являются богами).

("x)("y)("z)[ОТЕЦ(x,y)Ù ОТЕЦ(y,z)® ДЕД(x,z)] (отец отца является дедом).

ТИТАН(Кронос) (Кронос является титаном).

ОТЕЦ(Кронос,Зевс) (отцом Зевса был Кронос).

ОТЕЦ(Зевс,Афродита) (отцом Афродиты был Зевс).

Наконец заключение, которое мы должны доказать выглядит следующим образом:

($x)[ДЕД(x,Aфродита)ÙБОГ(x)].

Эти ППФ преобразуются в следующее клаузальное множество:

__________

(1) ТИТАН(x)Ú ОТЕЦ(УРАН,x),

___________

(2) ТИТАН(x)Ú БОГ(x),

_________ _________

(3) ОТЕЦ(x,y)Ú ОТЕЦ(y,z)ÚДЕД(x,z),

________________ __________

(4) ДЕД(x,Aфродита)ÚБОГ(x),

(5) ТИТАН(Кронос),

(6) ОТЕЦ(Кронос,Зевс),

(7) ОТЕЦ(Зевс,Афродита).

Доказательство:

_________ _________________ ______

(8) ОТЕЦ(x,y)ÚОТЕЦ(y,Афродита)ÚБОГ(x) -резольвента (3) и (4) при{Афродита/z},

____________ ______

(9) ОТЕЦ(x,Зевс)Ú БОГ(x)- резольвента (7) и (8) при {Зевс/y},

_______________

(10) БОГ(КРОНОС) - резольвента (9) и (6) при {Кронос x},

_________________

(11) ТИТАН(КРОНОС)- резольвента (2) и (10) при {Кронос/x},

(12) 0- резольвента (5) и (11).

Дополнительно мы узнали в процессе доказательства нашей теоремы, что дедом Афродиты был Кронос.

 

 

1.6. Задания на практическую работу по логике высказываний

1.6.1.

Ниже приведены по три клаузы в одном варианте. Каждую клаузу необходимо доказать следующими методами: аксиоматическим, резолюций, и дедуктивным.

1. (А -> С) -> ( -А & В) =>А v В
2. A v D, В v Е, D -> С, D v С => А & С; Е & D; В
3. А -> В, С -> D, A v С, А -> (-D), С -> -В => (A v В) -> (А & В)
1. С -> A, B v C, B -> D, D -> A => A
2. D -> E, E -> C, A ~ D, B ~ C => A -> B
3. A v B, A -> B, B -> (C -> (-D)), A -> D => -(A & C)
1. (А & В) -> С => А -> (В->С)
2. A -> (В -> С), (С & D) -> E, -F -> (D & -Е) => A -> (B -> F)
3. (А & (В -> С)) ~ D, Е ~ (А & -(В v С)) => (D & -Е) ~ (А & С)
1. А -> (В -> -С), -А -> В, -А -> (-В -> С) => С; В
2. А, -В -> (А -> D), С -> (В -> Е), D -> (Е v -С) => С -> Е
3. -С, D -> С, А -> (-В -> D), В => А -> С
1. (A v C) ~ -(B v D) => -A~B; -C~D
2. А -> В, С -> D, B -> Е, D -> F, -(Е & F), А -> С => А
3. С -> (В -> А), -В -> D, С => A v D
1. -C, A v B => (B -> C) ->A (*)
2. А -> С, D -> F, В -> Е, -D -> -С, А -> В => А -> (Е & F)
3. А, В v С, С ~ D => (В -> -А) -> (В -> D)
1. А -> (С -> В), D -> А, С => D -> В
2. Е -> F, С -> (D -> Е), (А -> В) -> С => D -> (A v F)
3. –A ~ B, B -> C, -C ~ D => (C -> B) -> (D -> A)
1. А ~ В, С ~ D => (A v С) ~ (B v D)
2. А -> (В -> С), С -> (В -> -A), D -> А, А -> В => -D
3. А -> В, В -> D, D -> A, B v C, С -> D => D
1. А, В v С => А & В; С
2. С, (А -> В) -> (С -> А) => А
3. А -> (В v С), В -> (D -> А), С -> (В -> А), А -> (В -> С),
   D - > (A v В), D -> (А -> В), С -> (В v D), A v С v D,
   С -> (А -> В) => А & В & С; А & В & D
1. А, В -> С => А & -В; В & С
2. А -> (В & С), -В v D, (Е -> -F) -> -D, -В v (А & -Е) => В -> Е
3. A v B, A v C, A -> C, C -> (A -> D) => B v D.
1. А, В->С => (А -> -С) -> -В
2. А -> В, А ~ D, С ~ Е => (В -> С) -> (D -> Е)
3. А -> (С -> В), D -> А, С => D -> В
1. А -> (В -> С), А -> (В v С) => А -> С
2. А ~ -В, A v C, -(С & Е), В -> С, B v D, А -> Е => D ~ Е; -(С & D)
3. A, D -> С, В v (А -> D), В -> С => С
1. А ~ В, С ~ D => (А -> С) -> (В -> D)
2. A v С, С -> D, -(А & D), -(В & С), А -> В, А v В => А & В
3. Е -> D, С v Е, A v D, D -> -В => С & D; (Е & В) -> (Е -> А)
1. А, В -> С => А & -В; В & С
2. С -> (D -> Е), Е -> F => ((А -> В) -> С) -> (D -> (-А -> F))
3. А -> В, А ~ С, D ~ Е => (В -> D) -> (С -> Е)
1. (АТС) - (В v D), А ~ В => С -> -D
2. A -> (B v C), A v B, B ->A, B -> D => C v D
3. Е -> D, С v Е, A v D, D -> В, Е => А; В & Е; С & D
1. А -> В, В v С, С -> А, В -> С => А & В
2. E -> D, E ~ C, C ~ A, D ~ В => А -> В
3. A v B, B ~ C, C, D, A ~ D => A & B
1. А -> В, A v С, С -> В, D -> А => (В -> D) -> В
2. -D, Е => ((А & -В) -> С) ~ -D; Е ~ (А & (В -> С)
3. A v (В -> С), С -> (В -> А), А -> D => (A v В) -> D
1. -(А -> С) ~ (В -> D) => А ~ -В; -С ~ D
2. С -> (A v В), D -> (В v С) => A v В; -D
3. А -> D, A v С, D v Е, D -> В => (А & В) -> (А -> Е); С & D
1. A v С, А -> В, С -> В => А & В; В & С
2. А -> В, А -> С, D ~ E, D -> A, Е -> А, В -> Е, C -> D=> B ~ С
3. C -> (В -> А), С v D, D -> В, В v D => (D -> С) -> А
1. А, В v С => А & С; В & -С
2. А -> В, С -> D, (В & D) -> Е, Е, А => -С
3. А -> (В -> С), В v С v D => (А -> С) v D
1. A v В, А -> С => -А& В; С
2. (А -> В) -> (С -> D), (D -> F) -> Е => A v Е
3. A v C, С -> -D, А -> D, B v C => D -> (B & D)
1. A v В, C -> В, В -> А, A -> С => В & С
2. A -> С, -В ~ С, В v D, В -> А => D; А & С
3. A v В, D v E, D v C, D -> С => А & D; В; С & Е
1. А -> С, A v В, В -> D, D -> С => С
2. В v D, D -> В, С v D, D -> С, С -> (В -> А) => А
3. А -> В, A v D, С v Е, Е -> А => (В & Е) -> (Е -> D); А & С
1. (А & В) v (С & D), -А => С
2. С -> А => ((А & В) v С) ~ (А & (В v С))
3. D -> F, А -> (Е -> D), (С -> В) -> А => Е -> (С v F)

2. По вашему выбору для двух из трех клауз составьте легенды.

3. Ниже приведены легенды. Запишите с использованием 4—6 различных букв клаузу, отвечающую тексту или контексту вашей легенды, для чего сформулируйте необходимые посылки и два следствия: одно истинное, другое ложное.

1. В одной старой легенде рассказывается, что греческий драматург Софокл погиб при очень странных обстоятельствах. На его лысый череп орел сбросил камень, приняв его за яйцо. Если бы Софокл не сочинял трагедий, то он не уединялся бы в горах и остался бы жить до своей естественной кончины. Он мог сочинять свои трагедии в горах при наличии волос на голове или при отсутствии там этих странных птиц.

2. «Ты меня уважаешь?» — «Да». — «Тогда дай мне денег». — «Дав тебе денег, я перестану тебя уважать». — «Разве ты меня уважаешь из-за денег?» — «Нет, как художника». — «Ну, тогда тем более ты должен дать их мне». — «Я даю деньги тем, у кого они в принципе водятся. Ты же мне долг не вернешь». — «Я открою свое дело. Через год у меня будет состояние. Займи под проценты». — «Я тебе не верю, но помогу организовать выставку твоих картин». — «Хорошо, идет».

3. Современный футбол — это надежная защита, хорошая скорость, напористая атака и убедительная результативность. Матвеев мне результативность обеспечит, но голы он забивает только по вдохновению, когда складывается игра. Без Федотова такой игры не получится. Он видит поле, чувствует, где находиться, но бегать не может. Скорость команде сообщит Комаров, xoтя может развалить всю защиту. Попробовать Петрова в обороне, но в паре с Матвеевым он не играет. Квасов умеет блокировать бомбардировку противника, но левой у него не получается. Надо ставить Земерова, чтобы левый край прикрыл. Однако Земеров в последнее время точный пас отдать не может. Ну нет команды! Завтра встречу точно проиграем.

4. Мотоцикл я сначала не заметил, так как его заслонил бензовоз, а «Волга» вывернула из-за угла, когда «Жигули» были уже вблизи светофора. «Иномарка» проскочила на красный свет и явилась, как мне кажется, причиной всей этой аварии. Из-за нее «Волга» резко затормозила и мотоциклист оказался на асфальте. «Жигули», чтобы не задавить мотоциклиста, свернули на тротуар, а бензовоз в это время врезался в «Волгу». Если бы не было мотоцикла, то опасной ситуации тоже могло и не быть. Хотя виноват и водитель «Волги», поскольку он явно превысил скорость.

5. Если облака — это горы в небе и горы — это облака на земле, то гроза — это вулкан на небе и вулкан — это гроза на земле. Вулкан извергает пепел, а гроза — воду. Вулканический пепел и дождевая вода одинаково хорошо сказываются на урожайности полей. Урожай — это благо. Все благо — от Бога. Значит, пепел и вода, вулкан и гроза, горы и облака — от Бога.

6. «Я вижу, у Вас поднялось давление». — «Это последствие рыбалки, доктор». — «Рыбалка, напротив, должна успокаивать и укреплять здоровье». — «Верно, доктор, но я переволновался, так как ловил рыбу в запрещенном месте». — «Ай-ай-ай! Зачем же Вы на это пошли?» — «Там, где разрешено, доктор, рыбы нет». — «В таком случае рыбы много в магазине. Я же Вам прописал отдых на свежем воздухе». — «Хорошо, доктор, тогда завтра я пойду охотиться». — «Только, пожалуйста, голубчик, не стреляйте в зоопарке».

7. Ваня и Петя — братья-близнецы. Ваня с огромной скоростью улетел на ра­кете в космос, а Петя остался на неподвижной Земле. Теория относительности утверждает, что если лететь на большой скорости, то время замедляется, поэтому Петя состарится, а Ваня — нет. Эта же теория учит, что движение относительно: если Ваня движется относительно Пети, то Петя движется относительно Вани. Однако по теории почему-то именно Ваня, вернувшись из полета, будет моложе Пети. Вывод: теория относительности не свободна от противоречий.

8. Если усложнить схему устройства, то возрастет его производительность, а если использовать новую элементную базу, то увеличится период эксплуатации. Устройство начнут хорошо раскупать только при одновременном росте его производительности и периода эксплуатации. Но устройство не пользуется спросом.

9. Увеличение денег в обращении влечет за собой инфляцию. Но рост денежной массы происходит по двум причинам: из-за денежной эмиссии или сниже­ния товарооборота. Снижение товарооборота приводит к безработице и спаду производства. Из-за инфляции падает курс денежной единицы. Рекомендации экономиста Иванова: увеличить денежную эмиссию и поднять производство, тогда избежим безработицы и курс денежной единицы останется неизменным.

10. «Что собираешься делать, честолюбивый полководец?» — «Хочу завоевать Африку, мудрый философ». — «Предположим, Африку ты завоевал. Что дальше будешь делать?» — «Пойду походом на Индию». — «Допустим, и Индию ты покорил. Что потом?» — «Потом я уединюсь в своем саду и стану наслаждаться чтением книг. Хочу быть таким же мудрым как ты, философ». — «Почему бы тебе сразу же не отправиться в сад и не приняться за книги?» — «Так ведь ни Африки, ни Индии я еще не завоевал». — «Да,.ты прав, полководец. Я рассуждаю немудро, поскольку не учитываю твоего сегодняшнего честолюбия».

11. Чтобы сварить щи, нужны: капуста, свекла, картофель, лук, морковь и томаты. Свеклы и капусты в нашем магазине не оказалось. Все остальное я купила. Однако щи уже не получатся. Хорошо, тогда куплю огурцы и сметану, сделаю салат из огурцов, томатов и лука. Поджарю котлетки, отварю картошечку — второе у меня есть. Что приготовить на первое? Пожалуй, на говяжьих косточках неплоха будет домашняя лапша. А морковку я сейчас помою и отдам детям — пусть червячка заморят.

12. Любой марксист — диалектик, но не всякий диалектик — марксист. Любой марксист — материалист, но не всякий материалист — марксист. Гегель был диалектик, но не материалист. Фейербах был материалист, но не диалектик. Итак, если бы Гегель и Фейербах могли объединиться в один кружок, то Маркс уже не понадобился бы.

13. Преступник изготовит партию фальшивых денег, если у него имеются соответствующие материалы и работает станок. Эти два условия, к сожалению, выполняются. Однако фальшивые деньги не появятся, если хорошо работает милиция. Милиция же работает хорошо тогда и только тогда, когда каждый милиционер получает высокую зарплату. Увы, пока такой зарплаты нет, но есть высокая сознательность всех работников милиции.

14. «Надо завести собаку», — сказал старик. «Она не даст жить моей кошке», — сказала старуха. «Если не будет собаки, то я не смогу результативно охотиться и приносить в дом дичь». — «А если не будет моей кошечки, то в доме заведутся мыши, которые уничтожат все наши продовольственные запасы» «Согласен, старуха. Давай собаку я заведу, но держать ее буду во дворе». — « Кошечку во двор я пускать не буду».

15. Существуют две теории возникновения человека на земле - теория эволюции Дарвина и теория сотворения человека Господом Богом. Если справедлива теория эволюции, то самопроизвольное возникновение человека без соответствующих превращений живых организмов невозможно. Как доказали ученые, такие превращения действительно имели место. По теории же сотворения человек был слеплен из простой глины, а жизнь в него вдохнул Господь. Глины всегда было много, а насчет дыхания Бога тоже сомневаться не приходится, поскольку есть на то свидетельство Библии. Отсюда вывод — две названные теории друг другу не противоречат.

16. Человек, который решил свести счеты со своей жизнью, вряд ли будет за час до этого просматривать статистические данные по зерну за прошлый год. Сломанная герань только подчеркивает кем-то хорошо скрытые следы борьбы и насилия. Очень, конечно, странно, что дверь оказалась заперта изнутри, а вахтер ничего не заметил. Как же преступнику удалось выйти из помещения? И каковы, собственно, мотивы преступления? Такой тихий, скромный человек, ничего кроме семьи и работы его не интересовало. Правда, жена сообщила, она вчера вечером видела его в обществе двух подозрительных молодых людей. Да и вахтер утверждал, что примерно в течение получаса отлучался для обхода территории. Тем не менее не хватает какого-то звена в этой загадочной цепи событий, чтобы уверенно сказать — «самоубийство» кем-то старательно инсценировано.

17. Из утверждения «два плюс два равно пяти» следует, что я и папа римский — одно и то же лицо. В самом деле, если от обеих частей указанного paвенства отнять по двойке, то будет справедливо равенство «два равно трем». Если от обеих частей нового равенства отнять по единице, то будет справедливо равенство — «один равен двум». Один — это я, а двойка — это я и папа римский. Поско­льку верно, что «один равен двум», то я есть папа римский.

18. «Хочешь яблоко?» — «Яблоки я не ем после рыбы, а рыбу я не ем после борща. Борщ я сегодня не ел, но съел немного горохового супа. После него я съел кусочек жареного хека. Если я ем гороховый суп, то в этот день уже не буду отказываться от яблок, но при условии, что к столу не подавали салат. Итак, давай сюда яблоко».

19. Слепой и глухой пошли погулять. «Смотри, вдали озеро, значит, напьемся», — сказал глухой. «Ага», — сказал слепой. «Послушай, гремит гром, значит дождь собирается», — сказал слепой. «Ага», — сказал глухой. Глухой и слепой набрали воды и достали плащи. Все это видел и слышал немой. «Я им не компания», — подумал немой.

20. Сегодня посмотрю футбол, если трамвай не задержится. Трамвай не опоздал, но случилась другая беда: у меня не оказалось денег на билет. Рискну доехать «зайцем». В салоне оказался контролер, и я лихорадочно стал рыться по карманам. К моему счастью, нашелся один неиспользованный трамвайный талон. До компостера я добрался вовремя, хотя футбольный матч я так и не увидел: вместе с деньгами я дома оставил и билет на матч.

21. Если в одном месте что-то убудет, то в другом месте что-то прибудет — это истина, не требующая доказательства. Но есть такая теория, которая утверждает: где-то в далеком космосе существуют «черные дыры», куда все проваливается, но оттуда ничего не появляется. Эта теория ничего не говорит о существовании «белых дыр», которые действовали бы противоположно «черным». Один иностранный астрономический журнал сообщил координаты «черной дыры». Российский астроном Иванов направил туда свой мощный телескоп и ничего не обнаружил, "Так-так, — сказал Иванов, — но «белую дыру» я все же открою".

22. Если в цепи будет большой перепад напряжения, то сгорит предохранитель, что повлечет за собой необходимость его замены. При целом предохранителе телевизор, конечно, будет работать, но только если он включен в сеть питания. Если телевизор работает нормально, то я увижу сегодняшние «Новости». Итак, я смотрю телевизионные «Новости» при условии отсутствия перепада напряжения и подключения телевизора к сети питания.

23. «Иван Иваныч, можно?» — «Входи, Петров. Ну, сделал, что я тебя просил?» — «Видите ли... Если бы Вы немного прибавили...» — «Ты что, Петров! Сидоров за эту же работу берет в два раза меньше». — «Сидоров и сделал бы ее в два раза хуже. Я же работаю с личным клеймом. И потом, у меня семья — сами знаете». — «ладно, проси что хочешь, но денег у меня нет». — «А как сделаю, на рыбалку отпустите?» — «Договорились, только ты моего Вовку с собой возьми, а то он тут с какой-то подозрительной компанией спутался». — «Если с Вовкой, то на Вашей лодке». — «Вот хитрец! Хорошо, поедем все вместе. Мне тоже не мешало бы проветриться. Ты дело только сделай».

24. Уменьшение температуры приводит к снижению давления и уменьшению объема. Увеличение объема приводит к росту скорости потока. Повышение давления приводит к падению уровня, если при этом уменьшать температуру. Снижение скорости приводит к уменьшению давления или росту температуры. Технолог Иванов рассудил так: «Мне надо повысить давление при одновременном снижении скорости потока, поэтому я должен увеличить объем и температуру».

25. «В эти брезентовые штаны не пытайся влезть — в них ты смотришься как маляр». — «Но и это шерстяное платье я тоже не надену — оно на мне как на вешалке». — «Как насчет кожаного пиджака и юбки с разрезом?» — «У юбки заедает молнию, а пиджак вот здесь испачкан». — «Ну, это не беда; пятно прикроется сумкой». — «Да, пожалуй, ты права — сумку в любом случае брать нужно; она очень идет к моим любимым туфлям». — «Сломанную молнию заменит булавка, а ее прикроет пиджак». — «Хорошо, так и сделаем». — «Шерстяное платье одену я, если ты не возражаешь». — «Возражаю, надень уж лучше эти штаны».