|
|
Регистрация Восстановить пароль |
Повторная активизация e-mail |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
|
Опции темы | Поиск в этой теме |
05.11.2018, 13:12 | #1 |
Пользователь
Регистрация: 27.10.2018
Сообщений: 10
|
Правило импликации
Здравствуйте, помогите сформулировать или найти "правило" импликации. Например, для конъюнкции правило такое: результат - истина, если оба операнда -истина. А для импликация найти не могу. СПС.
|
05.11.2018, 13:16 | #2 |
Пользователь
Регистрация: 27.10.2018
Сообщений: 10
|
У меня получилось: результат - истина, если операнды одинаковы или второй операнд - истина. Верно ли это?
|
05.11.2018, 13:18 | #3 |
Старожил
Регистрация: 17.11.2010
Сообщений: 18,922
|
Если бы архитекторы строили здания так, как программисты пишут программы, то первый залетевший дятел разрушил бы цивилизацию
|
05.11.2018, 13:55 | #4 | |
Пользователь
Регистрация: 27.10.2018
Сообщений: 10
|
Цитата:
|
|
05.11.2018, 13:58 | #5 |
Старожил
Регистрация: 12.11.2010
Сообщений: 8,568
|
Из головы.
Импликация (следование) даёт ЛОЖЬ только тогда, когда первый операнд истина, а второй ложь, то есть, 1→0. Импликация может быть заменена дизъюнкцией отрицанием первого операнда и второго операнда без отрицания, то есть (НЕ x) ИЛИ y. |
05.11.2018, 13:59 | #6 | |
Старожил
Регистрация: 17.11.2010
Сообщений: 18,922
|
Что нужно запоминать тебе видней. Мне больше нравится:
Цитата:
Если бы архитекторы строили здания так, как программисты пишут программы, то первый залетевший дятел разрушил бы цивилизацию
|
|
Опции темы | Поиск в этой теме |
Похожие темы | ||||
Тема | Автор | Раздел | Ответов | Последнее сообщение |
правило Саррюса (правило треугольников) C++ или Delphi | carrie bradshaw | Помощь студентам | 6 | 28.04.2014 23:36 |
Сработает ли правило? | BelleD | Помощь студентам | 2 | 20.12.2012 01:11 |
футбольное правило | artush1984 | Свободное общение | 14 | 29.05.2012 16:50 |
Правило Лопиталя... | Sota | Свободное общение | 3 | 03.05.2008 12:30 |