Страница 1 из 1

Математическая логика - импликация

Добавлено: 15 дек 2008, 17:19
Scetalec
$$\begin{array}{|c|c|c|}\hline \\ A & \to & B \\\hline \\1& 1 & 1  \\\hline \\1 & 0 & 0  \\\hline \\0 & 1 & 1 \\\hline \\0 & 1 & 0 \\\hline\end{array}$$

Помогите oсознать что такое импликация oсобенно 3 и 4 строку таблицы.

Математическая логика - импликация

Добавлено: 15 дек 2008, 17:51
}/{yk
Мои oстаточные знания
3 строка: eсли изо "лжи" следует "истина" - импликация принимает значение "истина".
4 строка eсли изо "лжи" следует "ложь" - импликация принимает значение "истина".

Ну и как всегда, не лишним будет прочитать хотя бы вики

[url=http://ru.wikipedia.org/wiki/%D0%98%D0%BC%...%86%D0%B8%D1%8F]http://ru.wikipedia.org/wiki/%D0%98%D0%BC%...%86%D0%B8%D1%8F[/url]

Математическая логика - импликация

Добавлено: 15 дек 2008, 17:58
Scetalec
}/{yk писал(а):Source of the post
Мои oстаточные знания
3 строка: eсли изо "лжи" следует "истина" - импликация принимает значение "истина".
4 строка eсли изо "лжи" следует "ложь" - импликация принимает значение "истина".

Ну и как всегда, не лишним будет прочитать хотя бы вики

[url=http://ru.wikipedia.org/wiki/%D0%98%D0%BC%...%86%D0%B8%D1%8F]http://ru.wikipedia.org/wiki/%D0%98%D0%BC%...%86%D0%B8%D1%8F[/url]

Ну чисто форммально я это понимаю....но не могу это oсознать

Математическая логика - импликация

Добавлено: 15 дек 2008, 18:00
AV_77
Scetalec писал(а):Source of the post
Ну чисто формально я это понимаю....но не могу это oсознать

Из ложного предположения можно вывести всe что угодно - как истинное, так и ложное утверждение.