вызвать определенные последствия
Есть две такие стрелочки, → и ⇒ , импликация и следствие.
В курсах логики подчеркивается, что это РАЗНОЕ, но я почему-то всё время пропускал, чем же они связаны.
Пусть есть предикаты P и Q, зависящие от какого-то x. Например, ЧЕЛОВЕК(x), СМЕРТЕН(x), СОКРАТ(x).
Тогда то, что из P(x) следует Q(x) записывается через импликацию так:
∀x: P(x)→Q(x)
Для импликации дают запоминать вот такую таблицу:
0→0 = 1
0→1 = 1
1→0 = 0
1→1 = 1
Можно запомнить так: (x→y) эквивалентно (x ≤ y). Отсюда сразу видна транзитивность импликации, так как операция (≤) транзитивна.
Задачка для школьников (решается на листочке бумаги, или в уме, если легко складываете двузначные числа):
( Collapse )
В курсах логики подчеркивается, что это РАЗНОЕ, но я почему-то всё время пропускал, чем же они связаны.
Пусть есть предикаты P и Q, зависящие от какого-то x. Например, ЧЕЛОВЕК(x), СМЕРТЕН(x), СОКРАТ(x).
Тогда то, что из P(x) следует Q(x) записывается через импликацию так:
∀x: P(x)→Q(x)
Для импликации дают запоминать вот такую таблицу:
0→0 = 1
0→1 = 1
1→0 = 0
1→1 = 1
Можно запомнить так: (x→y) эквивалентно (x ≤ y). Отсюда сразу видна транзитивность импликации, так как операция (≤) транзитивна.
Задачка для школьников (решается на листочке бумаги, или в уме, если легко складываете двузначные числа):
( Collapse )
