импликация — бинарная логическая связка, по своему применению приближенная к союзам «если… то…».
импликация записывается как посылкаследствие; применяются также стрелки другой формы и направленные в другую сторону (остриё всегда указывает на следствие).
суждение, выражаемое импликацией, выражается также следующими способами:
посылка является условием, достаточным для выполнения следствия; следствие является условием, необходимым для истинности посылки. x={"студент сдаст хорошо сессию"} y={"папа купит ему машину"}. однако, это не совсем удачная иллюстрация, потому что как-то не близка к действительности. напомню, что x-> y == 0 только в том случае, если студент действительно хорошо сдал сессию, а папа машину ему не купил (наоборот, если студент сдал плохо, а папа купил ему машину, то папу лжецом уж точно не назовёшь).
Ответ дал: Гость
: знайти суму всіх натуральних чисел від 1 до п. program suma 2; var i, n, s: integer; begin writeln (‘ведіть кількість натуральних чисел: ’); write (‘n=’); readln (n);
: знайти суму всіх натуральних чисел від 1 до п. program suma 2; var i, n, s: integer; begin writeln (‘ведіть кількість натуральних чисел: ’); write (‘n=’); readln (n); i: =1; s: =0; repeat s: =s+i; i: =i+1; until i> n; writeln (‘s=’,s);
Популярные вопросы