Импликацию часто по-другому называют "Следование".
Т.е. из выражения a следует выражение b.
Основные правила импликации, где 0 - ложь, 1 - истина.
Импликация ложна тогда и только тогда, когда из истины следует ложь.
А теперь так, как когда-то объясняли мне:
1) 1->1 = 1
Из истины следует истина. То есть из истинного факта (а) следует (или же мы делаем) справедливый истинный вывод(b). Все в порядке. Справедливо. Получаем 1 (истину) после операции импикации.
2) 0->1 = 1
Из неправильного высказывания (a) мы делаем правильный вывод(b). С этим тоже все в порядке, множество научных открытий делалось по принципу "из ошибочного суждения - верная теория". Бывает. Справедливо. Получаем истину.
3) 0->0 = 1
Из ложного высказывания (a) - ложные "выводы"(b) , тоже все в порядке. Логично, что из одной "лжи", у нас вторая "ложь". Справедливо. Получаем иситну.
4) 1->0 = 0
Из истинного высказывания (a) получаем ложное высказывание (b). Т.е. мы взяли и переврали истину непонятно как. Нехорошо и не справедливо. Получаем ложь:(
Если остались вопросы, или вообще никак не помогла - в комментарии:)
Ответ:
var
a:integer;
b,c:string;
begin
writeln('--------------------------');
writeln('---Программа знакомства---');
writeln('--------------------------');
writeln('Я персональный ЭВМ,');
writeln('А как зовут тебя?');
readln(b);
writeln('Сколько тебе лет?');
readln(a);
writeln('В каком классе ты учишься?');
readln(c);// цифра и буква
writeln('Рада познакомиться с тобой, '+b);
writeln('Молодец, в '+a+' лет написал такую программу!');
writeln('В твоём '+c+' классе все такие?');
end.
при n = 2:
по началу i равен одному, а S нулю. Далее i <= n, то есть 1 <= 2, ответ да. К S прибавляется i, и S будет равен одному. Еще к i прибавляется 2, и i становится тройкой. Возвращаемся к началу алгоритма, но с новыми значениями, i у нас равен трем, а S равен одному. Далее проверяется условие i <= n, то есть 3<=2. Ответ нет, и выводится ответ S. А S равен однерке.
Ответ: 1
Var n,i:integer;
begin
n:=0;
for i:=1 to 4 do
n:=n+i;
writeln(n);
readln;
<span>end.</span>