Импликация — бинарная логическая связка, по своему применению приближенная к союзам «если… то…».
Импликация записывается как посылка → следствие; применяются также стрелки другой формы и направленные в другую сторону (остриё всегда указывает на следствие).
Суждение, выражаемое импликацией, выражается также следующими
Посылка является условием, достаточным для выполнения следствия;
Следствие является условием, необходимым для истинности посылки.
Переменные могут принимать значения из множества {0,1} . Результат также принадлежит множеству {0,1}. Вычисление результата производится по простому правилу, либо по таблице истинности. Вместо значений 0, 1 может использоваться любая другая пара подходящих символов, например false, true или F, T или "ложь", "истина".
Правило: результат равен 1, если все операнды равны 1; во всех остальных случаях результат равен 0.
Таблицы истинности:
прямая импликация (от a к b)
a
b
a→b
0
0
1
0
1
1
1
0
0
1
1
1
«Житейский» смысл импликации. Для более лёгкого понимания смысла прямой импликации и запоминания ее таблицы истинности может пригодиться житейская модель: А — начальник. Он может приказать «работай» (1) или сказать «делай что хочешь» (0). В — подчиненный. Он может работать (1) или бездельничать (0). В таком случае импликация — не что иное, как послушание подчиненного начальнику. По таблице истинности легко проверить, что послушания нет только тогда, когда начальник приказывает работать, а подчиненный бездельничает.
обратная импликация (от b к a)
a
b
a←b
0
0
1
0
1
0
1
0
1
1
1
1
Oбратная импликация — отрицание (негация, инверсия) обнаружения увеличения (перехода от 0 к 1, инкремента)
отрицание (инверсия, негация) обратной импликации
Поделитесь своими знаниями, ответьте на вопрос:
Var
f:text;
S,n,k,d:integer;
Begin
Assign(f,'TextIn.txt');
Reset(f);
Read(f,n);
k:=0;
For n:= 1 to n do
Begin
S:=0;
d:=n div 2;
While d<>0 do
Begin
if n mod d = 0 then S:=S+d;
d:=d-1
End;
if S = n then
Begin
WriteLn(n);
k:=k+1
End
End;
Close(f);
Assign(f,'TextOut.txt');
ReWrite(f);
Write(f,k);
Close(f);
ReadLn;
End.
Для правильной работы программы необходимо, чтобы эти файлы лежали в папке с программой: