|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Igor Krassikov 2:463/59.1 22 Jan 2002 22:57:00
To : Konstantin Osmehin
Subject : Re: Логика высказываний
--------------------------------------------------------------------------------
21 Jan 02, Konstantin Osmehin ==. Konstantin Osmehin:
KO> может немного оффтопик, но скажите как следующее предложение перевести
KO> в формулу на языке высказываний: "Если 'a', то 'b', если только не
KO> 'c'"
Давай прикинем. Если a==0, то может быть что угодно - выражение не определено.
Ты ничего об этом не говоришь. Пусть для определенности оно истинно (так /потом/
будет проще).
Теперь a==1. Тогда выражение превращается в
если с==1 - то b.
если c==0 - то вроде как опять же ничего конкретного не сказано - сказано
только, что будет, если c == 1. Опять же простоты для считаем, что выражение при
этом истинно. Тогда выражение ложно только в одном случае - когда a==1, b==0 и
c==1. Т.е. равно !(a && !b && c) == !a || b || !c.
Табличку бы нарисовать, но облом возиться с псевдографикой - так что
попробуй сам...
Что касается предположения, что везде, где ничего не известно, выражение
истинно - доопредели, тогда и поговорим :-)
Best regards.
Igor
(kiv@kiv.kiev.ua)
22 Jan 02 21:57
--- That's all
* Origin: KIV ~&C[++!]o (FidoNet 2:463/59.1)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
