Дана схема отношения ,заполни пропуск, выбрав верный ответ.

импликация  — бинарная логическая связка, по своему применению приближенная к союзам «если… то…».

импликация записывается как посылкаследствие; применяются также стрелки другой формы и направленные в другую сторону (остриё всегда указывает на следствие).

суждение, выражаемое импликацией, выражается также следующими способами:

посылка является условием, достаточным для выполнения следствия; следствие является условием, необходимым для истинности посылки.                        x={"студент сдаст хорошо сессию"} y={"папа купит ему машину"}. однако, это не совсем удачная иллюстрация, потому что как-то не близка к действительности. напомню, что x-> y == 0 только в том случае, если студент действительно хорошо сдал сессию, а папа машину ему не купил (наоборот, если студент сдал плохо, а папа купил ему машину, то папу лжецом уж точно не назовёшь).

на каком япе? вот пример решения на паскале abc.

program test;

var s: string;

begin

  read(s);

  write(s);

end.

 

по введенному натуральному числу n(n< =100) обозначаешему количество ворон вывести надпись ,на дереве n ворон.где ворона склоняеться соответсвено n: 'ворон'.'ворона"вороны' в случаем n превышаюшего 100 вывести надпись 'ветка обламилась'

 

uses crt; var n : integer; begin clrscr; repeat write ( 'введите число от 1 до 100 n = ' ); readln (n ); until n> 0; case n of 11..14 : write ( 'сидело ' ,n , ' ворон' ); 1..10 ,15..100 : case n mod 10 of                 1 : write ( 'на дереве сидела ' ,n , ' ворона' );                 2..4 : write ( 'на дереве сидели ' ,n , ' вороны' );                 0 ,5..9 : write ( 'на дереве сидело ' ,n , ' ворон' );                 end else write ( 'ветка обломилась! ' ); end; readln; end.

var a: integer; c1, c2, c3, c4: integer;

begin for a : = 1000 to 9999 do begin c1 : = a div 1000; c2 : = (a div 100) mod 10; c3 : = (a div 10) mod 10; c4 : = a mod 10; if (c1 < > c2) and (c1 < > c3) and (c1 < > c4) and (c2 < > c3) and (c2 < > c4) and (c3 < > c4) then writeln(a); end; end.